[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / ArgumentPromotion / pr27568.ll
blob711a71fed4f17099aea6b579ed8af3b34096fb30
1 ; RUN: opt -S -argpromotion < %s | FileCheck %s
2 ; RUN: opt -S -passes=argpromotion < %s | FileCheck %s
3 ; RUN: opt -S -debugify -o /dev/null < %s
4 target triple = "x86_64-pc-windows-msvc"
6 define internal void @callee(i8*) {
7 entry:
8   call void @thunk()
9   ret void
12 define void @test1() personality i32 (...)* @__CxxFrameHandler3 {
13 entry:
14   invoke void @thunk()
15           to label %out unwind label %cpad
17 out:
18   ret void
20 cpad:
21   %pad = cleanuppad within none []
22   call void @callee(i8* null) [ "funclet"(token %pad) ]
23   cleanupret from %pad unwind to caller
26 ; CHECK-LABEL: define void @test1(
27 ; CHECK:      %[[pad:.*]] = cleanuppad within none []
28 ; CHECK-NEXT: call void @callee() [ "funclet"(token %[[pad]]) ]
29 ; CHECK-NEXT: cleanupret from %[[pad]] unwind to caller
31 declare void @thunk()
33 declare i32 @__CxxFrameHandler3(...)