1; RUN: opt < %s -bounds-checking -S | FileCheck %s 2target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 3 4; CHECK-LABEL: @sumSize 5define dso_local i32 @sumSize(i32 %n) { 6entry: 7 %foo = alloca [1000 x i32], align 16 8 %0 = bitcast [1000 x i32]* %foo to i8* 9 call void @llvm.lifetime.start.p0i8(i64 4000, i8* nonnull %0) 10 %arraydecay = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 0 11 call void @fill(i32* nonnull %arraydecay, i32 %n) 12 br label %for.body.i 13 14for.body.i: ; preds = %for.body.i, %entry 15 %indvars.iv.i = phi i64 [ 0, %entry ], [ %indvars.iv.next.i, %for.body.i ] 16 %sum.07.i = phi i32 [ 0, %entry ], [ %add.i, %for.body.i ] 17 %arrayidx.i = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 %indvars.iv.i 18; CHECK-NOT: trap 19 %1 = load i32, i32* %arrayidx.i, align 4 20 %add.i = add nsw i32 %1, %sum.07.i 21 %indvars.iv.next.i = add nuw nsw i64 %indvars.iv.i, 1 22 %exitcond.i = icmp eq i64 %indvars.iv.next.i, 1000 23 br i1 %exitcond.i, label %accumulate.exit, label %for.body.i 24 25accumulate.exit: ; preds = %for.body.i 26 call void @llvm.lifetime.end.p0i8(i64 4000, i8* nonnull %0) 27 ret i32 %add.i 28} 29 30declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) 31 32declare dso_local void @fill(i32*, i32) 33 34declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) 35 36; CHECK-LABEL: @sumSizePlusOne 37define dso_local i32 @sumSizePlusOne(i32 %n) { 38entry: 39 %foo = alloca [1000 x i32], align 16 40 %0 = bitcast [1000 x i32]* %foo to i8* 41 call void @llvm.lifetime.start.p0i8(i64 4000, i8* nonnull %0) 42 %arraydecay = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 0 43 call void @fill(i32* nonnull %arraydecay, i32 %n) 44 br label %for.body.i 45 46for.body.i: ; preds = %for.body.i, %entry 47 %indvars.iv.i = phi i64 [ 0, %entry ], [ %indvars.iv.next.i, %for.body.i ] 48 %sum.01.i = phi i32 [ 0, %entry ], [ %add.i, %for.body.i ] 49 %arrayidx.i = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 %indvars.iv.i 50; CHECK: mul i64 {{.*}}, 4 51; CHECK: sub i64 4000, % 52; CHECK-NEXT: icmp ult i64 {{.*}}, 4 53; CHECK-NEXT: or i1 54; CHECK: trap 55 %1 = load i32, i32* %arrayidx.i, align 4 56 %add.i = add nsw i32 %1, %sum.01.i 57 %indvars.iv.next.i = add nuw nsw i64 %indvars.iv.i, 1 58 %exitcond.i = icmp eq i64 %indvars.iv.next.i, 1001 59 br i1 %exitcond.i, label %accumulate.exit, label %for.body.i 60 61accumulate.exit: ; preds = %for.body.i 62 call void @llvm.lifetime.end.p0i8(i64 4000, i8* nonnull %0) 63 ret i32 %add.i 64} 65 66; CHECK-LABEL: @sumLarger 67define dso_local i32 @sumLarger(i32 %n) { 68entry: 69 %foo = alloca [1000 x i32], align 16 70 %0 = bitcast [1000 x i32]* %foo to i8* 71 call void @llvm.lifetime.start.p0i8(i64 4000, i8* nonnull %0) 72 %arraydecay = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 0 73 call void @fill(i32* nonnull %arraydecay, i32 %n) 74 br label %for.body.i 75 76for.body.i: ; preds = %for.body.i, %entry 77 %indvars.iv.i = phi i64 [ 0, %entry ], [ %indvars.iv.next.i, %for.body.i ] 78 %sum.07.i = phi i32 [ 0, %entry ], [ %add.i, %for.body.i ] 79 %arrayidx.i = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 %indvars.iv.i 80; CHECK: mul i64 {{.*}}, 4 81; CHECK: sub i64 4000, % 82; CHECK-NEXT: icmp ult i64 4000, % 83; CHECK-NEXT: icmp ult i64 {{.*}}, 4 84; CHECK-NEXT: or i1 85; CHECK: trap 86 %1 = load i32, i32* %arrayidx.i, align 4 87 %add.i = add nsw i32 %1, %sum.07.i 88 %indvars.iv.next.i = add nuw nsw i64 %indvars.iv.i, 1 89 %exitcond.i = icmp eq i64 %indvars.iv.next.i, 2000 90 br i1 %exitcond.i, label %accumulate.exit, label %for.body.i 91 92accumulate.exit: ; preds = %for.body.i 93 call void @llvm.lifetime.end.p0i8(i64 4000, i8* nonnull %0) 94 ret i32 %add.i 95} 96 97; CHECK-LABEL: @sumUnknown 98define dso_local i32 @sumUnknown(i32 %n) { 99entry: 100 %foo = alloca [1000 x i32], align 16 101 %0 = bitcast [1000 x i32]* %foo to i8* 102 call void @llvm.lifetime.start.p0i8(i64 4000, i8* nonnull %0) 103 %arraydecay = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 0 104 call void @fill(i32* nonnull %arraydecay, i32 %n) 105 %cmp6.i = icmp eq i32 %n, 0 106 br i1 %cmp6.i, label %accumulate.exit, label %for.body.preheader.i 107 108for.body.preheader.i: ; preds = %entry 109 %wide.trip.count.i = zext i32 %n to i64 110 br label %for.body.i 111 112for.body.i: ; preds = %for.body.i, %for.body.preheader.i 113 %indvars.iv.i = phi i64 [ 0, %for.body.preheader.i ], [ %indvars.iv.next.i, %for.body.i ] 114 %sum.07.i = phi i32 [ 0, %for.body.preheader.i ], [ %add.i, %for.body.i ] 115 %arrayidx.i = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 %indvars.iv.i 116; CHECK: mul i64 {{.*}}, 4 117; CHECK: sub i64 4000, % 118; CHECK-NEXT: icmp ult i64 4000, % 119; CHECK-NEXT: icmp ult i64 {{.*}}, 4 120; CHECK-NEXT: or i1 121; CHECK: trap 122 %1 = load i32, i32* %arrayidx.i, align 4 123 %add.i = add nsw i32 %1, %sum.07.i 124 %indvars.iv.next.i = add nuw nsw i64 %indvars.iv.i, 1 125 %exitcond.i = icmp eq i64 %indvars.iv.next.i, %wide.trip.count.i 126 br i1 %exitcond.i, label %accumulate.exit, label %for.body.i 127 128accumulate.exit: ; preds = %for.body.i, %entry 129 %sum.0.lcssa.i = phi i32 [ 0, %entry ], [ %add.i, %for.body.i ] 130 call void @llvm.lifetime.end.p0i8(i64 4000, i8* nonnull %0) 131 ret i32 %sum.0.lcssa.i 132} 133 134; CHECK-LABEL: @twoDimSize 135define dso_local i32 @twoDimSize(i32 %n) { 136entry: 137 %foo = alloca [2 x [2 x i32]], align 16 138 %0 = bitcast [2 x [2 x i32]]* %foo to i8* 139 call void @llvm.lifetime.start.p0i8(i64 16, i8* nonnull %0) 140 %arraydecay = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %foo, i64 0, i64 0, i64 0 141 call void @fill(i32* nonnull %arraydecay, i32 %n) 142 br label %for.cond1.preheader 143 144for.cond1.preheader: ; preds = %for.cond.cleanup3, %entry 145 %indvars.iv23 = phi i64 [ 0, %entry ], [ %indvars.iv.next24, %for.cond.cleanup3 ] 146 %sum.021 = phi i32 [ 0, %entry ], [ %add, %for.cond.cleanup3 ] 147 br label %for.body4 148 149for.cond.cleanup: ; preds = %for.cond.cleanup3 150 call void @llvm.lifetime.end.p0i8(i64 16, i8* nonnull %0) 151 ret i32 %add 152 153for.cond.cleanup3: ; preds = %for.body4 154 %indvars.iv.next24 = add nuw nsw i64 %indvars.iv23, 1 155 %exitcond25 = icmp eq i64 %indvars.iv.next24, 2 156 br i1 %exitcond25, label %for.cond.cleanup, label %for.cond1.preheader 157 158for.body4: ; preds = %for.body4, %for.cond1.preheader 159 %indvars.iv = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next, %for.body4 ] 160 %sum.119 = phi i32 [ %sum.021, %for.cond1.preheader ], [ %add, %for.body4 ] 161 %arrayidx7 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %foo, i64 0, i64 %indvars.iv23, i64 %indvars.iv 162; CHECK-NOT: trap 163 %1 = load i32, i32* %arrayidx7, align 4 164 %add = add nsw i32 %1, %sum.119 165 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 166 %exitcond = icmp eq i64 %indvars.iv.next, 2 167 br i1 %exitcond, label %for.cond.cleanup3, label %for.body4 168} 169 170; CHECK-LABEL: @twoDimLarger1 171define dso_local i32 @twoDimLarger1(i32 %n) { 172entry: 173 %foo = alloca [2 x [2 x i32]], align 16 174 %0 = bitcast [2 x [2 x i32]]* %foo to i8* 175 call void @llvm.lifetime.start.p0i8(i64 16, i8* nonnull %0) 176 %arraydecay = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %foo, i64 0, i64 0, i64 0 177 call void @fill(i32* nonnull %arraydecay, i32 %n) 178 br label %for.cond1.preheader 179 180for.cond1.preheader: ; preds = %for.cond.cleanup3, %entry 181 %indvars.iv23 = phi i64 [ 0, %entry ], [ %indvars.iv.next24, %for.cond.cleanup3 ] 182 %sum.021 = phi i32 [ 0, %entry ], [ %add, %for.cond.cleanup3 ] 183 br label %for.body4 184 185for.cond.cleanup: ; preds = %for.cond.cleanup3 186 call void @llvm.lifetime.end.p0i8(i64 16, i8* nonnull %0) 187 ret i32 %add 188 189for.cond.cleanup3: ; preds = %for.body4 190 %indvars.iv.next24 = add nuw nsw i64 %indvars.iv23, 1 191 %exitcond25 = icmp eq i64 %indvars.iv.next24, 3 192 br i1 %exitcond25, label %for.cond.cleanup, label %for.cond1.preheader 193 194for.body4: ; preds = %for.body4, %for.cond1.preheader 195 %indvars.iv = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next, %for.body4 ] 196 %sum.119 = phi i32 [ %sum.021, %for.cond1.preheader ], [ %add, %for.body4 ] 197 %arrayidx7 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %foo, i64 0, i64 %indvars.iv23, i64 %indvars.iv 198; CHECK: mul i64 {{.*}}, 8 199; CHECK: mul i64 {{.*}}, 4 200; CHECK: add i64 201; CHECK: sub i64 16, % 202; CHECK-NEXT: icmp ult i64 16, % 203; CHECK-NEXT: icmp ult i64 {{.*}}, 4 204; CHECK-NEXT: or i1 205; CHECK: trap 206 %1 = load i32, i32* %arrayidx7, align 4 207 %add = add nsw i32 %1, %sum.119 208 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 209 %exitcond = icmp eq i64 %indvars.iv.next, 2 210 br i1 %exitcond, label %for.cond.cleanup3, label %for.body4 211} 212 213; CHECK-LABEL: @twoDimLarger2 214define dso_local i32 @twoDimLarger2(i32 %n) { 215entry: 216 %foo = alloca [2 x [2 x i32]], align 16 217 %0 = bitcast [2 x [2 x i32]]* %foo to i8* 218 call void @llvm.lifetime.start.p0i8(i64 16, i8* nonnull %0) 219 %arraydecay = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %foo, i64 0, i64 0, i64 0 220 call void @fill(i32* nonnull %arraydecay, i32 %n) 221 br label %for.cond1.preheader 222 223for.cond1.preheader: ; preds = %for.cond.cleanup3, %entry 224 %indvars.iv23 = phi i64 [ 0, %entry ], [ %indvars.iv.next24, %for.cond.cleanup3 ] 225 %sum.021 = phi i32 [ 0, %entry ], [ %add, %for.cond.cleanup3 ] 226 br label %for.body4 227 228for.cond.cleanup: ; preds = %for.cond.cleanup3 229 call void @llvm.lifetime.end.p0i8(i64 16, i8* nonnull %0) 230 ret i32 %add 231 232for.cond.cleanup3: ; preds = %for.body4 233 %indvars.iv.next24 = add nuw nsw i64 %indvars.iv23, 1 234 %exitcond25 = icmp eq i64 %indvars.iv.next24, 2 235 br i1 %exitcond25, label %for.cond.cleanup, label %for.cond1.preheader 236 237for.body4: ; preds = %for.body4, %for.cond1.preheader 238 %indvars.iv = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next, %for.body4 ] 239 %sum.119 = phi i32 [ %sum.021, %for.cond1.preheader ], [ %add, %for.body4 ] 240 %arrayidx7 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %foo, i64 0, i64 %indvars.iv23, i64 %indvars.iv 241; CHECK: mul i64 {{.*}}, 8 242; CHECK: mul i64 {{.*}}, 4 243; CHECK: add i64 244; CHECK: sub i64 16, % 245; CHECK-NEXT: icmp ult i64 {{.*}}, 4 246; CHECK-NEXT: or i1 247; CHECK: trap 248 %1 = load i32, i32* %arrayidx7, align 4 249 %add = add nsw i32 %1, %sum.119 250 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 251 %exitcond = icmp eq i64 %indvars.iv.next, 3 252 br i1 %exitcond, label %for.cond.cleanup3, label %for.body4 253} 254 255; CHECK-LABEL: @twoDimUnknown 256define dso_local i32 @twoDimUnknown(i32 %n) { 257entry: 258 %foo = alloca [2 x [2 x i32]], align 16 259 %0 = bitcast [2 x [2 x i32]]* %foo to i8* 260 call void @llvm.lifetime.start.p0i8(i64 16, i8* nonnull %0) 261 %arraydecay = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %foo, i64 0, i64 0, i64 0 262 call void @fill(i32* nonnull %arraydecay, i32 %n) 263 %cmp24 = icmp eq i32 %n, 0 264 br i1 %cmp24, label %for.cond.cleanup, label %for.cond1.preheader.lr.ph 265 266for.cond1.preheader.lr.ph: ; preds = %entry 267 %wide.trip.count = zext i32 %n to i64 268 %wide.trip.count.le = zext i32 %n to i64 269 br label %for.body4.lr.ph 270 271for.body4.lr.ph: ; preds = %for.cond1.preheader.lr.ph, %for.cond.cleanup3 272 %indvars.iv28 = phi i64 [ 0, %for.cond1.preheader.lr.ph ], [ %indvars.iv.next29, %for.cond.cleanup3 ] 273 %sum.025 = phi i32 [ 0, %for.cond1.preheader.lr.ph ], [ %add, %for.cond.cleanup3 ] 274 br label %for.body4 275 276for.cond.cleanup: ; preds = %for.cond.cleanup3, %entry 277 %sum.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.cond.cleanup3 ] 278 call void @llvm.lifetime.end.p0i8(i64 16, i8* nonnull %0) 279 ret i32 %sum.0.lcssa 280 281for.cond.cleanup3: ; preds = %for.body4 282 %indvars.iv.next29 = add nuw nsw i64 %indvars.iv28, 1 283 %exitcond31 = icmp eq i64 %indvars.iv.next29, %wide.trip.count.le 284 br i1 %exitcond31, label %for.cond.cleanup, label %for.body4.lr.ph 285 286for.body4: ; preds = %for.body4, %for.body4.lr.ph 287 %indvars.iv = phi i64 [ 0, %for.body4.lr.ph ], [ %indvars.iv.next, %for.body4 ] 288 %sum.122 = phi i32 [ %sum.025, %for.body4.lr.ph ], [ %add, %for.body4 ] 289 %arrayidx7 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %foo, i64 0, i64 %indvars.iv28, i64 %indvars.iv 290; CHECK: mul i64 {{.*}}, 8 291; CHECK: mul i64 {{.*}}, 4 292; CHECK: add i64 293; CHECK: sub i64 16, % 294; CHECK-NEXT: icmp ult i64 16, % 295; CHECK-NEXT: icmp ult i64 {{.*}}, 4 296; CHECK-NEXT: or i1 297; CHECK: trap 298 %1 = load i32, i32* %arrayidx7, align 4 299 %add = add nsw i32 %1, %sum.122 300 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 301 %exitcond = icmp eq i64 %indvars.iv.next, %wide.trip.count 302 br i1 %exitcond, label %for.cond.cleanup3, label %for.body4 303} 304 305; CHECK-LABEL: @countDownGood 306define dso_local i32 @countDownGood(i32 %n) { 307entry: 308 %foo = alloca [1000 x i32], align 16 309 %0 = bitcast [1000 x i32]* %foo to i8* 310 call void @llvm.lifetime.start.p0i8(i64 4000, i8* nonnull %0) 311 %arraydecay = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 0 312 call void @fill(i32* nonnull %arraydecay, i32 %n) 313 br label %for.body 314 315for.cond.cleanup: ; preds = %for.body 316 call void @llvm.lifetime.end.p0i8(i64 4000, i8* nonnull %0) 317 ret i32 %add 318 319for.body: ; preds = %for.body, %entry 320 %indvars.iv = phi i64 [ 999, %entry ], [ %indvars.iv.next, %for.body ] 321 %sum.06 = phi i32 [ 0, %entry ], [ %add, %for.body ] 322 %arrayidx = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 %indvars.iv 323; CHECK-NOT: trap 324 %1 = load i32, i32* %arrayidx, align 4 325 %add = add nsw i32 %1, %sum.06 326 %indvars.iv.next = add nsw i64 %indvars.iv, -1 327 %cmp = icmp eq i64 %indvars.iv, 0 328 br i1 %cmp, label %for.cond.cleanup, label %for.body 329} 330 331; CHECK-LABEL: @countDownBad 332define dso_local i32 @countDownBad(i32 %n) { 333entry: 334 %foo = alloca [1000 x i32], align 16 335 %0 = bitcast [1000 x i32]* %foo to i8* 336 call void @llvm.lifetime.start.p0i8(i64 4000, i8* nonnull %0) 337 %arraydecay = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 0 338 call void @fill(i32* nonnull %arraydecay, i32 %n) 339 br label %for.body 340 341for.cond.cleanup: ; preds = %for.body 342 call void @llvm.lifetime.end.p0i8(i64 4000, i8* nonnull %0) 343 ret i32 %add 344 345for.body: ; preds = %entry, %for.body 346 %indvars.iv = phi i64 [ 999, %entry ], [ %indvars.iv.next, %for.body ] 347 %sum.06 = phi i32 [ 0, %entry ], [ %add, %for.body ] 348 %arrayidx = getelementptr inbounds [1000 x i32], [1000 x i32]* %foo, i64 0, i64 %indvars.iv 349; CHECK: mul i64 {{.*}}, 4 350; CHECK: sub i64 4000, % 351; CHECK-NEXT: icmp ult i64 4000, % 352; CHECK: trap 353 %1 = load i32, i32* %arrayidx, align 4 354 %add = add nsw i32 %1, %sum.06 355 %indvars.iv.next = add nsw i64 %indvars.iv, -1 356 %cmp = icmp sgt i64 %indvars.iv, -1 357 br i1 %cmp, label %for.body, label %for.cond.cleanup 358} 359