xref: /aosp_15_r20/external/llvm/test/Analysis/GlobalsModRef/pr25309.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -globals-aa -gvn < %s -S | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-unknown-linux-gnu"
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Worker; @o and @m are initialized to @i, so they should not be classed as
7*9880d681SAndroid Build Coastguard Worker; indirect globals referring only to allocation functions.
8*9880d681SAndroid Build Coastguard Worker@o = internal global i32* @i, align 8
9*9880d681SAndroid Build Coastguard Worker@m = internal global i32* @i, align 8
10*9880d681SAndroid Build Coastguard Worker@i = internal global i32 0, align 4
11*9880d681SAndroid Build Coastguard Worker
12*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @f
13*9880d681SAndroid Build Coastguard Workerdefine i1 @f() {
14*9880d681SAndroid Build Coastguard Workerentry:
15*9880d681SAndroid Build Coastguard Worker  %0 = load i32*, i32** @o, align 8
16*9880d681SAndroid Build Coastguard Worker  store i32 0, i32* %0, align 4
17*9880d681SAndroid Build Coastguard Worker  %1 = load volatile i32*, i32** @m, align 8
18*9880d681SAndroid Build Coastguard Worker  store i32 1, i32* %1, align 4
19*9880d681SAndroid Build Coastguard Worker  ; CHECK: %[[a:.*]] = load i32*
20*9880d681SAndroid Build Coastguard Worker  %2 = load i32*, i32** @o, align 8
21*9880d681SAndroid Build Coastguard Worker  ; CHECK: %[[b:.*]] = load i32, i32* %[[a]]
22*9880d681SAndroid Build Coastguard Worker  %3 = load i32, i32* %2, align 4
23*9880d681SAndroid Build Coastguard Worker  ; CHECK: %[[c:.*]] = icmp ne i32 %[[b]], 0
24*9880d681SAndroid Build Coastguard Worker  %tobool.i = icmp ne i32 %3, 0
25*9880d681SAndroid Build Coastguard Worker  ; CHECK: ret i1 %[[c]]
26*9880d681SAndroid Build Coastguard Worker  ret i1 %tobool.i
27*9880d681SAndroid Build Coastguard Worker}
28