xref: /aosp_15_r20/external/llvm/test/Transforms/PhaseOrdering/globalaa-retained.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -O3 -S < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
3*9880d681SAndroid Build Coastguard Workertarget triple = "aarch64"
4*9880d681SAndroid Build Coastguard Worker
5*9880d681SAndroid Build Coastguard Worker@v = internal unnamed_addr global i32 0, align 4
6*9880d681SAndroid Build Coastguard Worker@p = common global i32* null, align 8
7*9880d681SAndroid Build Coastguard Worker
8*9880d681SAndroid Build Coastguard Worker; Function Attrs: norecurse nounwind
9*9880d681SAndroid Build Coastguard Workerdefine void @f(i32 %n) {
10*9880d681SAndroid Build Coastguard Workerentry:
11*9880d681SAndroid Build Coastguard Worker  %0 = load i32, i32* @v, align 4
12*9880d681SAndroid Build Coastguard Worker  %inc = add nsw i32 %0, 1
13*9880d681SAndroid Build Coastguard Worker  store i32 %inc, i32* @v, align 4
14*9880d681SAndroid Build Coastguard Worker  %1 = load i32*, i32** @p, align 8
15*9880d681SAndroid Build Coastguard Worker  store i32 %n, i32* %1, align 4
16*9880d681SAndroid Build Coastguard Worker  %2 = load i32, i32* @v, align 4
17*9880d681SAndroid Build Coastguard Worker  %inc1 = add nsw i32 %2, 1
18*9880d681SAndroid Build Coastguard Worker  store i32 %inc1, i32* @v, align 4
19*9880d681SAndroid Build Coastguard Worker  ret void
20*9880d681SAndroid Build Coastguard Worker}
21*9880d681SAndroid Build Coastguard Worker
22*9880d681SAndroid Build Coastguard Worker; check variable v is loaded only once after optimization, which should be
23*9880d681SAndroid Build Coastguard Worker; prove that globalsAA survives until the optimization that can use it to
24*9880d681SAndroid Build Coastguard Worker; optimize away the duplicate load/stores on variable v.
25*9880d681SAndroid Build Coastguard Worker; CHECK:     load i32, i32* @v, align 4
26*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: load i32, i32* @v, align 4
27