[SCCP] Generate test checks (NFC)

Author: nikic

llvm/test/Transforms/SCCP/pr27712.ll

@@ -1,8 +1,25 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
 ; RUN: opt -passes=sccp -S < %s | FileCheck %s
-target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
-target triple = "x86_64-unknown-linux-gnu"
 
 define i32 @main() {
+; CHECK-LABEL: define i32 @main() {
+; CHECK-NEXT:  [[ENTRY:.*]]:
+; CHECK-NEXT:    br label %[[LBL_1154:.*]]
+; CHECK:       [[LBL_1154]]:
+; CHECK-NEXT:    [[B0_0:%.*]] = phi i32 [ -119, %[[ENTRY]] ], [ 0, %[[LBL_1154]] ]
+; CHECK-NEXT:    [[CMP11:%.*]] = icmp slt i32 [[B0_0]], 0
+; CHECK-NEXT:    [[SHL_OP:%.*]] = shl nuw nsw i32 33554432, [[B0_0]]
+; CHECK-NEXT:    [[CMP1445:%.*]] = icmp ult i32 [[SHL_OP]], 33554432
+; CHECK-NEXT:    [[CMP14:%.*]] = or i1 [[CMP11]], [[CMP1445]]
+; CHECK-NEXT:    br i1 [[CMP14]], label %[[LBL_1154]], label %[[IF_END19:.*]]
+; CHECK:       [[IF_END19]]:
+; CHECK-NEXT:    br i1 [[CMP11]], label %[[IF_THEN22:.*]], label %[[CLEANUP26:.*]]
+; CHECK:       [[IF_THEN22]]:
+; CHECK-NEXT:    tail call void @abort()
+; CHECK-NEXT:    unreachable
+; CHECK:       [[CLEANUP26]]:
+; CHECK-NEXT:    ret i32 [[SHL_OP]]
+;
 entry:
   br label %lbl_1154
 
@@ -24,7 +41,5 @@ if.then22:
 cleanup26:
   ret i32 %shl.op
 }
-; CHECK-LABEL: define i32 @main(
-; CHECK-NOT: ret i32 undef
 
 declare void @abort()