blob: 37ced6075b9f4421772abe1c083bd23a0b498717 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001; RUN: llvm-upgrade < %s | llvm-as | llc -march=x86 | \
Dan Gohman8c89a502007-08-15 13:36:28 +00002; RUN: grep {A(} | count 1
Dan Gohmanf17a25c2007-07-18 16:29:46 +00003;
4; Make sure the common loop invariant _A(reg) is hoisted up to preheader.
5
6%A = internal global [16 x [16 x int]] zeroinitializer, align 32
7
8void %test(int %row, int %N.in) {
9entry:
10 %N = cast int %N.in to uint
11 %tmp5 = setgt int %N.in, 0
12 br bool %tmp5, label %cond_true, label %return
13
14cond_true:
15 %indvar = phi uint [ 0, %entry ], [ %indvar.next, %cond_true ]
16 %i.0.0 = cast uint %indvar to int
17 %tmp2 = add int %i.0.0, 1
18 %tmp = getelementptr [16 x [16 x int]]* %A, int 0, int %row, int %tmp2
19 store int 4, int* %tmp
20 %tmp5 = add int %i.0.0, 2
21 %tmp7 = getelementptr [16 x [16 x int]]* %A, int 0, int %row, int %tmp5
22 store int 5, int* %tmp7
23 %indvar.next = add uint %indvar, 1
24 %exitcond = seteq uint %indvar.next, %N
25 br bool %exitcond, label %return, label %cond_true
26
27return:
28 ret void
29}