[llvm] [AMDGPU] Improve codegen for copysign(x, fneg(y)) (PR #207178)

[Jay Foad via llvm-commits]

================
@@ -2938,11 +2954,31 @@ def : AMDGPUPat <
   (S_AND_B32 (S_MOV_B32 (i32 0x80000000)), $src1)
 >;
 
+def : AMDGPUPat <
+  (DivergentBinFrag<fcopysign> (f32 fpimm_zero), (fneg f32:$src1)),
+  (V_BFI_B32_e64 VGPR_32:$src1, (i32 0), (S_MOV_B32 (i32 0x80000000)))
+>;
+
 def : AMDGPUPat <
   (fcopysign (f32 fpimm_pos_zero), (f32 VGPR_32:$src1)),
   (V_AND_B32_e32 (S_MOV_B32 (i32 0x80000000)), $src1)
 >;
 
+def : AMDGPUPat <
+  (DivergentBinFrag<and> (extractelt (v2i32 (bitconvert (f64 (fneg f64:$src1)))), (i32 1)),
+       (i32 -2147483648)),
+  (V_BFI_B32_e64 (i32 (EXTRACT_SUBREG VReg_64:$src1, sub1)),
+                 (i32 0), (S_MOV_B32 (i32 0x80000000)))
+>;
+
+
+def : AMDGPUPat <
+  (DivergentBinFrag<and> (i32 (bitconvert (extractelt (v2f32 (bitconvert (fneg f64:$src1))), (i32 1)))),
----------------
jayfoad wrote:

I wonder if there should be some generic DAG combine:
```
(i32 (bitconvert (extractelt (v2f32 (bitconvert (f64 $src1))), (i32 1)))) --> (extractelt (v2i32 (bitconvert (f64 $src1))), (i32 1))
```

https://github.com/llvm/llvm-project/pull/207178