diff --git a/tests/codegen-llvm/issues/issue-107681-unwrap_unchecked.rs b/tests/codegen-llvm/issues/issue-107681-unwrap_unchecked.rs index c594e187a0eb5..5834255f3d313 100644 --- a/tests/codegen-llvm/issues/issue-107681-unwrap_unchecked.rs +++ b/tests/codegen-llvm/issues/issue-107681-unwrap_unchecked.rs @@ -1,6 +1,4 @@ //@ compile-flags: -Copt-level=3 -//@ filecheck-flags: --implicit-check-not 'br {{.*}}' --implicit-check-not 'select' -//@ min-llvm-version: 22 // Test for #107681. // Make sure we don't create `br` or `select` instructions. @@ -13,8 +11,10 @@ use std::slice::Iter; #[no_mangle] pub unsafe fn foo(x: &mut Copied>) -> u32 { // CHECK-LABEL: @foo( - // CHECK: [[INNER:%.*]] = load ptr, ptr %x - // CHECK: [[RET:%.*]] = load i32, ptr [[INNER]] - // CHECK: ret i32 [[RET]] + // CHECK-NOT: br {{.*}} + // CHECK-NOT: select + // CHECK: [[RET:%.*]] = load i32, ptr + // CHECK-NEXT: assume + // CHECK-NEXT: ret i32 [[RET]] x.next().unwrap_unchecked() }