[SCCP] Generate test checks (NFC)
diff --git a/llvm/test/Transforms/SCCP/pr27712.ll b/llvm/test/Transforms/SCCP/pr27712.ll index d6b32af..5529beb 100644 --- a/llvm/test/Transforms/SCCP/pr27712.ll +++ b/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 @@ cleanup26: ret i32 %shl.op } -; CHECK-LABEL: define i32 @main( -; CHECK-NOT: ret i32 undef declare void @abort()