[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / LowerInvoke / lowerinvoke.ll
blobf3e6a88fbf4196635571adf807a11eee5b3aff34
1 ; RUN: opt < %s -lowerinvoke -S | FileCheck %s
2 ; RUN: opt < %s -passes='lowerinvoke' -S | FileCheck %s
4 declare i32 @external_func(i64 %arg)
6 define i32 @invoke_test(i64 %arg) personality i8* null {
7 entry:
8   %result = invoke fastcc i32 @external_func(i64 inreg %arg)
9       to label %cont unwind label %lpad
10 cont:
11   ret i32 %result
12 lpad:
13   %phi = phi i32 [ 99, %entry ]
14   %lp = landingpad { i8*, i32 } cleanup
15   ret i32 %phi
18 ; The "invoke" should be converted to a "call".
19 ; CHECK-LABEL: define i32 @invoke_test
20 ; CHECK: %result = call fastcc i32 @external_func(i64 inreg %arg)
21 ; CHECK-NEXT: br label %cont
23 ; Note that this pass does not remove dead landingpad blocks.
24 ; CHECK: lpad:
25 ; CHECK-NOT: phi
26 ; CHECK: landingpad