File tree 1 file changed +6
-2
lines changed
1 file changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -17,7 +17,9 @@ pub fn is_empty_1(xs: Iter<f32>) -> bool {
17
17
// CHECK-NEXT: start:
18
18
// CHECK-NEXT: [[A:%.*]] = icmp ne {{i32\*|ptr}} %xs.1, null
19
19
// CHECK-NEXT: tail call void @llvm.assume(i1 [[A]])
20
- // CHECK-NEXT: [[B:%.*]] = icmp eq {{i32\*|ptr}} %xs.1, %xs.0
20
+ // The order between %xs.0 and %xs.1 on the next line doesn't matter
21
+ // and different LLVM versions produce different order.
22
+ // CHECK-NEXT: [[B:%.*]] = icmp eq {{i32\*|ptr}} {{%xs.0, %xs.1|%xs.1, %xs.0}}
21
23
// CHECK-NEXT: ret i1 [[B:%.*]]
22
24
{ xs} . next ( ) . is_none ( )
23
25
}
@@ -28,7 +30,9 @@ pub fn is_empty_2(xs: Iter<f32>) -> bool {
28
30
// CHECK-NEXT: start:
29
31
// CHECK-NEXT: [[C:%.*]] = icmp ne {{i32\*|ptr}} %xs.1, null
30
32
// CHECK-NEXT: tail call void @llvm.assume(i1 [[C]])
31
- // CHECK-NEXT: [[D:%.*]] = icmp eq {{i32\*|ptr}} %xs.1, %xs.0
33
+ // The order between %xs.0 and %xs.1 on the next line doesn't matter
34
+ // and different LLVM versions produce different order.
35
+ // CHECK-NEXT: [[D:%.*]] = icmp eq {{i32\*|ptr}} {{%xs.0, %xs.1|%xs.1, %xs.0}}
32
36
// CHECK-NEXT: ret i1 [[D:%.*]]
33
37
xs. map ( |& x| x) . next ( ) . is_none ( )
34
38
}
You can’t perform that action at this time.
0 commit comments