62 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=sccp -S | FileCheck %s3; PR19384 5define i32 @main(i1 %arg) {6; CHECK-LABEL: @main(7; CHECK-NEXT: entry:8; CHECK-NEXT: br label [[BB:%.*]]9; CHECK: bb:10; CHECK-NEXT: [[INDVAR:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[K:%.*]], [[BB_BACKEDGE:%.*]] ]11; CHECK-NEXT: [[K]] = add i32 [[INDVAR]], 112; CHECK-NEXT: br i1 [[ARG:%.*]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]13; CHECK: cond_true:14; CHECK-NEXT: [[TMP97:%.*]] = icmp slt i32 [[K]], 1015; CHECK-NEXT: br i1 [[TMP97]], label [[BB_BACKEDGE]], label [[BB12:%.*]]16; CHECK: bb.backedge:17; CHECK-NEXT: br label [[BB]]18; CHECK: cond_false:19; CHECK-NEXT: [[TMP9:%.*]] = icmp slt i32 [[K]], 1020; CHECK-NEXT: br i1 [[TMP9]], label [[BB_BACKEDGE]], label [[BB12]]21; CHECK: bb12:22; CHECK-NEXT: [[TMP14:%.*]] = icmp eq i32 [[K]], 1023; CHECK-NEXT: br i1 [[TMP14]], label [[COND_NEXT18:%.*]], label [[COND_TRUE17:%.*]]24; CHECK: cond_true17:25; CHECK-NEXT: tail call void @abort()26; CHECK-NEXT: unreachable27; CHECK: cond_next18:28; CHECK-NEXT: ret i32 029;30entry:31 br label %bb32 33bb:34 %indvar = phi i32 [ 0, %entry ], [ %k, %bb.backedge ]35 %k = add i32 %indvar, 136 br i1 %arg, label %cond_true, label %cond_false37 38cond_true:39 %tmp97 = icmp slt i32 %k, 1040 br i1 %tmp97, label %bb.backedge, label %bb1241 42bb.backedge:43 br label %bb44 45cond_false:46 %tmp9 = icmp slt i32 %k, 1047 br i1 %tmp9, label %bb.backedge, label %bb1248 49bb12:50 %tmp14 = icmp eq i32 %k, 1051 br i1 %tmp14, label %cond_next18, label %cond_true1752 53cond_true17:54 tail call void @abort( )55 unreachable56 57cond_next18:58 ret i32 059}60 61declare void @abort()62