Lines Matching refs:ASSUME
17 ; ASSUME-LABEL: @hello(
18 ; ASSUME-NEXT: entry:
19 ; ASSUME-NEXT: [[TMP0:%.*]] = load float, float* [[C:%.*]], align 4
20 ; ASSUME-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds float, float* [[A:%.*]], i64 5
21 ; ASSUME-NEXT: store float [[TMP0]], float* [[ARRAYIDX]], align 4
22 ; ASSUME-NEXT: ret void
42 ; ASSUME-LABEL: @foo(
43 ; ASSUME-NEXT: entry:
44 ; ASSUME-NEXT: call void @llvm.assume(i1 true) [ "noalias"(float* [[A:%.*]]), "noalias"(float* […
45 ; ASSUME-NEXT: [[TMP0:%.*]] = load float, float* [[C]], align 4, !alias.scope !0, !noalias !3
46 ; ASSUME-NEXT: [[ARRAYIDX_I:%.*]] = getelementptr inbounds float, float* [[A]], i64 5
47 ; ASSUME-NEXT: store float [[TMP0]], float* [[ARRAYIDX_I]], align 4, !alias.scope !3, !noalias !0
48 ; ASSUME-NEXT: [[TMP1:%.*]] = load float, float* [[C]], align 4
49 ; ASSUME-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds float, float* [[A]], i64 7
50 ; ASSUME-NEXT: store float [[TMP1]], float* [[ARRAYIDX]], align 4
51 ; ASSUME-NEXT: ret void