| ; RUN: llc -verify-machineinstrs < %s | FileCheck %s |
| ; RUN: llc -verify-machineinstrs -O0 < %s | FileCheck %s |
| |
| target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-pc-windows-msvc" |
| |
| declare void @f(i32) |
| declare i32 @__C_specific_handler(...) |
| declare i32 @llvm.eh.exceptioncode(token) |
| |
| define void @ehcode() personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) { |
| entry: |
| invoke void @f(i32 0) |
| to label %__try.cont unwind label %catch.dispatch |
| |
| catch.dispatch: ; preds = %entry |
| %cs = catchswitch within none [label %__except] unwind to caller |
| |
| __except: ; preds = %catch.dispatch |
| %pad = catchpad within %cs [i8* null] |
| catchret from %pad to label %__except.1 |
| |
| __except.1: ; preds = %__except |
| %code = call i32 @llvm.eh.exceptioncode(token %pad) |
| call void @f(i32 %code) |
| br label %__try.cont |
| |
| __try.cont: ; preds = %entry, %__except.1 |
| ret void |
| } |
| |
| ; CHECK-LABEL: ehcode: |
| ; CHECK: xorl %ecx, %ecx |
| ; CHECK: callq f |
| |
| ; CHECK: # %__except |
| ; CHECK: movl %eax, %ecx |
| ; CHECK-NEXT: callq f |
