1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -indvars -S | FileCheck %s 3 4target datalayout = "e-m:e-i64:64-p:64:64:64-n8:16:32:64-S128" 5 6; When widening IV and its users, trunc and zext/sext are not needed 7; if the original 32-bit user is known to be non-negative, whether 8; the IV is considered signed or unsigned. 9define void @foo(i32* %A, i32* %B, i32* %C, i32 %N) { 10; CHECK-LABEL: @foo( 11; CHECK-NEXT: entry: 12; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i32 0, %N 13; CHECK-NEXT: br i1 [[CMP1]], label %for.body.lr.ph, label %for.end 14; CHECK: for.body.lr.ph: 15; CHECK-NEXT: br label %for.body 16; CHECK: for.body: 17; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV:%.*]].next, %for.inc ], [ 0, %for.body.lr.ph ] 18; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, i32* %B, i64 [[INDVARS_IV]] 19; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* [[ARRAYIDX]], align 4 20; CHECK-NEXT: [[TMP1:%.*]] = add nuw nsw i64 [[INDVARS_IV]], 2 21; CHECK-NEXT: [[ARRAYIDX2:%.*]] = getelementptr inbounds i32, i32* %C, i64 [[TMP1]] 22; CHECK-NEXT: [[TMP2:%.*]] = load i32, i32* [[ARRAYIDX2]], align 4 23; CHECK-NEXT: [[ADD3:%.*]] = add nsw i32 [[TMP0]], [[TMP2]] 24; CHECK-NEXT: [[TRUNC0:%.*]] = trunc i64 [[TMP1]] to i32 25; CHECK-NEXT: [[DIV0:%.*]] = udiv i32 5, [[TRUNC0]] 26; CHECK-NEXT: [[ADD4:%.*]] = add nsw i32 [[ADD3]], [[DIV0]] 27; CHECK-NEXT: [[ARRAYIDX5:%.*]] = getelementptr inbounds i32, i32* %A, i64 [[INDVARS_IV]] 28; CHECK-NEXT: store i32 [[ADD4]], i32* [[ARRAYIDX5]], align 4 29; CHECK-NEXT: br label %for.inc 30; CHECK: for.inc: 31; CHECK-NEXT: [[INDVARS_IV_NEXT:%.*]] = add nuw nsw i64 [[INDVARS_IV]], 1 32; CHECK-NEXT: [[WIDE_TRIP_COUNT:%.*]] = zext i32 %N to i64 33; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV_NEXT]], [[WIDE_TRIP_COUNT]] 34; CHECK-NEXT: br i1 [[EXITCOND]], label %for.body, label %for.cond.for.end_crit_edge 35; CHECK: for.cond.for.end_crit_edge: 36; CHECK-NEXT: br label %for.end 37; CHECK: for.end: 38; CHECK-NEXT: ret void 39; 40entry: 41 %cmp1 = icmp slt i32 0, %N 42 br i1 %cmp1, label %for.body.lr.ph, label %for.end 43 44for.body.lr.ph: ; preds = %entry 45 br label %for.body 46 47for.body: ; preds = %for.body.lr.ph, %for.inc 48 %i.02 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.inc ] 49 %idxprom = sext i32 %i.02 to i64 50 %arrayidx = getelementptr inbounds i32, i32* %B, i64 %idxprom 51 %0 = load i32, i32* %arrayidx, align 4 52 %add = add nsw i32 %i.02, 2 53 %idxprom1 = zext i32 %add to i64 54 %arrayidx2 = getelementptr inbounds i32, i32* %C, i64 %idxprom1 55 %1 = load i32, i32* %arrayidx2, align 4 56 %add3 = add nsw i32 %0, %1 57 %div0 = udiv i32 5, %add 58 %add4 = add nsw i32 %add3, %div0 59 %idxprom4 = zext i32 %i.02 to i64 60 %arrayidx5 = getelementptr inbounds i32, i32* %A, i64 %idxprom4 61 store i32 %add4, i32* %arrayidx5, align 4 62 br label %for.inc 63 64for.inc: ; preds = %for.body 65 %inc = add nsw i32 %i.02, 1 66 %cmp = icmp slt i32 %inc, %N 67 br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge 68 69for.cond.for.end_crit_edge: ; preds = %for.inc 70 br label %for.end 71 72for.end: ; preds = %for.cond.for.end_crit_edge, %entry 73 ret void 74} 75 76define void @foo1(i32* %A, i32* %B, i32* %C, i32 %N) { 77; CHECK-LABEL: @foo1( 78; CHECK-NEXT: entry: 79; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i32 0, %N 80; CHECK-NEXT: br i1 [[CMP1]], label %for.body.lr.ph, label %for.end 81; CHECK: for.body.lr.ph: 82; CHECK-NEXT: br label %for.body 83; CHECK: for.body: 84; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV:%.*]].next, %for.inc ], [ 0, %for.body.lr.ph ] 85; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, i32* %B, i64 [[INDVARS_IV]] 86; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* [[ARRAYIDX]], align 4 87; CHECK-NEXT: [[TMP1:%.*]] = add nuw nsw i64 [[INDVARS_IV]], 2 88; CHECK-NEXT: [[ARRAYIDX2:%.*]] = getelementptr inbounds i32, i32* %C, i64 [[TMP1]] 89; CHECK-NEXT: [[TMP2:%.*]] = load i32, i32* [[ARRAYIDX2]], align 4 90; CHECK-NEXT: [[ADD3:%.*]] = add nsw i32 [[TMP0]], [[TMP2]] 91; CHECK-NEXT: [[ARRAYIDX5:%.*]] = getelementptr inbounds i32, i32* %A, i64 [[INDVARS_IV]] 92; CHECK-NEXT: store i32 [[ADD3]], i32* [[ARRAYIDX5]], align 4 93; CHECK-NEXT: br label %for.inc 94; CHECK: for.inc: 95; CHECK-NEXT: [[INDVARS_IV_NEXT:%.*]] = add nuw nsw i64 [[INDVARS_IV]], 1 96; CHECK-NEXT: [[WIDE_TRIP_COUNT:%.*]] = zext i32 %N to i64 97; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV_NEXT]], [[WIDE_TRIP_COUNT]] 98; CHECK-NEXT: br i1 [[EXITCOND]], label %for.body, label %for.cond.for.end_crit_edge 99; CHECK: for.cond.for.end_crit_edge: 100; CHECK-NEXT: br label %for.end 101; CHECK: for.end: 102; CHECK-NEXT: ret void 103; 104entry: 105 %cmp1 = icmp slt i32 0, %N 106 br i1 %cmp1, label %for.body.lr.ph, label %for.end 107 108for.body.lr.ph: ; preds = %entry 109 br label %for.body 110 111for.body: ; preds = %for.body.lr.ph, %for.inc 112 %i.02 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.inc ] 113 %idxprom = zext i32 %i.02 to i64 114 %arrayidx = getelementptr inbounds i32, i32* %B, i64 %idxprom 115 %0 = load i32, i32* %arrayidx, align 4 116 %add = add nsw i32 %i.02, 2 117 %idxprom1 = sext i32 %add to i64 118 %arrayidx2 = getelementptr inbounds i32, i32* %C, i64 %idxprom1 119 %1 = load i32, i32* %arrayidx2, align 4 120 %add3 = add nsw i32 %0, %1 121 %idxprom4 = sext i32 %i.02 to i64 122 %arrayidx5 = getelementptr inbounds i32, i32* %A, i64 %idxprom4 123 store i32 %add3, i32* %arrayidx5, align 4 124 br label %for.inc 125 126for.inc: ; preds = %for.body 127 %inc = add nsw i32 %i.02, 1 128 %cmp = icmp slt i32 %inc, %N 129 br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge 130 131for.cond.for.end_crit_edge: ; preds = %for.inc 132 br label %for.end 133 134for.end: ; preds = %for.cond.for.end_crit_edge, %entry 135 ret void 136} 137 138 139@a = common global [100 x i32] zeroinitializer, align 16 140@b = common global [100 x i32] zeroinitializer, align 16 141 142define i32 @foo2(i32 %M) { 143; CHECK-LABEL: @foo2( 144; CHECK-NEXT: entry: 145; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i32 0, %M 146; CHECK-NEXT: br i1 [[CMP1]], label %for.body.lr.ph, label %for.end 147; CHECK: for.body.lr.ph: 148; CHECK-NEXT: [[TMP0:%.*]] = sext i32 %M to i64 149; CHECK-NEXT: br label %for.body 150; CHECK: for.body: 151; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV:%.*]].next, %for.inc ], [ 0, %for.body.lr.ph ] 152; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [100 x i32], [100 x i32]* @a, i64 0, i64 [[INDVARS_IV]] 153; CHECK-NEXT: [[TMP1:%.*]] = load i32, i32* [[ARRAYIDX]], align 4 154; CHECK-NEXT: [[ARRAYIDX2:%.*]] = getelementptr inbounds [100 x i32], [100 x i32]* @b, i64 0, i64 [[INDVARS_IV]] 155; CHECK-NEXT: [[TMP2:%.*]] = load i32, i32* [[ARRAYIDX2]], align 4 156; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[TMP1]], [[TMP2]] 157; CHECK-NEXT: [[TMP3:%.*]] = add nsw i64 [[INDVARS_IV]], [[TMP0]] 158; CHECK-NEXT: [[ARRAYIDX5:%.*]] = getelementptr inbounds [100 x i32], [100 x i32]* @a, i64 0, i64 [[TMP3]] 159; CHECK-NEXT: store i32 [[ADD]], i32* [[ARRAYIDX5]], align 4 160; CHECK-NEXT: br label %for.inc 161; CHECK: for.inc: 162; CHECK-NEXT: [[INDVARS_IV_NEXT:%.*]] = add nuw nsw i64 [[INDVARS_IV]], 1 163; CHECK-NEXT: [[WIDE_TRIP_COUNT:%.*]] = zext i32 %M to i64 164; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV_NEXT]], [[WIDE_TRIP_COUNT]] 165; CHECK-NEXT: br i1 [[EXITCOND]], label %for.body, label %for.cond.for.end_crit_edge 166; CHECK: for.cond.for.end_crit_edge: 167; CHECK-NEXT: br label %for.end 168; CHECK: for.end: 169; CHECK-NEXT: [[CALL:%.*]] = call i32 @dummy(i32* getelementptr inbounds ([100 x i32], [100 x i32]* @a, i32 0, i32 0), i32* getelementptr inbounds ([100 x i32], [100 x i32]* @b, i32 0, i32 0)) 170; CHECK-NEXT: ret i32 0 171; 172entry: 173 %cmp1 = icmp slt i32 0, %M 174 br i1 %cmp1, label %for.body.lr.ph, label %for.end 175 176for.body.lr.ph: ; preds = %entry 177 br label %for.body 178 179for.body: ; preds = %for.body.lr.ph, %for.inc 180 %i.02 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.inc ] 181 %idxprom = zext i32 %i.02 to i64 182 %arrayidx = getelementptr inbounds [100 x i32], [100 x i32]* @a, i64 0, i64 %idxprom 183 %0 = load i32, i32* %arrayidx, align 4 184 %idxprom1 = sext i32 %i.02 to i64 185 %arrayidx2 = getelementptr inbounds [100 x i32], [100 x i32]* @b, i64 0, i64 %idxprom1 186 %1 = load i32, i32* %arrayidx2, align 4 187 %add = add nsw i32 %0, %1 188 %add3 = add nsw i32 %i.02, %M 189 %idxprom4 = sext i32 %add3 to i64 190 %arrayidx5 = getelementptr inbounds [100 x i32], [100 x i32]* @a, i64 0, i64 %idxprom4 191 store i32 %add, i32* %arrayidx5, align 4 192 br label %for.inc 193 194for.inc: ; preds = %for.body 195 %inc = add nsw i32 %i.02, 1 196 %cmp = icmp slt i32 %inc, %M 197 br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge 198 199for.cond.for.end_crit_edge: ; preds = %for.inc 200 br label %for.end 201 202for.end: ; preds = %for.cond.for.end_crit_edge, %entry 203 %call = call i32 @dummy(i32* getelementptr inbounds ([100 x i32], [100 x i32]* @a, i32 0, i32 0), i32* getelementptr inbounds ([100 x i32], [100 x i32]* @b, i32 0, i32 0)) 204 ret i32 0 205} 206 207declare i32 @dummy(i32*, i32*) 208 209; A case where zext should not be eliminated when its operands could only be extended by sext. 210define i32 @foo3(i32 %M) { 211; CHECK-LABEL: @foo3( 212; CHECK-NEXT: entry: 213; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i32 0, %M 214; CHECK-NEXT: br i1 [[CMP1]], label %for.body.lr.ph, label %for.end 215; CHECK: for.body.lr.ph: 216; CHECK-NEXT: [[TMP0:%.*]] = sext i32 %M to i64 217; CHECK-NEXT: br label %for.body 218; CHECK: for.body: 219; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV:%.*]].next, %for.inc ], [ 0, %for.body.lr.ph ] 220; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [100 x i32], [100 x i32]* @a, i64 0, i64 [[INDVARS_IV]] 221; CHECK-NEXT: [[TMP1:%.*]] = load i32, i32* [[ARRAYIDX]], align 4 222; CHECK-NEXT: [[ARRAYIDX2:%.*]] = getelementptr inbounds [100 x i32], [100 x i32]* @b, i64 0, i64 [[INDVARS_IV]] 223; CHECK-NEXT: [[TMP2:%.*]] = load i32, i32* [[ARRAYIDX2]], align 4 224; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[TMP1]], [[TMP2]] 225; CHECK-NEXT: [[TMP3:%.*]] = add nsw i64 [[INDVARS_IV]], [[TMP0]] 226; CHECK-NEXT: [[TMP4:%.*]] = trunc i64 [[TMP3]] to i32 227; CHECK-NEXT: [[IDXPROM4:%.*]] = zext i32 [[TMP4]] to i64 228; CHECK-NEXT: [[ARRAYIDX5:%.*]] = getelementptr inbounds [100 x i32], [100 x i32]* @a, i64 0, i64 [[IDXPROM4]] 229; CHECK-NEXT: store i32 [[ADD]], i32* [[ARRAYIDX5]], align 4 230; CHECK-NEXT: br label %for.inc 231; CHECK: for.inc: 232; CHECK-NEXT: [[INDVARS_IV_NEXT:%.*]] = add nuw nsw i64 [[INDVARS_IV]], 1 233; CHECK-NEXT: [[WIDE_TRIP_COUNT:%.*]] = zext i32 %M to i64 234; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV_NEXT]], [[WIDE_TRIP_COUNT]] 235; CHECK-NEXT: br i1 [[EXITCOND]], label %for.body, label %for.cond.for.end_crit_edge 236; CHECK: for.cond.for.end_crit_edge: 237; CHECK-NEXT: br label %for.end 238; CHECK: for.end: 239; CHECK-NEXT: [[CALL:%.*]] = call i32 @dummy(i32* getelementptr inbounds ([100 x i32], [100 x i32]* @a, i32 0, i32 0), i32* getelementptr inbounds ([100 x i32], [100 x i32]* @b, i32 0, i32 0)) 240; CHECK-NEXT: ret i32 0 241; 242entry: 243 %cmp1 = icmp slt i32 0, %M 244 br i1 %cmp1, label %for.body.lr.ph, label %for.end 245 246for.body.lr.ph: ; preds = %entry 247 br label %for.body 248 249for.body: ; preds = %for.body.lr.ph, %for.inc 250 %i.02 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.inc ] 251 %idxprom = sext i32 %i.02 to i64 252 %arrayidx = getelementptr inbounds [100 x i32], [100 x i32]* @a, i64 0, i64 %idxprom 253 %0 = load i32, i32* %arrayidx, align 4 254 %idxprom1 = sext i32 %i.02 to i64 255 %arrayidx2 = getelementptr inbounds [100 x i32], [100 x i32]* @b, i64 0, i64 %idxprom1 256 %1 = load i32, i32* %arrayidx2, align 4 257 %add = add nsw i32 %0, %1 258 %add3 = add nsw i32 %i.02, %M 259 %idxprom4 = zext i32 %add3 to i64 260 %arrayidx5 = getelementptr inbounds [100 x i32], [100 x i32]* @a, i64 0, i64 %idxprom4 261 store i32 %add, i32* %arrayidx5, align 4 262 br label %for.inc 263 264for.inc: ; preds = %for.body 265 %inc = add nsw i32 %i.02, 1 266 %cmp = icmp slt i32 %inc, %M 267 br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge 268 269for.cond.for.end_crit_edge: ; preds = %for.inc 270 br label %for.end 271 272for.end: ; preds = %for.cond.for.end_crit_edge, %entry 273 %call = call i32 @dummy(i32* getelementptr inbounds ([100 x i32], [100 x i32]* @a, i32 0, i32 0), i32* getelementptr inbounds ([100 x i32], [100 x i32]* @b, i32 0, i32 0)) 274 ret i32 0 275} 276