1 ; RUN: opt < %s -analyze -basicaa -lda | FileCheck %s 2 3 @x = common global [256 x i32] zeroinitializer, align 4 4 @y = common global [256 x i32] zeroinitializer, align 4 5 6 ;; for (i = 0; i < 256; i++) 7 ;; x[i] = x[42] + y[i] 8 9 define void @f1(...) nounwind { 10 entry: 11 %x.ld.addr = getelementptr [256 x i32]* @x, i64 0, i64 42 12 br label %for.body 13 14 for.body: 15 %i = phi i64 [ 0, %entry ], [ %i.next, %for.body ] 16 %x.addr = getelementptr [256 x i32]* @x, i64 0, i64 %i 17 %y.addr = getelementptr [256 x i32]* @y, i64 0, i64 %i 18 %x = load i32* %x.ld.addr ; 0 19 %y = load i32* %y.addr ; 1 20 %r = add i32 %y, %x 21 store i32 %r, i32* %x.addr ; 2 22 ; CHECK: 0,2: dep 23 ; CHECK: 1,2: ind 24 %i.next = add i64 %i, 1 25 %exitcond = icmp eq i64 %i.next, 256 26 br i1 %exitcond, label %for.end, label %for.body 27 28 for.end: 29 ret void 30 } 31 32 ;; for (i = 0; i < 250; i++) 33 ;; x[i] = x[255] + y[i] 34 35 define void @f2(...) nounwind { 36 entry: 37 %x.ld.addr = getelementptr [256 x i32]* @x, i64 0, i64 255 38 br label %for.body 39 40 for.body: 41 %i = phi i64 [ 0, %entry ], [ %i.next, %for.body ] 42 %x.addr = getelementptr [256 x i32]* @x, i64 0, i64 %i 43 %y.addr = getelementptr [256 x i32]* @y, i64 0, i64 %i 44 %x = load i32* %x.ld.addr ; 0 45 %y = load i32* %y.addr ; 1 46 %r = add i32 %y, %x 47 store i32 %r, i32* %x.addr ; 2 48 ; CHECK: 0,2: dep 49 ; CHECK: 1,2: ind 50 %i.next = add i64 %i, 1 51 %exitcond = icmp eq i64 %i.next, 250 52 br i1 %exitcond, label %for.end, label %for.body 53 54 for.end: 55 ret void 56 } 57
