1 ; RUN: llvm-as < %s | opt -disable-output -analyze -lda | FileCheck %s
3 @x = common global [256 x i32] zeroinitializer, align 4
4 @y = common global [256 x i32] zeroinitializer, align 4
6 ; for (i = 0; i < 256; i++)
7 ; x[i] = x[256 - i] + y[i]
9 define void @f1(...) nounwind {
14 %i = phi i64 [ 0, %entry ], [ %i.next, %for.body ]
15 %i.256 = sub i64 256, %i
16 %y.ld.addr = getelementptr [256 x i32]* @y, i64 0, i64 %i.256
17 %x.ld.addr = getelementptr [256 x i32]* @x, i64 0, i64 %i
18 %x.st.addr = getelementptr [256 x i32]* @x, i64 0, i64 %i
19 %x = load i32* %x.ld.addr ; 0
20 %y = load i32* %y.ld.addr ; 1
22 store i32 %r, i32* %x.st.addr ; 2
25 %i.next = add i64 %i, 1
26 %exitcond = icmp eq i64 %i.next, 256
27 br i1 %exitcond, label %for.end, label %for.body
33 ; // the same example, using more realistic IR
34 ; for (i = 0; i < 256; i++)
35 ; x[i] = x[256 - i] + y[i]
37 define void @f2(...) nounwind {
42 %i = phi i64 [ 0, %entry ], [ %i.next, %for.body ]
43 %i.256 = sub i64 0, %i
44 %y.ld.addr = getelementptr [256 x i32]* @y, i64 0, i64 %i
45 %x.ld.addr = getelementptr [256 x i32]* @x, i64 1, i64 %i.256
46 %x.st.addr = getelementptr [256 x i32]* @x, i64 0, i64 %i
47 %x = load i32* %x.ld.addr ; 0
48 %y = load i32* %y.ld.addr ; 1
50 store i32 %r, i32* %x.st.addr ; 2
53 %i.next = add i64 %i, 1
54 %exitcond = icmp eq i64 %i.next, 256
55 br i1 %exitcond, label %for.end, label %for.body
61 ; for (i = 0; i < 100; i++)
62 ; x[i] = x[256 - i] + y[i]
64 define void @f3(...) nounwind {
69 %i = phi i64 [ 0, %entry ], [ %i.next, %for.body ]
70 %i.256 = sub i64 0, %i
71 %y.ld.addr = getelementptr [256 x i32]* @y, i64 0, i64 %i
72 %x.ld.addr = getelementptr [256 x i32]* @x, i64 1, i64 %i.256
73 %x.st.addr = getelementptr [256 x i32]* @x, i64 0, i64 %i
74 %x = load i32* %x.ld.addr ; 0
75 %y = load i32* %y.ld.addr ; 1
77 store i32 %r, i32* %x.st.addr ; 2
80 %i.next = add i64 %i, 1
81 %exitcond = icmp eq i64 %i.next, 100
82 br i1 %exitcond, label %for.end, label %for.body