; 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