| ; 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(...) |