| ; RUN: opt -S -passes=deadargelim < %s | FileCheck %s | |
| target triple = "x86_64-pc-windows-msvc" | |
| define internal void @callee(ptr) { | |
| entry: | |
| call void @thunk() | |
| ret void | |
| } | |
| define void @test1() personality ptr @__CxxFrameHandler3 { | |
| entry: | |
| invoke void @thunk() | |
| to label %good1 unwind label %bad1 | |
| good1: ; preds = %entry-block | |
| ret void | |
| bad1: ; preds = %entry-block | |
| %pad1 = cleanuppad within none [] | |
| call void @callee(ptr null) [ "funclet"(token %pad1) ] | |
| cleanupret from %pad1 unwind to caller | |
| } | |
| ; CHECK-LABEL: define void @test1( | |
| ; CHECK: %[[pad:.*]] = cleanuppad within none [] | |
| ; CHECK-NEXT: call void @callee() [ "funclet"(token %[[pad]]) ] | |
| declare void @thunk() | |
| declare i32 @__CxxFrameHandler3(...) |