[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AMDGPU / fneg.ll
blob9a8a8c08db88841d31390864885a4e560b31bc29
1 ; RUN: llc -march=amdgcn -mcpu=tahiti -verify-machineinstrs < %s | FileCheck -enable-var-scope -check-prefix=SI -check-prefix=GCN -check-prefix=FUNC %s
2 ; RUN: llc -march=amdgcn -mcpu=tonga -mattr=-flat-for-global -verify-machineinstrs < %s | FileCheck -enable-var-scope -check-prefix=VI -check-prefix=GCN -check-prefix=FUNC %s
3 ; RUN: llc -march=r600 -mcpu=redwood < %s | FileCheck -enable-var-scope -check-prefix=R600 -check-prefix=FUNC %s
5 ; FUNC-LABEL: {{^}}s_fneg_f32:
6 ; R600: -PV
8 ; GCN: s_load_dword [[VAL:s[0-9]+]]
9 ; GCN: s_xor_b32 [[NEG_VAL:s[0-9]+]], [[VAL]], 0x80000000
10 ; GCN: v_mov_b32_e32 v{{[0-9]+}}, [[NEG_VAL]]
11 define amdgpu_kernel void @s_fneg_f32(float addrspace(1)* %out, float %in) {
12   %fneg = fsub float -0.000000e+00, %in
13   store float %fneg, float addrspace(1)* %out
14   ret void
17 ; FUNC-LABEL: {{^}}s_fneg_v2f32:
18 ; R600: -PV
19 ; R600: -PV
21 ; GCN: s_brev_b32 [[SIGNBIT:s[0-9]+]], 1
22 ; GCN: s_xor_b32
23 ; GCN: s_xor_b32
24 define amdgpu_kernel void @s_fneg_v2f32(<2 x float> addrspace(1)* nocapture %out, <2 x float> %in) {
25   %fneg = fsub <2 x float> <float -0.000000e+00, float -0.000000e+00>, %in
26   store <2 x float> %fneg, <2 x float> addrspace(1)* %out
27   ret void
30 ; FUNC-LABEL: {{^}}s_fneg_v4f32:
31 ; R600: -PV
32 ; R600: -T
33 ; R600: -PV
34 ; R600: -PV
36 ; GCN: s_xor_b32
37 ; GCN: s_xor_b32
38 ; GCN: s_xor_b32
39 ; GCN: s_xor_b32
40 define amdgpu_kernel void @s_fneg_v4f32(<4 x float> addrspace(1)* nocapture %out, <4 x float> %in) {
41   %fneg = fsub <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>, %in
42   store <4 x float> %fneg, <4 x float> addrspace(1)* %out
43   ret void
46 ; DAGCombiner will transform:
47 ; (fneg (f32 bitcast (i32 a))) => (f32 bitcast (xor (i32 a), 0x80000000))
48 ; unless the target returns true for isNegFree()
50 ; FUNC-LABEL: {{^}}fsub0_f32:
52 ; GCN: v_sub_f32_e64 v{{[0-9]}}, 0, s{{[0-9]+$}}
54 ; R600-NOT: XOR
55 ; R600: -KC0[2].Z
56 define amdgpu_kernel void @fsub0_f32(float addrspace(1)* %out, i32 %in) {
57   %bc = bitcast i32 %in to float
58   %fsub = fsub float 0.0, %bc
59   store float %fsub, float addrspace(1)* %out
60   ret void
62 ; FUNC-LABEL: {{^}}fneg_free_f32:
63 ; SI: s_load_dword [[NEG_VALUE:s[0-9]+]], s[{{[0-9]+:[0-9]+}}], 0xb
64 ; VI: s_load_dword [[NEG_VALUE:s[0-9]+]], s[{{[0-9]+:[0-9]+}}], 0x2c
66 ; GCN: s_xor_b32 [[RES:s[0-9]+]], [[NEG_VALUE]], 0x80000000
67 ; GCN: v_mov_b32_e32 [[V_RES:v[0-9]+]], [[RES]]
68 ; GCN: buffer_store_dword [[V_RES]]
70 ; R600-NOT: XOR
71 ; R600: -PV.W
72 define amdgpu_kernel void @fneg_free_f32(float addrspace(1)* %out, i32 %in) {
73   %bc = bitcast i32 %in to float
74   %fsub = fsub float -0.0, %bc
75   store float %fsub, float addrspace(1)* %out
76   ret void
79 ; FUNC-LABEL: {{^}}fneg_fold_f32:
80 ; SI: s_load_dword [[NEG_VALUE:s[0-9]+]], s[{{[0-9]+:[0-9]+}}], 0xb
81 ; VI: s_load_dword [[NEG_VALUE:s[0-9]+]], s[{{[0-9]+:[0-9]+}}], 0x2c
82 ; GCN-NOT: xor
83 ; GCN: v_mul_f32_e64 v{{[0-9]+}}, -[[NEG_VALUE]], [[NEG_VALUE]]
84 define amdgpu_kernel void @fneg_fold_f32(float addrspace(1)* %out, float %in) {
85   %fsub = fsub float -0.0, %in
86   %fmul = fmul float %fsub, %in
87   store float %fmul, float addrspace(1)* %out
88   ret void
91 ; Make sure we turn some integer operations back into fabs
92 ; FUNC-LABEL: {{^}}bitpreserve_fneg_f32:
93 ; GCN: v_mul_f32_e64 v{{[0-9]+}}, s{{[0-9]+}}, -4.0
94 define amdgpu_kernel void @bitpreserve_fneg_f32(float addrspace(1)* %out, float %in) {
95   %in.bc = bitcast float %in to i32
96   %int.abs = xor i32 %in.bc, 2147483648
97   %bc = bitcast i32 %int.abs to float
98   %fadd = fmul float %bc, 4.0
99   store float %fadd, float addrspace(1)* %out
100   ret void