Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-04-27 18:57:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

Adapt codegen test to accept operand bundles

Browse Source
This commit is contained in:
Tim Neumann
2026-03-02 21:06:11 +01:00
parent 8ddf4ef064
commit 13ddff53be
1 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/codegen-llvm/issues/issue-37945.rs
+9 -4
View File
@@ -1,5 +1,8 @@
//@ compile-flags: -Copt-level=3 -Zmerge-functions=disabled
//@ ignore-32bit LLVM has a bug with them
//@ revisions: new old
//@ [old] max-llvm-major-version: 22
//@ [new] min-llvm-version: 23
// Check that LLVM understands that `Iter` pointer is not null. Issue #37945.
@@ -11,8 +14,9 @@
pub fn is_empty_1(xs: Iter<f32>) -> bool {
// CHECK-LABEL: @is_empty_1(
// CHECK-NEXT: start:
// CHECK-NEXT: [[A:%.*]] = icmp ne ptr {{%xs.0|%xs.1}}, null
// CHECK-NEXT: tail call void @llvm.assume(i1 [[A]])
// old-NEXT: [[A:%.*]] = icmp ne ptr {{%xs.0|%xs.1}}, null
// old-NEXT: tail call void @llvm.assume(i1 [[A]])
// new-NEXT: call void @llvm.assume(i1 true) [ "nonnull"(ptr {{%xs.0|%xs.1}}) ]
// The order between %xs.0 and %xs.1 on the next line doesn't matter
// and different LLVM versions produce different order.
// CHECK-NEXT: [[B:%.*]] = icmp eq ptr {{%xs.0, %xs.1|%xs.1, %xs.0}}
@@ -24,8 +28,9 @@ pub fn is_empty_1(xs: Iter<f32>) -> bool {
pub fn is_empty_2(xs: Iter<f32>) -> bool {
// CHECK-LABEL: @is_empty_2
// CHECK-NEXT: start:
// CHECK-NEXT: [[C:%.*]] = icmp ne ptr {{%xs.0|%xs.1}}, null
// CHECK-NEXT: tail call void @llvm.assume(i1 [[C]])
// old-NEXT: [[C:%.*]] = icmp ne ptr {{%xs.0|%xs.1}}, null
// old-NEXT: tail call void @llvm.assume(i1 [[C]])
// new-NEXT: call void @llvm.assume(i1 true) [ "nonnull"(ptr {{%xs.0|%xs.1}}) ]
// The order between %xs.0 and %xs.1 on the next line doesn't matter
// and different LLVM versions produce different order.
// CHECK-NEXT: [[D:%.*]] = icmp eq ptr {{%xs.0, %xs.1|%xs.1, %xs.0}}