Juergen Ributzka | ad2363f | 2014-10-17 17:39:00 +0000 | [diff] [blame] | 1 | ; RUN: llc -mtriple=x86_64-unknown-linux -mcpu=corei7 < %s | FileCheck %s |
| 2 | |
| 3 | ; Test invoking of patchpoints |
| 4 | ; |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 5 | define i64 @patchpoint_invoke(i64 %p1, i64 %p2) personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { |
Juergen Ributzka | ad2363f | 2014-10-17 17:39:00 +0000 | [diff] [blame] | 6 | entry: |
| 7 | ; CHECK-LABEL: patchpoint_invoke: |
Rafael Espindola | 629cdba | 2015-02-27 18:18:39 +0000 | [diff] [blame] | 8 | ; CHECK-NEXT: [[FUNC_BEGIN:.L.*]]: |
Juergen Ributzka | ad2363f | 2014-10-17 17:39:00 +0000 | [diff] [blame] | 9 | ; CHECK-NEXT: .cfi_startproc |
Juergen Ributzka | ad2363f | 2014-10-17 17:39:00 +0000 | [diff] [blame] | 10 | ; CHECK: .cfi_lsda 3, [[EXCEPTION_LABEL:.L[^ ]*]] |
| 11 | ; CHECK: pushq %rbp |
| 12 | |
| 13 | ; Unfortunately, hardcode the name of the label that begins the patchpoint: |
| 14 | ; CHECK: .Ltmp0: |
| 15 | ; CHECK: movabsq $-559038736, %r11 |
| 16 | ; CHECK-NEXT: callq *%r11 |
| 17 | ; CHECK-NEXT: xchgw %ax, %ax |
| 18 | ; CHECK-NEXT: [[PP_END:.L.*]]: |
| 19 | ; CHECK: ret |
| 20 | %resolveCall = inttoptr i64 -559038736 to i8* |
David Blaikie | 445e3fb | 2015-04-24 19:32:54 +0000 | [diff] [blame] | 21 | %result = invoke i64 (i64, i32, i8*, i32, ...) @llvm.experimental.patchpoint.i64(i64 2, i32 15, i8* %resolveCall, i32 1, i64 %p1, i64 %p2) |
Juergen Ributzka | ad2363f | 2014-10-17 17:39:00 +0000 | [diff] [blame] | 22 | to label %success unwind label %threw |
| 23 | |
| 24 | success: |
| 25 | ret i64 %result |
| 26 | |
| 27 | threw: |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 28 | %0 = landingpad { i8*, i32 } |
Juergen Ributzka | ad2363f | 2014-10-17 17:39:00 +0000 | [diff] [blame] | 29 | catch i8* null |
| 30 | ret i64 0 |
| 31 | } |
| 32 | |
| 33 | ; Verify that the exception table was emitted: |
| 34 | ; CHECK: [[EXCEPTION_LABEL]]: |
| 35 | ; CHECK-NEXT: .byte 255 |
| 36 | ; CHECK-NEXT: .byte 3 |
| 37 | ; CHECK-NEXT: .byte 21 |
| 38 | ; CHECK-NEXT: .byte 3 |
| 39 | ; CHECK-NEXT: .byte 13 |
| 40 | ; Verify that the unwind data covers the entire patchpoint region: |
Rafael Espindola | c606bfe | 2014-10-21 01:17:30 +0000 | [diff] [blame] | 41 | ; CHECK-NEXT: .long .Ltmp0-[[FUNC_BEGIN]] |
| 42 | ; CHECK-NEXT: .long [[PP_END]]-.Ltmp0 |
Juergen Ributzka | ad2363f | 2014-10-17 17:39:00 +0000 | [diff] [blame] | 43 | |
| 44 | |
| 45 | ; Verify that the stackmap section got emitted: |
| 46 | ; CHECK-LABEL: __LLVM_StackMaps: |
| 47 | ; Header |
| 48 | ; CHECK-NEXT: .byte 1 |
| 49 | ; CHECK-NEXT: .byte 0 |
| 50 | ; CHECK-NEXT: .short 0 |
| 51 | ; Num Functions |
| 52 | ; CHECK-NEXT: .long 1 |
| 53 | ; Num LargeConstants |
| 54 | ; CHECK-NEXT: .long 0 |
| 55 | ; Num Callsites |
| 56 | ; CHECK-NEXT: .long 1 |
| 57 | ; CHECK-NEXT: .quad patchpoint_invoke |
| 58 | |
| 59 | |
| 60 | declare void @llvm.experimental.stackmap(i64, i32, ...) |
| 61 | declare void @llvm.experimental.patchpoint.void(i64, i32, i8*, i32, ...) |
| 62 | declare i64 @llvm.experimental.patchpoint.i64(i64, i32, i8*, i32, ...) |
| 63 | declare i32 @__gxx_personality_v0(...) |