Bless codegen test.

This commit is contained in:
Camille Gillot 2025-11-19 01:28:59 +00:00
parent d8b897e317
commit b6bb7f9645

View file

@ -8,7 +8,7 @@ type Demo = [u8; 3];
#[no_mangle]
pub fn slice_iter_len_eq_zero(y: std::slice::Iter<'_, Demo>) -> bool {
// CHECK-NOT: sub
// CHECK: %[[RET:.+]] = icmp eq ptr {{%y.0, %y.1|%y.1, %y.0}}
// CHECK: %[[RET:.+]] = icmp eq ptr {{%0, %1|%1, %0}}
// CHECK: ret i1 %[[RET]]
y.len() == 0
}
@ -31,7 +31,7 @@ struct MyZST;
// CHECK-LABEL: @slice_zst_iter_len_eq_zero
#[no_mangle]
pub fn slice_zst_iter_len_eq_zero(y: std::slice::Iter<'_, MyZST>) -> bool {
// CHECK: %[[RET:.+]] = icmp eq ptr %y.1, null
// CHECK: %[[RET:.+]] = icmp eq ptr %1, null
// CHECK: ret i1 %[[RET]]
y.len() == 0
}