1; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \ 2; RUN: | FileCheck %s -check-prefix=DELIN 3; RUN: opt < %s -analyze -enable-new-pm=0 -basic-aa -da | FileCheck %s -check-prefix=DELIN 4 5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 6target triple = "x86_64-apple-macosx10.6.0" 7 8; for (int i = 0; i < 100; ++i) { 9; int t0 = a[i][i]; 10; int t1 = t0 + 1; 11; a[i][5] = t1; 12; } 13; The subscript 5 in a[i][5] is deliberately an i32, mismatching the types of 14; other subscript. DependenceAnalysis before the fix crashed due to this 15; mismatch. 16define void @i32_subscript([100 x [100 x i32]]* %a, i32* %b) { 17; DELIN-LABEL: 'Dependence Analysis' for function 'i32_subscript' 18entry: 19 br label %for.body 20 21for.body: 22; DELIN: da analyze - none! 23; DELIN: da analyze - anti [=|<]! 24; DELIN: da analyze - none! 25 %i = phi i64 [ 0, %entry ], [ %i.inc, %for.body ] 26 %a.addr = getelementptr [100 x [100 x i32]], [100 x [100 x i32]]* %a, i64 0, i64 %i, i64 %i 27 %a.addr.2 = getelementptr [100 x [100 x i32]], [100 x [100 x i32]]* %a, i64 0, i64 %i, i32 5 28 %0 = load i32, i32* %a.addr, align 4 29 %1 = add i32 %0, 1 30 store i32 %1, i32* %a.addr.2, align 4 31 %i.inc = add nsw i64 %i, 1 32 %exitcond = icmp ne i64 %i.inc, 100 33 br i1 %exitcond, label %for.body, label %for.end 34 35for.end: 36 ret void 37} 38 39; unsigned i, j; 40; for (i = 1; i < SIZE; i++) { 41; for (j = i; j < SIZE; j++) { 42; a[i][j] = a[i+1][j-1] + 2; 43; } 44; } 45; Extends the previous example to coupled MIV subscripts. 46 47 48@a = global [10004 x [10004 x i32]] zeroinitializer, align 16 49 50; Function Attrs: nounwind uwtable 51define void @coupled_miv_type_mismatch(i32 %n) #0 { 52; DELIN-LABEL: 'Dependence Analysis' for function 'coupled_miv_type_mismatch' 53entry: 54 br label %for.cond 55 56; DELIN: da analyze - input [* *]! 57; DELIN: da analyze - anti [* *|<]! 58; DELIN: da analyze - none! 59for.cond: ; preds = %for.inc11, %entry 60 %indvars.iv11 = phi i64 [ %indvars.iv.next12, %for.inc11 ], [ 1, %entry ] 61 %exitcond14 = icmp ne i64 %indvars.iv11, 10000 62 br i1 %exitcond14, label %for.cond1.preheader, label %for.end13 63 64for.cond1.preheader: ; preds = %for.cond 65 %0 = trunc i64 %indvars.iv11 to i32 66 br label %for.cond1 67 68for.cond1: ; preds = %for.cond1.preheader, %for.body3 69 %indvars.iv8 = phi i64 [ %indvars.iv11, %for.cond1.preheader ], [ %indvars.iv.next9, %for.body3 ] 70 %j.0 = phi i32 [ %inc, %for.body3 ], [ %0, %for.cond1.preheader ] 71 %lftr.wideiv = trunc i64 %indvars.iv8 to i32 72 %exitcond = icmp ne i32 %lftr.wideiv, 10000 73 br i1 %exitcond, label %for.body3, label %for.inc11 74 75for.body3: ; preds = %for.cond1 76 %sub = add nsw i32 %j.0, -1 77 %idxprom = zext i32 %sub to i64 78 %1 = add nuw nsw i64 %indvars.iv11, 1 79 %arrayidx5 = getelementptr inbounds [10004 x [10004 x i32]], [10004 x [10004 x i32]]* @a, i64 0, i64 %1, i64 %idxprom 80 %2 = load i32, i32* %arrayidx5, align 4 81 %add6 = add nsw i32 %2, 2 82 %arrayidx10 = getelementptr inbounds [10004 x [10004 x i32]], [10004 x [10004 x i32]]* @a, i64 0, i64 %indvars.iv11, i64 %indvars.iv8 83 store i32 %add6, i32* %arrayidx10, align 4 84 %indvars.iv.next9 = add nuw nsw i64 %indvars.iv8, 1 85 %inc = add nuw nsw i32 %j.0, 1 86 br label %for.cond1 87 88for.inc11: ; preds = %for.cond1 89 %indvars.iv.next12 = add nuw nsw i64 %indvars.iv11, 1 90 br label %for.cond 91 92for.end13: ; preds = %for.cond 93 ret void 94} 95 96attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" } 97 98!llvm.ident = !{!0} 99 100!0 = !{!"clang version 3.7.0"} 101