Lines Matching refs:assume

10 ; Check that the alignment has been upgraded and that the assume has not
14 ; CHECK-DAG: call void @llvm.assume
20   tail call void @llvm.assume(i1 %maskcond)
28 ; Same check as in @foo1, but make sure it works if the assume is first too.
31 ; CHECK-DAG: call void @llvm.assume
37   tail call void @llvm.assume(i1 %maskcond)
44 declare void @llvm.assume(i1) #1
50 ; CHECK: call void @llvm.assume
54   tail call void @llvm.assume(i1 %cmp)
63   tail call void @llvm.assume(i1 %and)
66 ; CHECK: call void @llvm.assume(i1 %a)
67 ; CHECK: call void @llvm.assume(i1 %b)
68 ; CHECK: call void @llvm.assume(i1 %c)
79   tail call void @llvm.assume(i1 %w)
83 ; CHECK: call void @llvm.assume(i1 %[[V1]])
85 ; CHECK: call void @llvm.assume(i1 %[[V2]])
96 ; CHECK: call void @llvm.assume
101   tail call void @llvm.assume(i1 %cmp)
110 ; CHECK: call void @llvm.assume
115   tail call void @llvm.assume(i1 %cmp)
128 ; CHECK: call void @llvm.assume
131   tail call void @llvm.assume(i1 %x)
135   tail call void @llvm.assume(i1 %cmp)
137   tail call void @llvm.assume(i1 %y)
148 ; CHECK: call void @llvm.assume
149 ; CHECK: call void @llvm.assume
154   tail call void @llvm.assume(i1 %cmp)
157   tail call void @llvm.assume(i1 %cmp2)
165   tail call void @llvm.assume(i1 %cmp)
170 ; CHECK: call void @llvm.assume
179   tail call void @llvm.assume(i1 %cmp)
185 ; CHECK: call void @llvm.assume
197   tail call void @llvm.assume(i1 %cmp)
204 ; CHECK-NOT: call void @llvm.assume
214   tail call void @llvm.assume(i1 %cmp)
220 ; CHECK: call void @llvm.assume
224 ; if the assume is control dependent on something else
231   tail call void @llvm.assume(i1 %cmp)
239 ; CHECK: call void @llvm.assume
243 ; if the path from the load to the assume is potentially 
251   tail call void @llvm.assume(i1 %cmp)
257 ; CHECK: call void @llvm.assume