llvm/test/TableGen/dag-isel-complexpattern.td

   1 // RUN: llvm-tblgen -gen-dag-isel -I %p/../../include %s | FileCheck %s
   2
   3 include "llvm/Target/Target.td"
   4
   5 def TestTargetInstrInfo : InstrInfo;
   6
   7 def TestTarget : Target {
   8   let InstructionSet = TestTargetInstrInfo;
   9 }
  10
  11 def REG32 : Register<"REG32">;
  12 def REG64 : Register<"REG64">;
  13 def GPR32 : RegisterClass<"TestTarget", [i32], 32, (add REG32)>;
  14 def GPR64 : RegisterClass<"TestTarget", [i64], 64, (add REG64)>;
  15
  16 def CP32 : ComplexPattern<i32, 0, "SelectCP32">;
  17
  18 // Without using ComplexPattern's type, this pattern would be ambiguous as to
  19 // what integer type is being used, since both i32 and i64 are legal, and used
  20 // to erroneously happen, whilst using a leaf value like CP32:$a/b instead of
  21 // (CP32) still worked.
  22 def INSTR : Instruction {
  23 // CHECK-LABEL: OPC_CheckOpcode, TARGET_VAL(ISD::STORE)
  24 // CHECK: OPC_CheckType, MVT::i32
  25 // CHECK: OPC_CheckComplexPat, /*CP*/0, /*#*/1, // SelectCP32:$
  26 // CHECK: Src: (st (add:{ *:[i32] } (CP32:{ *:[i32] }), (CP32:{ *:[i32] })), i64:{ *:[i64] }:$addr)
  27   let OutOperandList = (outs);
  28   let InOperandList = (ins GPR64:$addr);
  29   let Pattern = [(store (add (CP32), (CP32)), i64:$addr)];
  30 }