Matt Arsenault | a202538 | 2017-08-03 23:24:05 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=amdgcn -mcpu=hawaii -verify-machineinstrs < %s | FileCheck -enable-var-scope -check-prefix=GCN -check-prefix=CI %s |
| 2 | ; RUN: llc -march=amdgcn -mcpu=gfx900 -verify-machineinstrs < %s | FileCheck -enable-var-scope -check-prefix=GCN -check-prefix=GFX9 %s |
Matt Arsenault | f28683c | 2017-06-26 17:53:59 +0000 | [diff] [blame] | 3 | |
| 4 | ; GCN-LABEL: {{^}}callee_no_stack: |
| 5 | ; GCN: ; BB#0: |
| 6 | ; GCN-NEXT: s_waitcnt |
| 7 | ; GCN-NEXT: s_setpc_b64 |
| 8 | define void @callee_no_stack() #0 { |
| 9 | ret void |
| 10 | } |
| 11 | |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 12 | ; GCN-LABEL: {{^}}callee_no_stack_no_fp_elim: |
| 13 | ; GCN: ; BB#0: |
| 14 | ; GCN-NEXT: s_waitcnt |
| 15 | ; GCN-NEXT: s_setpc_b64 |
| 16 | define void @callee_no_stack_no_fp_elim() #1 { |
| 17 | ret void |
| 18 | } |
| 19 | |
Matt Arsenault | f28683c | 2017-06-26 17:53:59 +0000 | [diff] [blame] | 20 | ; Requires frame pointer for access to local regular object. |
| 21 | |
| 22 | ; GCN-LABEL: {{^}}callee_with_stack: |
| 23 | ; GCN: ; BB#0: |
| 24 | ; GCN-NEXT: s_waitcnt |
| 25 | ; GCN-NEXT: s_mov_b32 s5, s32 |
| 26 | ; GCN-NEXT: v_mov_b32_e32 v0, 0{{$}} |
| 27 | ; GCN-NEXT: buffer_store_dword v0, off, s[0:3], s5 offset:4{{$}} |
| 28 | ; GCN-NEXT: s_waitcnt |
| 29 | ; GCN-NEXT: s_setpc_b64 |
| 30 | define void @callee_with_stack() #0 { |
| 31 | %alloca = alloca i32 |
| 32 | store volatile i32 0, i32* %alloca |
| 33 | ret void |
| 34 | } |
| 35 | |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 36 | ; GCN-LABEL: {{^}}callee_with_stack_and_call: |
| 37 | ; GCN: ; BB#0: |
| 38 | ; GCN-NEXT: s_waitcnt |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 39 | ; GCN: s_mov_b32 s5, s32 |
| 40 | ; GCN: buffer_store_dword v32, off, s[0:3], s5 offset:8 |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 41 | |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 42 | ; GCN-DAG: v_writelane_b32 v32, s33, |
| 43 | ; GCN-DAG: v_writelane_b32 v32, s34, |
| 44 | ; GCN-DAG: v_writelane_b32 v32, s35, |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 45 | ; GCN-DAG: s_add_u32 s32, s32, 0x300{{$}} |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 46 | ; GCN-DAG: v_mov_b32_e32 v0, 0{{$}} |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 47 | ; GCN: buffer_store_dword v0, off, s[0:3], s5 offset:4{{$}} |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 48 | ; GCN-DAG: s_mov_b32 s33, s5 |
| 49 | |
| 50 | |
| 51 | ; GCN: s_swappc_b64 |
| 52 | ; GCN: s_mov_b32 s5, s33 |
| 53 | ; GCN-DAG: v_readlane_b32 s35, |
| 54 | ; GCN-DAG: v_readlane_b32 s34, |
| 55 | ; GCN-DAG: v_readlane_b32 s33, |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 56 | ; GCN: buffer_load_dword v32, off, s[0:3], s5 offset:8 |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 57 | ; GCN: s_waitcnt |
| 58 | ; GCN-NEXT: s_setpc_b64 |
| 59 | define void @callee_with_stack_and_call() #0 { |
| 60 | %alloca = alloca i32 |
| 61 | store volatile i32 0, i32* %alloca |
| 62 | call void @external_void_func_void() |
| 63 | ret void |
| 64 | } |
| 65 | |
| 66 | ; Should be able to copy incoming stack pointer directly to inner |
| 67 | ; call's stack pointer argument. |
| 68 | |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 69 | ; There is stack usage only because of the need to evict a VGPR for |
| 70 | ; spilling CSR SGPRs. |
| 71 | |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 72 | ; GCN-LABEL: {{^}}callee_no_stack_with_call: |
| 73 | ; GCN: s_waitcnt |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 74 | ; GCN: s_mov_b32 s5, s32 |
| 75 | ; GCN: buffer_store_dword v32, off, s[0:3], s5 offset:4 |
| 76 | ; GCN-DAG: v_writelane_b32 v32, s33, 0 |
| 77 | ; GCN-DAG: v_writelane_b32 v32, s34, 1 |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 78 | ; GCN: s_mov_b32 s33, s5 |
| 79 | ; GCN: s_swappc_b64 |
| 80 | ; GCN: s_mov_b32 s5, s33 |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 81 | |
| 82 | ; GCN-DAG: v_readlane_b32 s34, v32, 1 |
| 83 | ; GCN-DAG: v_readlane_b32 s33, v32, 0 |
| 84 | ; GCN: buffer_load_dword v32, off, s[0:3], s5 offset:4 |
| 85 | ; GCN: s_sub_u32 s32, s32, 0x200 |
| 86 | |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 87 | ; GCN: s_setpc_b64 |
| 88 | define void @callee_no_stack_with_call() #0 { |
| 89 | call void @external_void_func_void() |
| 90 | ret void |
| 91 | } |
| 92 | |
| 93 | declare void @external_void_func_void() #0 |
| 94 | |
Matt Arsenault | f28683c | 2017-06-26 17:53:59 +0000 | [diff] [blame] | 95 | attributes #0 = { nounwind } |
Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 96 | attributes #1 = { nounwind "no-frame-pointer-elim"="true" } |