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