// RUN: llvm-tblgen %s -gen-global-isel -optimize-match-table=true -I %p/../../../include -I %p/../Common | FileCheck %s

include "llvm/Target/Target.td"
include "GlobalISelEmitterCommon.td"

def InstThreeOperands : I<(outs GPR32:$dst), (ins GPR32:$src0, GPR32:$src1, GPR32:$src2), []>;

class ThreeOpFrag<SDPatternOperator op1, SDPatternOperator op2> : PatFrag<
  (ops node:$x, node:$y, node:$z),
  (op2 (op1 node:$x, node:$y), node:$z),
  [{
    return Operands[0] && Operands[1] && Operands[2];
  }]> {
  let PredicateCodeUsesOperands = 1;
  let GISelPredicateCode = [{
    return Operands[0] && Operands[1] && Operands[2];
  }];
}

def ptradd_commutative : PatFrags<(ops node:$src0, node:$src1),
  [(ptradd node:$src0, node:$src1), (ptradd node:$src1, node:$src0)]>;

// ptradd_commutative has two PatFrags, therefore there are two ways how the
// below pattern could match. Both require checking the C++ predicate, but that
// check cannot be hoisted because it relies on recorded operands, which differ
// between the PatFrags. This is inspired by a similar construct in the AMDGPU
// backend.

// CHECK: GIM_Try, /*On fail goto*//*Label 1*/
// CHECK: GIM_RecordNamedOperand
// CHECK: GIM_RecordNamedOperand
// CHECK: GIM_RecordNamedOperand
// CHECK: GIM_CheckCxxInsnPredicate
// CHECK: // Label 1
// CHECK: GIM_Try, /*On fail goto*//*Label 2*/
// CHECK: GIM_RecordNamedOperand
// CHECK: GIM_RecordNamedOperand
// CHECK: GIM_RecordNamedOperand
// CHECK: GIM_CheckCxxInsnPredicate
// CHECK: // Label 2
def : Pat <(i32 (ThreeOpFrag<shl, ptradd_commutative> GPR32:$src0, GPR32:$src1, GPR32:$src2)),
  (InstThreeOperands GPR32:$src0, GPR32:$src1, GPR32:$src2)> ;