223 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature2; RUN: opt < %s -passes=ipsccp -S | FileCheck %s3 4define internal i32 @f1(i32 %x) {5; CHECK-LABEL: define {{[^@]+}}@f16; CHECK-SAME: (i32 range(i32 0, 2) [[X:%.*]]) {7; CHECK-NEXT: ret i32 poison8;9 %cmp = icmp sgt i32 %x, 30010 %res = select i1 %cmp, i32 1, i32 211 ret i32 %res12}13 14; %res is a constant range [0, 2) from a PHI node.15define i32 @caller1(i1 %cmp) {16; CHECK-LABEL: define {{[^@]+}}@caller117; CHECK-SAME: (i1 [[CMP:%.*]]) {18; CHECK-NEXT: entry:19; CHECK-NEXT: br i1 [[CMP]], label [[IF_TRUE:%.*]], label [[END:%.*]]20; CHECK: if.true:21; CHECK-NEXT: br label [[END]]22; CHECK: end:23; CHECK-NEXT: [[RES:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ 1, [[IF_TRUE]] ]24; CHECK-NEXT: [[CALL1:%.*]] = tail call i32 @f1(i32 [[RES]])25; CHECK-NEXT: ret i32 226;27 28 29entry:30 br i1 %cmp, label %if.true, label %end31 32if.true:33 br label %end34 35end:36 %res = phi i32 [ 0, %entry], [ 1, %if.true ]37 %call1 = tail call i32 @f1(i32 %res)38 ret i32 %call139}40 41define internal i32 @f2(i32 %x, i32 %y, i32 %z, i1 %cmp.1, i1 %cmp.2) {42; CHECK-LABEL: define {{[^@]+}}@f243; CHECK-SAME: (i32 range(i32 0, 2) [[X:%.*]], i32 range(i32 -10, 2) [[Y:%.*]], i32 range(i32 1, 11) [[Z:%.*]], i1 [[CMP_1:%.*]], i1 [[CMP_2:%.*]]) {44; CHECK-NEXT: entry:45; CHECK-NEXT: br i1 [[CMP_1]], label [[IF_TRUE_1:%.*]], label [[END:%.*]]46; CHECK: if.true.1:47; CHECK-NEXT: br i1 [[CMP_2]], label [[IF_TRUE_2:%.*]], label [[END]]48; CHECK: if.true.2:49; CHECK-NEXT: br label [[END]]50; CHECK: end:51; CHECK-NEXT: [[P:%.*]] = phi i32 [ [[X]], [[ENTRY:%.*]] ], [ [[Y]], [[IF_TRUE_1]] ], [ [[Z]], [[IF_TRUE_2]] ]52; CHECK-NEXT: [[C_1:%.*]] = icmp sgt i32 [[P]], 553; CHECK-NEXT: [[C_2:%.*]] = icmp eq i32 [[P]], 054; CHECK-NEXT: [[C_3:%.*]] = icmp slt i32 [[P]], 055; CHECK-NEXT: [[V_1:%.*]] = select i1 [[C_1]], i32 10, i32 10056; CHECK-NEXT: [[V_2:%.*]] = select i1 [[C_2]], i32 20, i32 20057; CHECK-NEXT: [[V_3:%.*]] = select i1 [[C_3]], i32 30, i32 30058; CHECK-NEXT: [[R_1:%.*]] = add nuw nsw i32 [[V_1]], [[V_2]]59; CHECK-NEXT: [[R_2:%.*]] = add nuw nsw i32 [[R_1]], [[V_3]]60; CHECK-NEXT: [[R_3:%.*]] = add nuw nsw i32 [[R_2]], 40061; CHECK-NEXT: [[R_4:%.*]] = add nuw nsw i32 [[R_3]], 5062; CHECK-NEXT: [[R_5:%.*]] = add nuw nsw i32 [[R_4]], 6063; CHECK-NEXT: [[R_6:%.*]] = add nuw nsw i32 [[R_4]], 70064; CHECK-NEXT: ret i32 [[R_6]]65;66 67 68 69entry:70 br i1 %cmp.1, label %if.true.1, label %end71 72if.true.1:73 br i1 %cmp.2, label %if.true.2, label %end74 75if.true.2:76 br label %end77 78end:79 %p = phi i32 [ %x, %entry ], [ %y, %if.true.1 ], [ %z, %if.true.2 ]80 %c.1 = icmp sgt i32 %p, 581 %c.2 = icmp eq i32 %p, 082 %c.3 = icmp slt i32 %p, 083 %c.4 = icmp sgt i32 %p, 1084 %c.5 = icmp sle i32 %p, 1085 %c.6 = icmp sgt i32 %p, -1186 %c.7 = icmp slt i32 %p, -1187 %v.1 = select i1 %c.1, i32 10, i32 10088 %v.2 = select i1 %c.2, i32 20, i32 20089 %v.3 = select i1 %c.3, i32 30, i32 30090 %v.4 = select i1 %c.4, i32 40, i32 40091 %v.5 = select i1 %c.5, i32 50, i32 50092 %v.6 = select i1 %c.6, i32 60, i32 60093 %v.7 = select i1 %c.7, i32 70, i32 70094 %r.1 = add i32 %v.1, %v.295 %r.2 = add i32 %r.1, %v.396 %r.3 = add i32 %r.2, %v.497 %r.4 = add i32 %r.3, %v.598 %r.5 = add i32 %r.4, %v.699 %r.6 = add i32 %r.4, %v.7100 ret i32 %r.6101}102 103define i32 @caller2(i1 %cmp.1, i1 %cmp.2) {104; CHECK-LABEL: define {{[^@]+}}@caller2105; CHECK-SAME: (i1 [[CMP_1:%.*]], i1 [[CMP_2:%.*]]) {106; CHECK-NEXT: entry:107; CHECK-NEXT: br i1 [[CMP_1]], label [[IF_TRUE:%.*]], label [[END:%.*]]108; CHECK: if.true:109; CHECK-NEXT: br label [[END]]110; CHECK: end:111; CHECK-NEXT: [[P1:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ 1, [[IF_TRUE]] ]112; CHECK-NEXT: [[P2:%.*]] = phi i32 [ 1, [[ENTRY]] ], [ -10, [[IF_TRUE]] ]113; CHECK-NEXT: [[P3:%.*]] = phi i32 [ 1, [[ENTRY]] ], [ 10, [[IF_TRUE]] ]114; CHECK-NEXT: [[CALL1:%.*]] = tail call i32 @f2(i32 [[P1]], i32 [[P2]], i32 [[P3]], i1 [[CMP_1]], i1 [[CMP_2]])115; CHECK-NEXT: ret i32 [[CALL1]]116;117 118 119 120entry:121 br i1 %cmp.1, label %if.true, label %end122 123if.true:124 br label %end125 126end:127 %p1 = phi i32 [ 0, %entry], [ 1, %if.true ]128 %p2 = phi i32 [ 1, %entry], [ -10, %if.true ]129 %p3 = phi i32 [ 1, %entry], [ 10, %if.true ]130 %call1 = tail call i32 @f2(i32 %p1, i32 %p2, i32 %p3, i1 %cmp.1, i1 %cmp.2)131 ret i32 %call1132}133 134define internal i32 @f3(i32 %x, i32 %y, i1 %cmp.1) {135; CHECK-LABEL: define {{[^@]+}}@f3136; CHECK-SAME: (i32 range(i32 0, 6) [[X:%.*]], i32 [[Y:%.*]], i1 [[CMP_1:%.*]]) {137; CHECK-NEXT: entry:138; CHECK-NEXT: br i1 [[CMP_1]], label [[IF_TRUE_1:%.*]], label [[END:%.*]]139; CHECK: if.true.1:140; CHECK-NEXT: br label [[END]]141; CHECK: end:142; CHECK-NEXT: [[P:%.*]] = phi i32 [ [[X]], [[ENTRY:%.*]] ], [ [[Y]], [[IF_TRUE_1]] ]143; CHECK-NEXT: [[C_1:%.*]] = icmp sgt i32 [[P]], 5144; CHECK-NEXT: [[C_2:%.*]] = icmp eq i32 [[P]], 0145; CHECK-NEXT: [[C_3:%.*]] = icmp slt i32 [[P]], 0146; CHECK-NEXT: [[C_4:%.*]] = icmp sgt i32 [[P]], 10147; CHECK-NEXT: [[C_5:%.*]] = icmp sle i32 [[P]], 10148; CHECK-NEXT: [[C_6:%.*]] = icmp sgt i32 [[P]], -11149; CHECK-NEXT: [[C_7:%.*]] = icmp slt i32 [[P]], -11150; CHECK-NEXT: [[V_1:%.*]] = select i1 [[C_1]], i32 10, i32 100151; CHECK-NEXT: [[V_2:%.*]] = select i1 [[C_2]], i32 20, i32 200152; CHECK-NEXT: [[V_3:%.*]] = select i1 [[C_3]], i32 30, i32 300153; CHECK-NEXT: [[V_4:%.*]] = select i1 [[C_4]], i32 40, i32 400154; CHECK-NEXT: [[V_5:%.*]] = select i1 [[C_5]], i32 50, i32 500155; CHECK-NEXT: [[V_6:%.*]] = select i1 [[C_6]], i32 60, i32 600156; CHECK-NEXT: [[V_7:%.*]] = select i1 [[C_7]], i32 70, i32 700157; CHECK-NEXT: [[R_1:%.*]] = add nuw nsw i32 [[V_1]], [[V_2]]158; CHECK-NEXT: [[R_2:%.*]] = add nuw nsw i32 [[R_1]], [[V_3]]159; CHECK-NEXT: [[R_3:%.*]] = add nuw nsw i32 [[R_2]], [[V_4]]160; CHECK-NEXT: [[R_4:%.*]] = add nuw nsw i32 [[R_3]], [[V_5]]161; CHECK-NEXT: [[R_5:%.*]] = add nuw nsw i32 [[R_4]], [[V_6]]162; CHECK-NEXT: [[R_6:%.*]] = add nuw nsw i32 [[R_4]], [[V_7]]163; CHECK-NEXT: ret i32 [[R_6]]164;165 166 167entry:168 br i1 %cmp.1, label %if.true.1, label %end169 170if.true.1:171 br label %end172 173end:174 %p = phi i32 [ %x, %entry ], [ %y, %if.true.1 ]175 %c.1 = icmp sgt i32 %p, 5176 %c.2 = icmp eq i32 %p, 0177 %c.3 = icmp slt i32 %p, 0178 %c.4 = icmp sgt i32 %p, 10179 %c.5 = icmp sle i32 %p, 10180 %c.6 = icmp sgt i32 %p, -11181 %c.7 = icmp slt i32 %p, -11182 %v.1 = select i1 %c.1, i32 10, i32 100183 %v.2 = select i1 %c.2, i32 20, i32 200184 %v.3 = select i1 %c.3, i32 30, i32 300185 %v.4 = select i1 %c.4, i32 40, i32 400186 %v.5 = select i1 %c.5, i32 50, i32 500187 %v.6 = select i1 %c.6, i32 60, i32 600188 %v.7 = select i1 %c.7, i32 70, i32 700189 %r.1 = add i32 %v.1, %v.2190 %r.2 = add i32 %r.1, %v.3191 %r.3 = add i32 %r.2, %v.4192 %r.4 = add i32 %r.3, %v.5193 %r.5 = add i32 %r.4, %v.6194 %r.6 = add i32 %r.4, %v.7195 ret i32 %r.6196}197 198define i32 @caller3(i32 %y, i1 %cmp.1) {199; CHECK-LABEL: define {{[^@]+}}@caller3200; CHECK-SAME: (i32 [[Y:%.*]], i1 [[CMP_1:%.*]]) {201; CHECK-NEXT: entry:202; CHECK-NEXT: br i1 [[CMP_1]], label [[IF_TRUE:%.*]], label [[END:%.*]]203; CHECK: if.true:204; CHECK-NEXT: br label [[END]]205; CHECK: end:206; CHECK-NEXT: [[P1:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ 5, [[IF_TRUE]] ]207; CHECK-NEXT: [[CALL1:%.*]] = tail call i32 @f3(i32 [[P1]], i32 [[Y]], i1 [[CMP_1]])208; CHECK-NEXT: ret i32 [[CALL1]]209;210 211 212entry:213 br i1 %cmp.1, label %if.true, label %end214 215if.true:216 br label %end217 218end:219 %p1 = phi i32 [ 0, %entry], [ 5, %if.true ]220 %call1 = tail call i32 @f3(i32 %p1, i32 %y, i1 %cmp.1)221 ret i32 %call1222}223