blob: 5afcafc781f4c7328f22cdba1001f1fa2cdfe487 [file] [log] [blame]
Matt Arsenaultfcc213f2017-09-20 03:20:09 +00001; RUN: llc -amdgpu-scalarize-global-loads=false -march=amdgcn -mcpu=kaveri -mtriple=amdgcn--amdhsa -verify-machineinstrs < %s | FileCheck -enable-var-scope -check-prefixes=GCN,CI,CIVI %s
2; RUN: llc -amdgpu-scalarize-global-loads=false -march=amdgcn -mcpu=tonga -mtriple=amdgcn--amdhsa -verify-machineinstrs < %s | FileCheck -enable-var-scope -check-prefixes=GCN,VI,CIVI,GFX89 %s
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +00003; RUN: llc -amdgpu-scalarize-global-loads=false -march=amdgcn -mcpu=gfx900 -mtriple=amdgcn--amdhsa -verify-machineinstrs < %s | FileCheck -enable-var-scope -check-prefixes=GCN,GFX89,GFX9 %s
Matt Arsenaultc79dc702016-11-15 02:25:28 +00004
5; FIXME: Should be able to do scalar op
Matt Arsenaulteb522e62017-02-27 22:15:25 +00006; GCN-LABEL: {{^}}s_fneg_f16:
Matt Arsenault3dbeefa2017-03-21 21:39:51 +00007define amdgpu_kernel void @s_fneg_f16(half addrspace(1)* %out, half %in) #0 {
Matt Arsenaulteb522e62017-02-27 22:15:25 +00008 %fneg = fsub half -0.0, %in
Matt Arsenaultc79dc702016-11-15 02:25:28 +00009 store half %fneg, half addrspace(1)* %out
10 ret void
11}
12
13; FIXME: Should be able to use bit operations when illegal type as
14; well.
15
Matt Arsenaulteb522e62017-02-27 22:15:25 +000016; GCN-LABEL: {{^}}v_fneg_f16:
Matt Arsenault4e309b02017-07-29 01:03:53 +000017; GCN: {{flat|global}}_load_ushort [[VAL:v[0-9]+]],
Matt Arsenault9dba9bd2017-02-02 02:27:04 +000018; GCN: v_xor_b32_e32 [[XOR:v[0-9]+]], 0x8000, [[VAL]]
Matt Arsenaultc79dc702016-11-15 02:25:28 +000019; VI: flat_store_short v{{\[[0-9]+:[0-9]+\]}}, [[XOR]]
Matt Arsenault9dba9bd2017-02-02 02:27:04 +000020; SI: buffer_store_short [[XOR]]
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000021define amdgpu_kernel void @v_fneg_f16(half addrspace(1)* %out, half addrspace(1)* %in) #0 {
Matt Arsenaulteb522e62017-02-27 22:15:25 +000022 %tid = call i32 @llvm.amdgcn.workitem.id.x()
23 %gep.in = getelementptr inbounds half, half addrspace(1)* %in, i32 %tid
24 %gep.out = getelementptr inbounds half, half addrspace(1)* %in, i32 %tid
25 %val = load half, half addrspace(1)* %gep.in, align 2
26 %fneg = fsub half -0.0, %val
27 store half %fneg, half addrspace(1)* %gep.out
Matt Arsenaultc79dc702016-11-15 02:25:28 +000028 ret void
29}
30
Matt Arsenault90083d32018-06-07 09:54:49 +000031; GCN-LABEL: {{^}}s_fneg_free_f16:
32; GCN: s_load_dword [[NEG_VALUE:s[0-9]+]],
Matt Arsenault697300b2018-06-07 10:15:20 +000033; GCN: s_xor_b32 [[XOR:s[0-9]+]], [[NEG_VALUE]], 0x8000{{$}}
34; GCN: v_mov_b32_e32 [[V_XOR:v[0-9]+]], [[XOR]]
35; GCN: {{flat|global}}_store_short v{{\[[0-9]+:[0-9]+\]}}, [[V_XOR]]
Matt Arsenault90083d32018-06-07 09:54:49 +000036define amdgpu_kernel void @s_fneg_free_f16(half addrspace(1)* %out, i16 %in) #0 {
Matt Arsenaultc79dc702016-11-15 02:25:28 +000037 %bc = bitcast i16 %in to half
38 %fsub = fsub half -0.0, %bc
39 store half %fsub, half addrspace(1)* %out
40 ret void
41}
42
Matt Arsenaulteb522e62017-02-27 22:15:25 +000043; GCN-LABEL: {{^}}v_fneg_fold_f16:
Matt Arsenault4e309b02017-07-29 01:03:53 +000044; GCN: {{flat|global}}_load_ushort [[NEG_VALUE:v[0-9]+]]
Matt Arsenaultc79dc702016-11-15 02:25:28 +000045
Matt Arsenault9dba9bd2017-02-02 02:27:04 +000046; CI-DAG: v_cvt_f32_f16_e32 [[CVT_VAL:v[0-9]+]], [[NEG_VALUE]]
47; CI-DAG: v_cvt_f32_f16_e64 [[NEG_CVT0:v[0-9]+]], -[[NEG_VALUE]]
Matt Arsenault6c29c5a2017-07-10 19:53:57 +000048; CI: v_mul_f32_e32 [[MUL:v[0-9]+]], [[NEG_CVT0]], [[CVT_VAL]]
Matt Arsenaultc79dc702016-11-15 02:25:28 +000049; CI: v_cvt_f16_f32_e32 [[CVT1:v[0-9]+]], [[MUL]]
50; CI: flat_store_short v{{\[[0-9]+:[0-9]+\]}}, [[CVT1]]
51
52; VI-NOT: [[NEG_VALUE]]
53; VI: v_mul_f16_e64 v{{[0-9]+}}, -[[NEG_VALUE]], [[NEG_VALUE]]
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000054define amdgpu_kernel void @v_fneg_fold_f16(half addrspace(1)* %out, half addrspace(1)* %in) #0 {
Matt Arsenaultc79dc702016-11-15 02:25:28 +000055 %val = load half, half addrspace(1)* %in
56 %fsub = fsub half -0.0, %val
57 %fmul = fmul half %fsub, %val
58 store half %fmul, half addrspace(1)* %out
59 ret void
60}
Matt Arsenaulteb522e62017-02-27 22:15:25 +000061
Matt Arsenaulteb522e62017-02-27 22:15:25 +000062; GCN-LABEL: {{^}}s_fneg_v2f16:
Matt Arsenault697300b2018-06-07 10:15:20 +000063; GCN: s_xor_b32 s{{[0-9]+}}, s{{[0-9]+}}, 0x80008000
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000064define amdgpu_kernel void @s_fneg_v2f16(<2 x half> addrspace(1)* %out, <2 x half> %in) #0 {
Matt Arsenaulteb522e62017-02-27 22:15:25 +000065 %fneg = fsub <2 x half> <half -0.0, half -0.0>, %in
66 store <2 x half> %fneg, <2 x half> addrspace(1)* %out
67 ret void
68}
69
Matt Arsenaulte9524f12018-06-06 21:28:11 +000070; GCN-LABEL: {{^}}s_fneg_v2f16_nonload:
Matt Arsenault697300b2018-06-07 10:15:20 +000071; GCN: s_xor_b32 s{{[0-9]+}}, s{{[0-9]+}}, 0x80008000
Matt Arsenaulte9524f12018-06-06 21:28:11 +000072define amdgpu_kernel void @s_fneg_v2f16_nonload(<2 x half> addrspace(1)* %out) #0 {
73 %in = call i32 asm sideeffect "; def $0", "=s"()
74 %in.bc = bitcast i32 %in to <2 x half>
75 %fneg = fsub <2 x half> <half -0.0, half -0.0>, %in.bc
76 store <2 x half> %fneg, <2 x half> addrspace(1)* %out
77 ret void
78}
79
Matt Arsenaulteb522e62017-02-27 22:15:25 +000080; GCN-LABEL: {{^}}v_fneg_v2f16:
Matt Arsenault4e309b02017-07-29 01:03:53 +000081; GCN: {{flat|global}}_load_dword [[VAL:v[0-9]+]]
Matt Arsenaulteb522e62017-02-27 22:15:25 +000082; GCN: v_xor_b32_e32 v{{[0-9]+}}, 0x80008000, [[VAL]]
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000083define amdgpu_kernel void @v_fneg_v2f16(<2 x half> addrspace(1)* %out, <2 x half> addrspace(1)* %in) #0 {
Matt Arsenaulteb522e62017-02-27 22:15:25 +000084 %tid = call i32 @llvm.amdgcn.workitem.id.x()
85 %gep.in = getelementptr inbounds <2 x half>, <2 x half> addrspace(1)* %in, i32 %tid
86 %gep.out = getelementptr inbounds <2 x half>, <2 x half> addrspace(1)* %in, i32 %tid
87 %val = load <2 x half>, <2 x half> addrspace(1)* %gep.in, align 2
88 %fneg = fsub <2 x half> <half -0.0, half -0.0>, %val
89 store <2 x half> %fneg, <2 x half> addrspace(1)* %gep.out
90 ret void
91}
92
93; GCN-LABEL: {{^}}fneg_free_v2f16:
94; GCN: s_load_dword [[VAL:s[0-9]+]]
Matt Arsenault697300b2018-06-07 10:15:20 +000095; GCN: s_xor_b32 s{{[0-9]+}}, [[VAL]], 0x80008000
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000096define amdgpu_kernel void @fneg_free_v2f16(<2 x half> addrspace(1)* %out, i32 %in) #0 {
Matt Arsenaulteb522e62017-02-27 22:15:25 +000097 %bc = bitcast i32 %in to <2 x half>
98 %fsub = fsub <2 x half> <half -0.0, half -0.0>, %bc
99 store <2 x half> %fsub, <2 x half> addrspace(1)* %out
100 ret void
101}
102
103; GCN-LABEL: {{^}}v_fneg_fold_v2f16:
Matt Arsenault4e309b02017-07-29 01:03:53 +0000104; GCN: {{flat|global}}_load_dword [[VAL:v[0-9]+]]
Matt Arsenaulteb522e62017-02-27 22:15:25 +0000105
Matt Arsenaulte9524f12018-06-06 21:28:11 +0000106; CI: v_xor_b32_e32 [[FNEG:v[0-9]+]], 0x80008000, [[VAL]]
107; CI: v_lshrrev_b32_e32
108; CI: v_lshrrev_b32_e32
109
110; CI: v_cvt_f32_f16_e32 v{{[0-9]+}}, v{{[0-9]+}}
111; CI: v_cvt_f32_f16_e32 v{{[0-9]+}}, v{{[0-9]+}}
Matt Arsenaulteb522e62017-02-27 22:15:25 +0000112; CI: v_mul_f32_e32 v{{[0-9]+}}, v{{[0-9]+}}, v{{[0-9]+}}
113; CI: v_cvt_f16_f32
114; CI: v_mul_f32_e32 v{{[0-9]+}}, v{{[0-9]+}}, v{{[0-9]+}}
115; CI: v_cvt_f16_f32
116
Sam Kolton5f7f32c2017-12-04 16:22:32 +0000117; VI: v_mul_f16_sdwa v{{[0-9]+}}, -v{{[0-9]+}}, v{{[0-9]+}} dst_sel:WORD_1 dst_unused:UNUSED_PAD src0_sel:WORD_1 src1_sel:WORD_1
Matt Arsenaulteb522e62017-02-27 22:15:25 +0000118; VI: v_mul_f16_e64 v{{[0-9]+}}, -v{{[0-9]+}}, v{{[0-9]+}}
119
120; GFX9: v_pk_mul_f16 v{{[0-9]+}}, v{{[0-9]+}}, v{{[0-9]+}} neg_lo:[1,0] neg_hi:[1,0]{{$}}
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000121define amdgpu_kernel void @v_fneg_fold_v2f16(<2 x half> addrspace(1)* %out, <2 x half> addrspace(1)* %in) #0 {
Matt Arsenaulteb522e62017-02-27 22:15:25 +0000122 %val = load <2 x half>, <2 x half> addrspace(1)* %in
123 %fsub = fsub <2 x half> <half -0.0, half -0.0>, %val
124 %fmul = fmul <2 x half> %fsub, %val
125 store <2 x half> %fmul, <2 x half> addrspace(1)* %out
126 ret void
127}
128
Matt Arsenaultbf5482e2017-05-11 17:26:25 +0000129; GCN-LABEL: {{^}}v_extract_fneg_fold_v2f16:
Matt Arsenault4e309b02017-07-29 01:03:53 +0000130; GCN-DAG: {{flat|global}}_load_dword [[VAL:v[0-9]+]]
Matt Arsenaultbf5482e2017-05-11 17:26:25 +0000131; CI-DAG: v_mul_f32_e32 v{{[0-9]+}}, -4.0, v{{[0-9]+}}
132; CI-DAG: v_sub_f32_e32 v{{[0-9]+}}, 2.0, v{{[0-9]+}}
133
Matt Arsenaultbf5482e2017-05-11 17:26:25 +0000134; GFX89-DAG: v_mul_f16_e32 v{{[0-9]+}}, -4.0, [[VAL]]
Sam Kolton3c4933f2017-06-22 06:26:41 +0000135; GFX89-DAG: v_mov_b32_e32 [[CONST2:v[0-9]+]], 0x4000
136; GFX89-DAG: v_sub_f16_sdwa v{{[0-9]+}}, [[CONST2]], [[VAL]] dst_sel:DWORD dst_unused:UNUSED_PAD src0_sel:DWORD src1_sel:WORD_1
137
Matt Arsenaultbf5482e2017-05-11 17:26:25 +0000138define amdgpu_kernel void @v_extract_fneg_fold_v2f16(<2 x half> addrspace(1)* %in) #0 {
139 %val = load <2 x half>, <2 x half> addrspace(1)* %in
140 %fneg = fsub <2 x half> <half -0.0, half -0.0>, %val
141 %elt0 = extractelement <2 x half> %fneg, i32 0
142 %elt1 = extractelement <2 x half> %fneg, i32 1
143
144 %fmul0 = fmul half %elt0, 4.0
145 %fadd1 = fadd half %elt1, 2.0
146 store volatile half %fmul0, half addrspace(1)* undef
147 store volatile half %fadd1, half addrspace(1)* undef
148 ret void
149}
150
151; GCN-LABEL: {{^}}v_extract_fneg_no_fold_v2f16:
Matt Arsenault4e309b02017-07-29 01:03:53 +0000152; GCN: {{flat|global}}_load_dword [[VAL:v[0-9]+]]
Matt Arsenaultbf5482e2017-05-11 17:26:25 +0000153; GCN: v_xor_b32_e32 [[NEG:v[0-9]+]], 0x80008000, [[VAL]]
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000154; CIVI: v_lshrrev_b32_e32 [[ELT1:v[0-9]+]], 16, [[NEG]]
155; GFX9: global_store_short_d16_hi v{{\[[0-9]+:[0-9]+\]}}, [[NEG]], off
Matt Arsenaultbf5482e2017-05-11 17:26:25 +0000156define amdgpu_kernel void @v_extract_fneg_no_fold_v2f16(<2 x half> addrspace(1)* %in) #0 {
157 %val = load <2 x half>, <2 x half> addrspace(1)* %in
158 %fneg = fsub <2 x half> <half -0.0, half -0.0>, %val
159 %elt0 = extractelement <2 x half> %fneg, i32 0
160 %elt1 = extractelement <2 x half> %fneg, i32 1
161 store volatile half %elt0, half addrspace(1)* undef
162 store volatile half %elt1, half addrspace(1)* undef
163 ret void
164}
165
Matt Arsenaulteb522e62017-02-27 22:15:25 +0000166declare i32 @llvm.amdgcn.workitem.id.x() #1
167
168attributes #0 = { nounwind }
169attributes #1 = { nounwind readnone }