xref: /aosp_15_r20/external/llvm/test/Transforms/BDCE/dce-pure.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -bdce -S < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker; RUN: opt -passes=bdce -S < %s | FileCheck %s
3*9880d681SAndroid Build Coastguard Worker
4*9880d681SAndroid Build Coastguard Workerdeclare i32 @strlen(i8*) readonly nounwind
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Workerdefine void @test1() {
7*9880d681SAndroid Build Coastguard Worker  call i32 @strlen( i8* null )
8*9880d681SAndroid Build Coastguard Worker  ret void
9*9880d681SAndroid Build Coastguard Worker
10*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test1
11*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: call
12*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
13*9880d681SAndroid Build Coastguard Worker}
14*9880d681SAndroid Build Coastguard Worker
15*9880d681SAndroid Build Coastguard Workerdefine i32 @test2() personality i32 (...)* @__gxx_personality_v0 {
16*9880d681SAndroid Build Coastguard Worker  ; invoke of pure function should not be deleted!
17*9880d681SAndroid Build Coastguard Worker  invoke i32 @strlen( i8* null ) readnone
18*9880d681SAndroid Build Coastguard Worker                  to label %Cont unwind label %Other
19*9880d681SAndroid Build Coastguard Worker
20*9880d681SAndroid Build Coastguard WorkerCont:           ; preds = %0
21*9880d681SAndroid Build Coastguard Worker  ret i32 0
22*9880d681SAndroid Build Coastguard Worker
23*9880d681SAndroid Build Coastguard WorkerOther:          ; preds = %0
24*9880d681SAndroid Build Coastguard Worker   %exn = landingpad {i8*, i32}
25*9880d681SAndroid Build Coastguard Worker            cleanup
26*9880d681SAndroid Build Coastguard Worker  ret i32 1
27*9880d681SAndroid Build Coastguard Worker
28*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test2
29*9880d681SAndroid Build Coastguard Worker; CHECK: invoke
30*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32 1
31*9880d681SAndroid Build Coastguard Worker}
32*9880d681SAndroid Build Coastguard Worker
33*9880d681SAndroid Build Coastguard Workerdeclare i32 @__gxx_personality_v0(...)
34*9880d681SAndroid Build Coastguard Worker
35