1; RUN: llc -march=amdgcn -mcpu=SI -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s 2 3; FUNC-LABEL: {{^}}fneg_f64: 4; SI: v_xor_b32 5define void @fneg_f64(double addrspace(1)* %out, double %in) { 6 %fneg = fsub double -0.000000e+00, %in 7 store double %fneg, double addrspace(1)* %out 8 ret void 9} 10 11; FUNC-LABEL: {{^}}fneg_v2f64: 12; SI: v_xor_b32 13; SI: v_xor_b32 14define void @fneg_v2f64(<2 x double> addrspace(1)* nocapture %out, <2 x double> %in) { 15 %fneg = fsub <2 x double> <double -0.000000e+00, double -0.000000e+00>, %in 16 store <2 x double> %fneg, <2 x double> addrspace(1)* %out 17 ret void 18} 19 20; FUNC-LABEL: {{^}}fneg_v4f64: 21; R600: -PV 22; R600: -T 23; R600: -PV 24; R600: -PV 25 26; SI: v_xor_b32 27; SI: v_xor_b32 28; SI: v_xor_b32 29; SI: v_xor_b32 30define void @fneg_v4f64(<4 x double> addrspace(1)* nocapture %out, <4 x double> %in) { 31 %fneg = fsub <4 x double> <double -0.000000e+00, double -0.000000e+00, double -0.000000e+00, double -0.000000e+00>, %in 32 store <4 x double> %fneg, <4 x double> addrspace(1)* %out 33 ret void 34} 35 36; DAGCombiner will transform: 37; (fneg (f64 bitcast (i64 a))) => (f64 bitcast (xor (i64 a), 0x80000000)) 38; unless the target returns true for isNegFree() 39 40; FUNC-LABEL: {{^}}fneg_free_f64: 41; FIXME: Unnecessary copy to VGPRs 42; SI: v_add_f64 {{v\[[0-9]+:[0-9]+\]}}, {{v\[[0-9]+:[0-9]+\]}}, -{{v\[[0-9]+:[0-9]+\]$}} 43define void @fneg_free_f64(double addrspace(1)* %out, i64 %in) { 44 %bc = bitcast i64 %in to double 45 %fsub = fsub double 0.0, %bc 46 store double %fsub, double addrspace(1)* %out 47 ret void 48} 49 50; SI-LABEL: {{^}}fneg_fold_f64: 51; SI: s_load_dwordx2 [[NEG_VALUE:s\[[0-9]+:[0-9]+\]]], {{s\[[0-9]+:[0-9]+\]}}, 0xb 52; SI-NOT: xor 53; SI: v_mul_f64 {{v\[[0-9]+:[0-9]+\]}}, -[[NEG_VALUE]], [[NEG_VALUE]] 54define void @fneg_fold_f64(double addrspace(1)* %out, double %in) { 55 %fsub = fsub double -0.0, %in 56 %fmul = fmul double %fsub, %in 57 store double %fmul, double addrspace(1)* %out 58 ret void 59} 60