1 ; RUN: llc -verify-machineinstrs < %s | FileCheck %s 2 ; Check that we can lower a use of an alloca both as a deopt value (where the 3 ; exact meaning is up to the consumer of the stackmap) and as an explicit spill 4 ; slot used for GC. 5 6 target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128" 7 target triple = "x86_64-pc-linux-gnu" 8 9 declare zeroext i1 @return_i1() 10 11 ; Can we handle an explicit relocation slot (in the form of an alloca) given 12 ; to the statepoint? 13 define i32 addrspace(1)* @test(i32 addrspace(1)* %ptr) gc "statepoint-example" { 14 ; CHECK-LABEL: test 15 ; CHECK: pushq %rax 16 ; CHECK: movq %rdi, (%rsp) 17 ; CHECK: callq return_i1 18 ; CHECK: movq (%rsp), %rax 19 ; CHECK: popq %rcx 20 ; CHECK: retq 21 entry: 22 %alloca = alloca i32 addrspace(1)*, align 8 23 store i32 addrspace(1)* %ptr, i32 addrspace(1)** %alloca 24 call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32 addrspace(1)** %alloca) 25 %rel = load i32 addrspace(1)*, i32 addrspace(1)** %alloca 26 ret i32 addrspace(1)* %rel 27 } 28 29 ; Can we handle an alloca as a deopt value? 30 define i32 addrspace(1)* @test2(i32 addrspace(1)* %ptr) gc "statepoint-example" { 31 ; CHECK-LABEL: test2 32 ; CHECK: pushq %rax 33 ; CHECK: movq %rdi, (%rsp) 34 ; CHECK: callq return_i1 35 ; CHECK: xorl %eax, %eax 36 ; CHECK: popq %rcx 37 ; CHECK: retq 38 entry: 39 %alloca = alloca i32 addrspace(1)*, align 8 40 store i32 addrspace(1)* %ptr, i32 addrspace(1)** %alloca 41 call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 1, i32 addrspace(1)** %alloca) 42 ret i32 addrspace(1)* null 43 } 44 45 declare token @llvm.experimental.gc.statepoint.p0f_i1f(i64, i32, i1 ()*, i32, i32, ...) 46 47 48 ; CHECK-LABEL: .section .llvm_stackmaps 49 ; CHECK-NEXT: __LLVM_StackMaps: 50 ; Header 51 ; CHECK-NEXT: .byte 3 52 ; CHECK-NEXT: .byte 0 53 ; CHECK-NEXT: .short 0 54 ; Num Functions 55 ; CHECK-NEXT: .long 2 56 ; Num LargeConstants 57 ; CHECK-NEXT: .long 0 58 ; Num Callsites 59 ; CHECK-NEXT: .long 2 60 61 ; Functions and stack size 62 ; CHECK-NEXT: .quad test 63 ; CHECK-NEXT: .quad 8 64 ; CHECK-NEXT: .quad 1 65 ; CHECK-NEXT: .quad test2 66 ; CHECK-NEXT: .quad 8 67 ; CHECK-NEXT: .quad 1 68 69 ; Large Constants 70 ; Statepoint ID only 71 ; CHECK: .quad 0 72 73 ; Callsites 74 ; The GC one 75 ; CHECK: .long .Ltmp0-test 76 ; CHECK: .short 0 77 ; CHECK: .short 4 78 ; SmallConstant (0) 79 ; CHECK: .byte 4 80 ; CHECK: .byte 0 81 ; CHECK: .short 8 82 ; CHECK: .short 0 83 ; CHECK: .short 0 84 ; CHECK: .long 0 85 ; SmallConstant (0) 86 ; CHECK: .byte 4 87 ; CHECK: .byte 0 88 ; CHECK: .short 8 89 ; CHECK: .short 0 90 ; CHECK: .short 0 91 ; CHECK: .long 0 92 ; SmallConstant (0) 93 ; CHECK: .byte 4 94 ; CHECK: .byte 0 95 ; CHECK: .short 8 96 ; CHECK: .short 0 97 ; CHECK: .short 0 98 ; CHECK: .long 0 99 ; Direct Spill Slot [rsp+0] 100 ; CHECK: .byte 2 101 ; CHECK: .byte 0 102 ; CHECK: .short 8 103 ; CHECK: .short 7 104 ; CHECK: .short 0 105 ; CHECK: .long 0 106 ; No Padding or LiveOuts 107 ; CHECK: .short 0 108 ; CHECK: .short 0 109 ; CHECK: .p2align 3 110 111 ; The Deopt one 112 ; CHECK: .long .Ltmp1-test2 113 ; CHECK: .short 0 114 ; CHECK: .short 4 115 ; SmallConstant (0) 116 ; CHECK: .byte 4 117 ; CHECK: .byte 0 118 ; CHECK: .short 8 119 ; CHECK: .short 0 120 ; CHECK: .short 0 121 ; CHECK: .long 0 122 ; SmallConstant (0) 123 ; CHECK: .byte 4 124 ; CHECK: .byte 0 125 ; CHECK: .short 8 126 ; CHECK: .short 0 127 ; CHECK: .short 0 128 ; CHECK: .long 0 129 ; SmallConstant (1) 130 ; CHECK: .byte 4 131 ; CHECK: .byte 0 132 ; CHECK: .short 8 133 ; CHECK: .short 0 134 ; CHECK: .short 0 135 ; CHECK: .long 1 136 ; Direct Spill Slot [rsp+0] 137 ; CHECK: .byte 2 138 ; CHECK: .byte 0 139 ; CHECK: .short 8 140 ; CHECK: .short 7 141 ; CHECK: .short 0 142 ; CHECK: .long 0 143 144 ; No Padding or LiveOuts 145 ; CHECK: .short 0 146 ; CHECK: .short 0 147 ; CHECK: .p2align 3 148
