1// RUN: llvm-tblgen -gen-dag-isel -I %p/../../include %s | FileCheck %s 2 3include "llvm/Target/Target.td" 4 5def TestTargetInstrInfo : InstrInfo; 6 7def TestTarget : Target { 8 let InstructionSet = TestTargetInstrInfo; 9} 10 11def REG32 : Register<"REG32">; 12def REG64 : Register<"REG64">; 13def GPR32 : RegisterClass<"TestTarget", [i32], 32, (add REG32)>; 14def GPR64 : RegisterClass<"TestTarget", [i64], 64, (add REG64)>; 15 16def 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. 22def INSTR : Instruction { 23// CHECK-LABEL: OPC_CheckOpcode, TARGET_VAL(ISD::STORE) 24// CHECK: OPC_CheckTypeI32 25// CHECK: OPC_CheckComplexPat0, /*#*/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} 31