xref: /aosp_15_r20/external/llvm/test/Transforms/GlobalOpt/assume.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -S -globalopt < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker; CHECK: @tmp = local_unnamed_addr global i32 42
4*9880d681SAndroid Build Coastguard Worker
5*9880d681SAndroid Build Coastguard Worker@llvm.global_ctors = appending global [1 x { i32, void ()* }] [{ i32, void ()* } { i32 65535, void ()* @_GLOBAL__I_a }]
6*9880d681SAndroid Build Coastguard Worker@tmp = global i32 0
7*9880d681SAndroid Build Coastguard Worker
8*9880d681SAndroid Build Coastguard Workerdefine i32 @TheAnswerToLifeTheUniverseAndEverything() {
9*9880d681SAndroid Build Coastguard Worker  ret i32 42
10*9880d681SAndroid Build Coastguard Worker}
11*9880d681SAndroid Build Coastguard Worker
12*9880d681SAndroid Build Coastguard Workerdefine void @_GLOBAL__I_a() {
13*9880d681SAndroid Build Coastguard Workerenter:
14*9880d681SAndroid Build Coastguard Worker  %tmp1 = call i32 @TheAnswerToLifeTheUniverseAndEverything()
15*9880d681SAndroid Build Coastguard Worker  store i32 %tmp1, i32* @tmp
16*9880d681SAndroid Build Coastguard Worker  %cmp = icmp eq i32 %tmp1, 42
17*9880d681SAndroid Build Coastguard Worker  call void @llvm.assume(i1 %cmp)
18*9880d681SAndroid Build Coastguard Worker  ret void
19*9880d681SAndroid Build Coastguard Worker}
20*9880d681SAndroid Build Coastguard Worker
21*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.assume(i1)
22