xref: /aosp_15_r20/external/llvm/test/Analysis/GlobalsModRef/no-escape.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -globals-aa -S -enable-non-lto-gmr=true -licm | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
4*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-apple-macosx10.10.0"
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Worker@b = common global i32 0, align 4
7*9880d681SAndroid Build Coastguard Worker@c = internal global i32 0, align 4
8*9880d681SAndroid Build Coastguard Worker@d = common global i32 0, align 4
9*9880d681SAndroid Build Coastguard Worker@e = common global i32* null, align 4
10*9880d681SAndroid Build Coastguard Worker
11*9880d681SAndroid Build Coastguard Workerdefine void @foo(i32* %P) noinline {
12*9880d681SAndroid Build Coastguard Worker; CHECK: define void @foo
13*9880d681SAndroid Build Coastguard Worker  %loadp = load i32, i32* %P, align 4
14*9880d681SAndroid Build Coastguard Worker  store i32 %loadp, i32* @d, align 4
15*9880d681SAndroid Build Coastguard Worker  ret void
16*9880d681SAndroid Build Coastguard Worker}
17*9880d681SAndroid Build Coastguard Worker
18*9880d681SAndroid Build Coastguard Workerdefine void @bar() noinline {
19*9880d681SAndroid Build Coastguard Worker; CHECK: define void @bar
20*9880d681SAndroid Build Coastguard Worker  %loadp = load i32, i32* @d, align 4
21*9880d681SAndroid Build Coastguard Worker  store i32 %loadp, i32* @c, align 4
22*9880d681SAndroid Build Coastguard Worker  ret void
23*9880d681SAndroid Build Coastguard Worker}
24*9880d681SAndroid Build Coastguard Worker
25*9880d681SAndroid Build Coastguard Workerdefine i32 @main() {
26*9880d681SAndroid Build Coastguard Workerentry:
27*9880d681SAndroid Build Coastguard Worker  %retval = alloca i32, align 4
28*9880d681SAndroid Build Coastguard Worker  %c = alloca [1 x i32], align 4
29*9880d681SAndroid Build Coastguard Worker  store i32 0, i32* %retval, align 4
30*9880d681SAndroid Build Coastguard Worker  call void @bar()
31*9880d681SAndroid Build Coastguard Worker  store i32 0, i32* @b, align 4
32*9880d681SAndroid Build Coastguard Worker  br label %for.cond
33*9880d681SAndroid Build Coastguard Worker  ;; Check that @c is LICM'ed out.
34*9880d681SAndroid Build Coastguard Worker; CHECK: load i32, i32* @c
35*9880d681SAndroid Build Coastguard Workerfor.cond:                                         ; preds = %for.inc, %entry
36*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: for.cond:
37*9880d681SAndroid Build Coastguard Worker; CHECK: load i32, i32* @b
38*9880d681SAndroid Build Coastguard Worker  %a1 = load i32, i32* @b, align 4
39*9880d681SAndroid Build Coastguard Worker  %aa2 = load i32, i32* @c, align 4
40*9880d681SAndroid Build Coastguard Worker  %add = add nsw i32 %a1, %aa2
41*9880d681SAndroid Build Coastguard Worker  %p1 = load i32*, i32** @e, align 4
42*9880d681SAndroid Build Coastguard Worker  call void @foo(i32* %p1)
43*9880d681SAndroid Build Coastguard Worker  %cmp = icmp slt i32 %add, 3
44*9880d681SAndroid Build Coastguard Worker  br i1 %cmp, label %for.body, label %for.end
45*9880d681SAndroid Build Coastguard Worker
46*9880d681SAndroid Build Coastguard Workerfor.body:                                         ; preds = %for.cond
47*9880d681SAndroid Build Coastguard Worker  %a2 = load i32, i32* @b, align 4
48*9880d681SAndroid Build Coastguard Worker  %idxprom = sext i32 %a2 to i64
49*9880d681SAndroid Build Coastguard Worker  br label %for.inc
50*9880d681SAndroid Build Coastguard Worker
51*9880d681SAndroid Build Coastguard Workerfor.inc:                                          ; preds = %for.body
52*9880d681SAndroid Build Coastguard Worker  %a3 = load i32, i32* @b, align 4
53*9880d681SAndroid Build Coastguard Worker  %inc = add nsw i32 %a3, 1
54*9880d681SAndroid Build Coastguard Worker  store i32 %inc, i32* @b, align 4
55*9880d681SAndroid Build Coastguard Worker  br label %for.cond
56*9880d681SAndroid Build Coastguard Worker
57*9880d681SAndroid Build Coastguard Workerfor.end:                                          ; preds = %for.cond
58*9880d681SAndroid Build Coastguard Worker  ret i32 0
59*9880d681SAndroid Build Coastguard Worker}
60*9880d681SAndroid Build Coastguard Worker
61*9880d681SAndroid Build Coastguard Worker; Function Attrs: nounwind argmemonly
62*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind argmemonly
63*9880d681SAndroid Build Coastguard Worker
64*9880d681SAndroid Build Coastguard Worker; Function Attrs: noreturn nounwind
65*9880d681SAndroid Build Coastguard Workerdeclare void @abort() noreturn nounwind
66