1 ; RUN: %lli -O0 -disable-lazy-compilation=false %s
5 ; The intention of this test is to verify that symbols mapped to COMMON in ELF
8 ; Compiled from this C code:
16 ; zero_arr[zero_int + 5] = 40;
18 ; if (zero_double < 1.0)
19 ; zero_arr[zero_int + 2] = 70;
21 ; for (int i = 1; i < 10; ++i) {
22 ; zero_arr[i] = zero_arr[i - 1] + zero_arr[i];
24 ; return zero_arr[9] == 110 ? 0 : -1;
27 @zero_int = common global i32 0, align 4
28 @zero_arr = common global [10 x i32] zeroinitializer, align 16
29 @zero_double = common global double 0.000000e+00, align 8
31 define i32 @main() nounwind {
33 %retval = alloca i32, align 4
34 %i = alloca i32, align 4
35 store i32 0, i32* %retval
36 %0 = load i32* @zero_int, align 4
37 %add = add nsw i32 %0, 5
38 %idxprom = sext i32 %add to i64
39 %arrayidx = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom
40 store i32 40, i32* %arrayidx, align 4
41 %1 = load double* @zero_double, align 8
42 %cmp = fcmp olt double %1, 1.000000e+00
43 br i1 %cmp, label %if.then, label %if.end
45 if.then: ; preds = %entry
46 %2 = load i32* @zero_int, align 4
47 %add1 = add nsw i32 %2, 2
48 %idxprom2 = sext i32 %add1 to i64
49 %arrayidx3 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom2
50 store i32 70, i32* %arrayidx3, align 4
53 if.end: ; preds = %if.then, %entry
54 store i32 1, i32* %i, align 4
57 for.cond: ; preds = %for.inc, %if.end
58 %3 = load i32* %i, align 4
59 %cmp4 = icmp slt i32 %3, 10
60 br i1 %cmp4, label %for.body, label %for.end
62 for.body: ; preds = %for.cond
63 %4 = load i32* %i, align 4
64 %sub = sub nsw i32 %4, 1
65 %idxprom5 = sext i32 %sub to i64
66 %arrayidx6 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom5
67 %5 = load i32* %arrayidx6, align 4
68 %6 = load i32* %i, align 4
69 %idxprom7 = sext i32 %6 to i64
70 %arrayidx8 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom7
71 %7 = load i32* %arrayidx8, align 4
72 %add9 = add nsw i32 %5, %7
73 %8 = load i32* %i, align 4
74 %idxprom10 = sext i32 %8 to i64
75 %arrayidx11 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom10
76 store i32 %add9, i32* %arrayidx11, align 4
79 for.inc: ; preds = %for.body
80 %9 = load i32* %i, align 4
81 %inc = add nsw i32 %9, 1
82 store i32 %inc, i32* %i, align 4
85 for.end: ; preds = %for.cond
86 %10 = load i32* getelementptr inbounds ([10 x i32]* @zero_arr, i32 0, i64 9), align 4
87 %cmp12 = icmp eq i32 %10, 110
88 %cond = select i1 %cmp12, i32 0, i32 -1