llvm/llvm/test/TableGen/invalid-type-cast-patfrags.td

// RUN: not llvm-tblgen -gen-dag-isel -I %p/../../include -I %p/Common -DERROR1 %s 2>&1 | FileCheck --check-prefix=ERROR1 %s
// RUN: not llvm-tblgen -gen-dag-isel -I %p/../../include -I %p/Common -DERROR2 %s 2>&1 | FileCheck --check-prefix=ERROR2 %s
// RUN: not llvm-tblgen -gen-dag-isel -I %p/../../include -I %p/Common -DERROR3 %s 2>&1 | FileCheck --check-prefix=ERROR3 %s
// RUN: not llvm-tblgen -gen-dag-isel -I %p/../../include -I %p/Common -DERROR4 %s 2>&1 | FileCheck --check-prefix=ERROR4 %s

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

def int_foo : Intrinsic<[llvm_anyint_ty, llvm_anyint_ty], [llvm_i32_ty]>;
def int_bar : Intrinsic<[], []>;

def INSTR_FOO : Instruction {
  let OutOperandList = (outs GPR32:$a, GPR32:$b);
  let InOperandList = (ins GPR32:$c);
}
def INSTR_BAR : Instruction {
  let OutOperandList = (outs);
  let InOperandList = (ins);
}

#ifdef ERROR1
// ERROR1: [[@LINE+1]]:1: error: {{.*}} Invalid number of type casts!
def : Pat<([i32, i32, i32] (int_foo (i32 GPR32:$a))), ([i32, i32, i32] (INSTR_FOO $a))>;
#endif

#ifdef ERROR2
// ERROR2: [[@LINE+1]]:1: error: {{.*}} Invalid number of type casts!
def : Pat<([]<ValueType> (int_bar)), ([]<ValueType> (INSTR_BAR))>;
#endif

#ifdef ERROR3
// ERROR3: [[@LINE+1]]:1: error: {{.*}} Type cast only takes one operand!
def : Pat<([i32, i32] (int_foo), (int_foo)), ([i32, i32] (INSTR_FOO))>;
#endif

#ifdef ERROR4
// ERROR4: [[@LINE+1]]:1: error: {{.*}} Type cast should not have a name!
def : Pat<([i32, i32] ([i32, i32] (int_foo)):$name), ([i32, i32] (INSTR_FOO))>;
#endif