selection dag sucks

Author: makslevental

llvm/lib/Target/AMDGPU/AMDGPUISelDAGToDAG.cpp

@@ -793,7 +793,7 @@ void AMDGPUDAGToDAGISel::Select(SDNode *N) {
   }
   }
 
-  if (N->getOpcode() == ISD::FADD) {
+  if (N->getOpcode() == ISD::FADD && false) {
     llvm::dbgs() << "N->dump()\n";
     N->dump();
     MySelectCode(N);
@@ -1717,6 +1717,11 @@ bool AMDGPUDAGToDAGISel::SelectBUFSOffset(SDValue ByteOffsetNode,
   return true;
 }
 
+bool AMDGPUDAGToDAGISel::MaxsComplexPatternPackedFP(SDNode *N) const {
+  N->dump();
+  return false;
+}
+
 // Find a load or store from corresponding pattern root.
 // Roots may be build_vector, bitconvert or their combinations.
 static MemSDNode* findMemSDNode(SDNode *N) {

llvm/lib/Target/AMDGPU/AMDGPUISelDAGToDAG.h

@@ -152,6 +152,7 @@ class AMDGPUDAGToDAGISel : public SelectionDAGISel {
   bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &Soffset,
                          SDValue &Offset) const;
   bool SelectBUFSOffset(SDValue Addr, SDValue &SOffset) const;
+  bool MaxsComplexPatternPackedFP(SDNode *Parent, SDValue Addr, SDValue &SOffset) const;
 
   bool SelectFlatOffsetImpl(SDNode *N, SDValue Addr, SDValue &VAddr,
                             SDValue &Offset, uint64_t FlatVariant) const;
@@ -276,6 +277,8 @@ class AMDGPUDAGToDAGISel : public SelectionDAGISel {
   void SelectWAVE_ADDRESS(SDNode *N);
   void SelectSTACKRESTORE(SDNode *N);
 
+  bool MaxsComplexPatternPackedFP(SDNode *N) const;
+
 protected:
   // Include the pieces autogenerated from the target description.
 #include "AMDGPUGenDAGISel.inc"

llvm/lib/Target/AMDGPU/VOP3PInstructions.td

@@ -1144,11 +1144,16 @@ def MAIInstInfoTable : GenericTable {
   let PrimaryKeyName = "getMAIInstInfoHelper";
 }
 
+def my_any_fadd : PatFrags<(ops node:$lhs, node:$rhs),
+                              [(strict_fadd node:$lhs, node:$rhs), (fadd node:$lhs, node:$rhs)]> {
+    let PredicateCode = [{ return MaxsComplexPatternPackedFP(N); }];
+}
+
 let isCommutable = 1, isReMaterializable = 1 in {
   let SubtargetPredicate = HasPackedFP32Ops in {
     defm V_PK_FMA_F32 : VOP3PInst<"v_pk_fma_f32", VOP3P_Profile<VOP_V2F32_V2F32_V2F32_V2F32, VOP3_PACKED>, any_fma>;
     defm V_PK_MUL_F32 : VOP3PInst<"v_pk_mul_f32", VOP3P_Profile<VOP_V2F32_V2F32_V2F32, VOP3_PACKED>, any_fmul>;
-    defm V_PK_ADD_F32 : VOP3PInst<"v_pk_add_f32", VOP3P_Profile<VOP_V2F32_V2F32_V2F32, VOP3_PACKED>, any_fadd>;
+    defm V_PK_ADD_F32 : VOP3PInst<"v_pk_add_f32", VOP3P_Profile<VOP_V2F32_V2F32_V2F32, VOP3_PACKED>, my_any_fadd>;
   } // End SubtargetPredicate = HasPackedFP32Ops
 
   let SubtargetPredicate = HasPkMovB32, isAsCheapAsAMove = 1 in