xref: /aosp_15_r20/external/llvm/test/Transforms/SimplifyCFG/assume.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -simplifycfg -S < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workerdefine void @test1() {
4*9880d681SAndroid Build Coastguard Worker        call void @llvm.assume(i1 0)
5*9880d681SAndroid Build Coastguard Worker        ret void
6*9880d681SAndroid Build Coastguard Worker
7*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test1
8*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: llvm.assume
9*9880d681SAndroid Build Coastguard Worker; CHECK: unreachable
10*9880d681SAndroid Build Coastguard Worker}
11*9880d681SAndroid Build Coastguard Worker
12*9880d681SAndroid Build Coastguard Workerdefine void @test2() {
13*9880d681SAndroid Build Coastguard Worker        call void @llvm.assume(i1 undef)
14*9880d681SAndroid Build Coastguard Worker        ret void
15*9880d681SAndroid Build Coastguard Worker
16*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test2
17*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: llvm.assume
18*9880d681SAndroid Build Coastguard Worker; CHECK: unreachable
19*9880d681SAndroid Build Coastguard Worker}
20*9880d681SAndroid Build Coastguard Worker
21*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.assume(i1) nounwind
22*9880d681SAndroid Build Coastguard Worker
23