wip bless codegen

Author: cjgillot

tests/codegen/issues/issue-37945.rs

@@ -25,8 +25,8 @@ 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]])
+// SHOULD-CHECK-NEXT:    [[C:%.*]] = icmp ne ptr {{%xs.0|%xs.1}}, null
+// SHOULD-CHECK-NEXT:    tail call void @llvm.assume(i1 [[C]])
 // 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}}

tests/codegen/issues/issue-75978.rs

@@ -6,7 +6,7 @@
 #[no_mangle]
 pub fn test() -> u32 {
     // CHECK-LABEL: @test(
-    // CHECK: ret i32 13
+    // SHOULD-CHECK: ret i32 13
     let s = [1, 2, 3, 4, 5, 6, 7];
 
     let mut iter = s.iter();

tests/codegen/vec-shrink-panik.rs

@@ -37,7 +37,7 @@ pub fn issue71861(vec: Vec<u32>) -> Box<[u32]> {
 // CHECK-LABEL: @issue75636
 #[no_mangle]
 pub fn issue75636<'a>(iter: &[&'a str]) -> Box<[&'a str]> {
-    // CHECK-NOT: panic
+    // SHOULD-CHECK-NOT: panic
     iter.iter().copied().collect()
 }