target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
%struct.com = type { double, double }
+%struct.com2 = type { [20000000000 x double] }
define void @foo(i64 %n, %struct.com* %A) {
entry:
ret void
}
-define i32 @main() {
+; CHECK: Arrays {
+; CHECK-NEXT: double MemRef_O[*][%n]; // Element size 8
+; CHECK-NEXT: }
+
+define void @foo_overflow(i64 %n, %struct.com2* nocapture %O) local_unnamed_addr #0 {
entry:
- %A = alloca [100 x [1000 x %struct.com]], align 16
- %tmp = getelementptr inbounds [100 x [1000 x %struct.com]], [100 x [1000 x %struct.com]]* %A, i64 0, i64 0, i64 0
- call void @foo(i64 1000, %struct.com* nonnull %tmp)
- ret i32 0
+ br label %for.body
+
+for.cond.cleanup: ; preds = %for.cond.cleanup3
+ ret void
+
+for.body: ; preds = %for.cond.cleanup3, %entry
+ %i.024 = phi i64 [ 0, %entry ], [ %inc12, %for.cond.cleanup3 ]
+ %0 = mul nsw i64 %i.024, %n
+ %arrayidx = getelementptr inbounds %struct.com2, %struct.com2* %O, i64 %0
+ br label %for.body4
+
+for.cond.cleanup3: ; preds = %for.body4
+ %inc12 = add nuw nsw i64 %i.024, 1
+ %exitcond25 = icmp eq i64 %inc12, 100
+ br i1 %exitcond25, label %for.cond.cleanup, label %for.body
+
+for.body4: ; preds = %for.body4, %for.body
+ %j.023 = phi i64 [ 0, %for.body ], [ %inc, %for.body4 ]
+ %arrayidx5 = getelementptr inbounds %struct.com2, %struct.com2* %arrayidx, i64 %j.023
+ %Real = getelementptr inbounds %struct.com2, %struct.com2* %arrayidx5, i64 0, i32 0
+ %arrayidx6 = getelementptr inbounds [20000000000 x double], [20000000000 x double]* %Real, i64 0, i64 1
+ %1 = load double, double* %arrayidx6, align 8
+ %arrayidx10 = getelementptr inbounds [20000000000 x double], [20000000000 x double]* %Real, i64 0, i64 0
+ %2 = load double, double* %arrayidx10, align 8
+ %add = fadd double %1, %2
+ store double %add, double* %arrayidx10, align 8
+ %inc = add nuw nsw i64 %j.023, 1
+ %exitcond = icmp eq i64 %inc, 1000
+ br i1 %exitcond, label %for.cond.cleanup3, label %for.body4
}