| Reid Kleckner | 64b003f | 2015-11-09 21:04:00 +0000 | [diff] [blame^] | 1 | ; RUN: llc -verify-machineinstrs < %s | FileCheck %s |
| 2 | ; RUN: llc -verify-machineinstrs -O0 < %s | FileCheck %s |
| Reid Kleckner | 94fe836 | 2015-10-07 23:55:06 +0000 | [diff] [blame] | 3 | |
| 4 | target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" |
| 5 | target triple = "x86_64-pc-windows-msvc" |
| 6 | |
| 7 | declare void @f(i32) |
| 8 | declare i32 @__C_specific_handler(...) |
| 9 | declare i32 @llvm.eh.exceptioncode(token) |
| 10 | |
| 11 | define void @ehcode() personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) { |
| 12 | entry: |
| 13 | invoke void @f(i32 0) |
| 14 | to label %__try.cont unwind label %catch.dispatch |
| 15 | |
| 16 | catch.dispatch: ; preds = %entry |
| 17 | %pad = catchpad [i8* null] |
| 18 | to label %__except unwind label %catchendblock |
| 19 | |
| 20 | __except: ; preds = %catch.dispatch |
| 21 | catchret %pad to label %__except.1 |
| 22 | |
| 23 | __except.1: ; preds = %__except |
| 24 | %code = call i32 @llvm.eh.exceptioncode(token %pad) |
| 25 | call void @f(i32 %code) |
| 26 | br label %__try.cont |
| 27 | |
| 28 | __try.cont: ; preds = %entry, %__except.1 |
| 29 | ret void |
| 30 | |
| 31 | catchendblock: ; preds = %catch.dispatch |
| 32 | catchendpad unwind to caller |
| 33 | } |
| 34 | |
| 35 | ; CHECK-LABEL: ehcode: |
| 36 | ; CHECK: xorl %ecx, %ecx |
| 37 | ; CHECK: callq f |
| Reid Kleckner | 94fe836 | 2015-10-07 23:55:06 +0000 | [diff] [blame] | 38 | |
| 39 | ; CHECK: # %__except |
| Reid Kleckner | ebef256 | 2015-10-09 00:15:13 +0000 | [diff] [blame] | 40 | ; CHECK: movl %eax, %ecx |
| Reid Kleckner | 94fe836 | 2015-10-07 23:55:06 +0000 | [diff] [blame] | 41 | ; CHECK-NEXT: callq f |