46 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes=sccp -S < %s | FileCheck %s3 4define i32 @main() {5; CHECK-LABEL: define range(i32 33554432, 0) i32 @main() {6; CHECK-NEXT: [[ENTRY:.*]]:7; CHECK-NEXT: br label %[[LBL_1154:.*]]8; CHECK: [[LBL_1154]]:9; CHECK-NEXT: [[B0_0:%.*]] = phi i32 [ -119, %[[ENTRY]] ], [ 0, %[[LBL_1154]] ]10; CHECK-NEXT: [[CMP11:%.*]] = icmp slt i32 [[B0_0]], 011; CHECK-NEXT: [[SHL_OP:%.*]] = shl nuw nsw i32 33554432, [[B0_0]]12; CHECK-NEXT: [[CMP1445:%.*]] = icmp ult i32 [[SHL_OP]], 3355443213; CHECK-NEXT: [[CMP14:%.*]] = or i1 [[CMP11]], [[CMP1445]]14; CHECK-NEXT: br i1 [[CMP14]], label %[[LBL_1154]], label %[[IF_END19:.*]]15; CHECK: [[IF_END19]]:16; CHECK-NEXT: br i1 [[CMP11]], label %[[IF_THEN22:.*]], label %[[CLEANUP26:.*]]17; CHECK: [[IF_THEN22]]:18; CHECK-NEXT: tail call void @abort()19; CHECK-NEXT: unreachable20; CHECK: [[CLEANUP26]]:21; CHECK-NEXT: ret i32 [[SHL_OP]]22;23entry:24 br label %lbl_115425 26lbl_1154:27 %b0.0 = phi i32 [ -119, %entry ], [ 0, %lbl_1154 ]28 %cmp11 = icmp slt i32 %b0.0, 029 %shl.op = shl i32 33554432, %b0.030 %cmp1445 = icmp ult i32 %shl.op, 3355443231 %cmp14 = or i1 %cmp11, %cmp144532 br i1 %cmp14, label %lbl_1154, label %if.end1933 34if.end19:35 br i1 %cmp11, label %if.then22, label %cleanup2636 37if.then22:38 tail call void @abort()39 unreachable40 41cleanup26:42 ret i32 %shl.op43}44 45declare void @abort()46