blob: 2856212bc8993dfda77a2c3c52f100c6ac6fcad4 [file] [log] [blame]
Matt Arsenaulta9720c62016-06-20 17:51:32 +00001; RUN: llc -march=amdgcn -verify-machineinstrs < %s | FileCheck %s
Matt Arsenault7aad8fd2017-01-24 22:02:15 +00002; RUN: llc -march=amdgcn -mcpu=tonga -mattr=-flat-for-global -verify-machineinstrs < %s | FileCheck %s
Tom Stellard36930802014-12-03 04:08:00 +00003
Matt Arsenaulta9720c62016-06-20 17:51:32 +00004; CHECK-LABEL: {{^}}inline_asm:
Tom Stellard36930802014-12-03 04:08:00 +00005; CHECK: s_endpgm
6; CHECK: s_endpgm
Matt Arsenault3dbeefa2017-03-21 21:39:51 +00007define amdgpu_kernel void @inline_asm(i32 addrspace(1)* %out) {
Tom Stellard36930802014-12-03 04:08:00 +00008entry:
9 store i32 5, i32 addrspace(1)* %out
10 call void asm sideeffect "s_endpgm", ""()
11 ret void
12}
Nicolai Haehnlea61e5a82016-01-06 22:01:04 +000013
Matt Arsenaulta9720c62016-06-20 17:51:32 +000014; CHECK-LABEL: {{^}}inline_asm_shader:
Nicolai Haehnlea61e5a82016-01-06 22:01:04 +000015; CHECK: s_endpgm
16; CHECK: s_endpgm
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +000017define amdgpu_ps void @inline_asm_shader() {
Nicolai Haehnlea61e5a82016-01-06 22:01:04 +000018entry:
19 call void asm sideeffect "s_endpgm", ""()
20 ret void
21}
22
Tom Stellardbc4497b2016-02-12 23:45:29 +000023
24; CHECK: {{^}}branch_on_asm:
25; Make sure inline assembly is treted as divergent.
26; CHECK: s_mov_b32 s{{[0-9]+}}, 0
27; CHECK: s_and_saveexec_b64
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000028define amdgpu_kernel void @branch_on_asm(i32 addrspace(1)* %out) {
Tom Stellardbc4497b2016-02-12 23:45:29 +000029 %zero = call i32 asm "s_mov_b32 $0, 0", "=s"()
30 %cmp = icmp eq i32 %zero, 0
31 br i1 %cmp, label %if, label %endif
32
33if:
34 store i32 0, i32 addrspace(1)* %out
35 br label %endif
36
37endif:
38 ret void
39}
Tom Stellard9f2e00d2016-03-09 16:02:52 +000040
Matt Arsenaulta9720c62016-06-20 17:51:32 +000041; CHECK-LABEL: {{^}}v_cmp_asm:
Tom Stellard9f2e00d2016-03-09 16:02:52 +000042; CHECK: v_mov_b32_e32 [[SRC:v[0-9]+]], s{{[0-9]+}}
Matt Arsenault5d8eb252016-09-30 01:50:20 +000043; CHECK: v_cmp_ne_u32_e64 s{{\[}}[[MASK_LO:[0-9]+]]:[[MASK_HI:[0-9]+]]{{\]}}, 0, [[SRC]]
Tom Stellard9f2e00d2016-03-09 16:02:52 +000044; CHECK-DAG: v_mov_b32_e32 v[[V_LO:[0-9]+]], s[[MASK_LO]]
45; CHECK-DAG: v_mov_b32_e32 v[[V_HI:[0-9]+]], s[[MASK_HI]]
46; CHECK: buffer_store_dwordx2 v{{\[}}[[V_LO]]:[[V_HI]]{{\]}}
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000047define amdgpu_kernel void @v_cmp_asm(i64 addrspace(1)* %out, i32 %in) {
Matt Arsenault5d8eb252016-09-30 01:50:20 +000048 %sgpr = tail call i64 asm "v_cmp_ne_u32_e64 $0, 0, $1", "=s,v"(i32 %in)
Tom Stellard9f2e00d2016-03-09 16:02:52 +000049 store i64 %sgpr, i64 addrspace(1)* %out
50 ret void
51}
Matt Arsenaulta9720c62016-06-20 17:51:32 +000052
53; CHECK-LABEL: {{^}}code_size_inline_asm:
54; CHECK: codeLenInByte = 12
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000055define amdgpu_kernel void @code_size_inline_asm(i32 addrspace(1)* %out) {
Matt Arsenaulta9720c62016-06-20 17:51:32 +000056entry:
57 call void asm sideeffect "v_nop_e64", ""()
58 ret void
59}
60
61; All inlineasm instructions are assumed to be the maximum size
62; CHECK-LABEL: {{^}}code_size_inline_asm_small_inst:
63; CHECK: codeLenInByte = 12
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000064define amdgpu_kernel void @code_size_inline_asm_small_inst(i32 addrspace(1)* %out) {
Matt Arsenaulta9720c62016-06-20 17:51:32 +000065entry:
66 call void asm sideeffect "v_nop_e32", ""()
67 ret void
68}
69
70; CHECK-LABEL: {{^}}code_size_inline_asm_2_inst:
71; CHECK: codeLenInByte = 20
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000072define amdgpu_kernel void @code_size_inline_asm_2_inst(i32 addrspace(1)* %out) {
Matt Arsenaulta9720c62016-06-20 17:51:32 +000073entry:
74 call void asm sideeffect "
75 v_nop_e64
76 v_nop_e64
77 ", ""()
78 ret void
79}
Matt Arsenaultaccddac2016-07-01 23:26:50 +000080
81; CHECK-LABEL: {{^}}code_size_inline_asm_2_inst_extra_newline:
82; CHECK: codeLenInByte = 20
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000083define amdgpu_kernel void @code_size_inline_asm_2_inst_extra_newline(i32 addrspace(1)* %out) {
Matt Arsenaultaccddac2016-07-01 23:26:50 +000084entry:
85 call void asm sideeffect "
86 v_nop_e64
87
88 v_nop_e64
89 ", ""()
90 ret void
91}
92
93; CHECK-LABEL: {{^}}code_size_inline_asm_0_inst:
94; CHECK: codeLenInByte = 4
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000095define amdgpu_kernel void @code_size_inline_asm_0_inst(i32 addrspace(1)* %out) {
Matt Arsenaultaccddac2016-07-01 23:26:50 +000096entry:
97 call void asm sideeffect "", ""()
98 ret void
99}
100
101; CHECK-LABEL: {{^}}code_size_inline_asm_1_comment:
102; CHECK: codeLenInByte = 4
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000103define amdgpu_kernel void @code_size_inline_asm_1_comment(i32 addrspace(1)* %out) {
Matt Arsenaultaccddac2016-07-01 23:26:50 +0000104entry:
105 call void asm sideeffect "; comment", ""()
106 ret void
107}
108
109; CHECK-LABEL: {{^}}code_size_inline_asm_newline_1_comment:
110; CHECK: codeLenInByte = 4
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000111define amdgpu_kernel void @code_size_inline_asm_newline_1_comment(i32 addrspace(1)* %out) {
Matt Arsenaultaccddac2016-07-01 23:26:50 +0000112entry:
113 call void asm sideeffect "
114; comment", ""()
115 ret void
116}
117
118; CHECK-LABEL: {{^}}code_size_inline_asm_1_comment_newline:
119; CHECK: codeLenInByte = 4
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000120define amdgpu_kernel void @code_size_inline_asm_1_comment_newline(i32 addrspace(1)* %out) {
Matt Arsenaultaccddac2016-07-01 23:26:50 +0000121entry:
122 call void asm sideeffect "; comment
123", ""()
124 ret void
125}
126
127; CHECK-LABEL: {{^}}code_size_inline_asm_2_comments_line:
128; CHECK: codeLenInByte = 4
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000129define amdgpu_kernel void @code_size_inline_asm_2_comments_line(i32 addrspace(1)* %out) {
Matt Arsenaultaccddac2016-07-01 23:26:50 +0000130entry:
131 call void asm sideeffect "; first comment ; second comment", ""()
132 ret void
133}
134
135; CHECK-LABEL: {{^}}code_size_inline_asm_2_comments_line_nospace:
136; CHECK: codeLenInByte = 4
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000137define amdgpu_kernel void @code_size_inline_asm_2_comments_line_nospace(i32 addrspace(1)* %out) {
Matt Arsenaultaccddac2016-07-01 23:26:50 +0000138entry:
139 call void asm sideeffect "; first comment;second comment", ""()
140 ret void
141}
142
143; CHECK-LABEL: {{^}}code_size_inline_asm_mixed_comments0:
144; CHECK: codeLenInByte = 20
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000145define amdgpu_kernel void @code_size_inline_asm_mixed_comments0(i32 addrspace(1)* %out) {
Matt Arsenaultaccddac2016-07-01 23:26:50 +0000146entry:
147 call void asm sideeffect "; comment
148 v_nop_e64 ; inline comment
149; separate comment
150 v_nop_e64
151
152 ; trailing comment
153 ; extra comment
154 ", ""()
155 ret void
156}
157
158; CHECK-LABEL: {{^}}code_size_inline_asm_mixed_comments1:
159; CHECK: codeLenInByte = 20
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000160define amdgpu_kernel void @code_size_inline_asm_mixed_comments1(i32 addrspace(1)* %out) {
Matt Arsenaultaccddac2016-07-01 23:26:50 +0000161entry:
162 call void asm sideeffect "v_nop_e64 ; inline comment
163; separate comment
164 v_nop_e64
165
166 ; trailing comment
167 ; extra comment
168 ", ""()
169 ret void
170}
171
172; CHECK-LABEL: {{^}}code_size_inline_asm_mixed_comments_operands:
173; CHECK: codeLenInByte = 20
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000174define amdgpu_kernel void @code_size_inline_asm_mixed_comments_operands(i32 addrspace(1)* %out) {
Matt Arsenaultaccddac2016-07-01 23:26:50 +0000175entry:
176 call void asm sideeffect "; comment
177 v_add_i32_e32 v0, vcc, v1, v2 ; inline comment
178; separate comment
179 v_bfrev_b32_e32 v0, 1
180
181 ; trailing comment
182 ; extra comment
183 ", ""()
184 ret void
185}
Matt Arsenaultfe78ffb2017-04-11 22:29:19 +0000186
187; FIXME: Should not have intermediate sgprs
188; CHECK-LABEL: {{^}}i64_imm_input_phys_vgpr:
189; CHECK: s_mov_b32 s1, 0
190; CHECK: s_mov_b32 s0, 0x1e240
191; CHECK: v_mov_b32_e32 v0, s0
192; CHECK: v_mov_b32_e32 v1, s1
193; CHECK: use v[0:1]
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000194define amdgpu_kernel void @i64_imm_input_phys_vgpr() {
Matt Arsenaultfe78ffb2017-04-11 22:29:19 +0000195entry:
Matt Arsenault3c7581b2017-06-08 19:03:20 +0000196 call void asm sideeffect "; use $0 ", "{v[0:1]}"(i64 123456)
Matt Arsenaultfe78ffb2017-04-11 22:29:19 +0000197 ret void
198}
Matt Arsenault0d0d6c22017-04-12 21:58:23 +0000199
200; CHECK-LABEL: {{^}}i1_imm_input_phys_vgpr:
201; CHECK: v_mov_b32_e32 v0, -1{{$}}
202; CHECK: ; use v0
203define amdgpu_kernel void @i1_imm_input_phys_vgpr() {
204entry:
Matt Arsenault3c7581b2017-06-08 19:03:20 +0000205 call void asm sideeffect "; use $0 ", "{v0}"(i1 true)
Matt Arsenault0d0d6c22017-04-12 21:58:23 +0000206 ret void
207}
208
209; CHECK-LABEL: {{^}}i1_input_phys_vgpr:
210; CHECK: {{buffer|flat}}_load_ubyte [[LOAD:v[0-9]+]]
211; CHECK: v_and_b32_e32 [[LOAD]], 1, [[LOAD]]
212; CHECK-NEXT: v_cmp_eq_u32_e32 vcc, 1, [[LOAD]]
213; CHECK-NEXT: v_cndmask_b32_e64 v0, 0, -1, vcc
214; CHECK: ; use v0
215define amdgpu_kernel void @i1_input_phys_vgpr() {
216entry:
217 %val = load i1, i1 addrspace(1)* undef
Matt Arsenault3c7581b2017-06-08 19:03:20 +0000218 call void asm sideeffect "; use $0 ", "{v0}"(i1 %val)
Matt Arsenault0d0d6c22017-04-12 21:58:23 +0000219 ret void
220}
221
222; FIXME: Should be scheduled to shrink vcc
223; CHECK-LABEL: {{^}}i1_input_phys_vgpr_x2:
224; CHECK: v_cmp_eq_u32_e32 vcc, 1, v0
Matt Arsenault0d0d6c22017-04-12 21:58:23 +0000225; CHECK: v_cndmask_b32_e64 v0, 0, -1, vcc
Matt Arsenault9aa45f02017-07-06 20:57:05 +0000226; CHECK: v_cmp_eq_u32_e32 vcc, 1, v1
227; CHECK: v_cndmask_b32_e64 v1, 0, -1, vcc
Matt Arsenault0d0d6c22017-04-12 21:58:23 +0000228define amdgpu_kernel void @i1_input_phys_vgpr_x2() {
229entry:
230 %val0 = load volatile i1, i1 addrspace(1)* undef
231 %val1 = load volatile i1, i1 addrspace(1)* undef
Matt Arsenault3c7581b2017-06-08 19:03:20 +0000232 call void asm sideeffect "; use $0 $1 ", "{v0}, {v1}"(i1 %val0, i1 %val1)
Matt Arsenault0d0d6c22017-04-12 21:58:23 +0000233 ret void
234}
Matt Arsenault2a803692017-04-29 01:26:34 +0000235
236; CHECK-LABEL: {{^}}muliple_def_phys_vgpr:
237; CHECK: ; def v0
238; CHECK: v_mov_b32_e32 v1, v0
239; CHECK: ; def v0
240; CHECK: v_lshlrev_b32_e32 v{{[0-9]+}}, v0, v1
241define amdgpu_kernel void @muliple_def_phys_vgpr() {
242entry:
Matt Arsenault3c7581b2017-06-08 19:03:20 +0000243 %def0 = call i32 asm sideeffect "; def $0 ", "={v0}"()
244 %def1 = call i32 asm sideeffect "; def $0 ", "={v0}"()
Matt Arsenault2a803692017-04-29 01:26:34 +0000245 %add = shl i32 %def0, %def1
246 store i32 %add, i32 addrspace(1)* undef
247 ret void
248}
Matt Arsenault36cd1852017-08-09 20:09:35 +0000249
250; CHECK-LABEL: {{^}}asm_constraint_c_n:
251; CHECK: s_trap 10{{$}}
252define amdgpu_kernel void @asm_constraint_c_n() {
253entry:
254 tail call void asm sideeffect "s_trap ${0:c}", "n"(i32 10) #1
255 ret void
256}
257
258; CHECK-LABEL: {{^}}asm_constraint_n_n:
259; CHECK: s_trap -10{{$}}
260define amdgpu_kernel void @asm_constraint_n_n() {
261entry:
262 tail call void asm sideeffect "s_trap ${0:n}", "n"(i32 10) #1
263 ret void
264}