xref: /llvm-project/llvm/test/TableGen/VarLenEncoderHwModes.td (revision f8325f12606d7c8510abbf933bf95983bf66da7d) 
1// RUN: llvm-tblgen -gen-emitter -I %p/../../include %s | FileCheck %s
2
3// Verify VarLenCodeEmitterGen using EncodingInfos with different HwModes.
4
5include "llvm/Target/Target.td"
6
7def ArchInstrInfo : InstrInfo { }
8
9def Arch : Target {
10  let InstructionSet = ArchInstrInfo;
11}
12
13def Reg : Register<"reg">;
14
15def RegClass : RegisterClass<"foo", [i64], 0, (add Reg)>;
16
17def GR64 : RegisterOperand<RegClass>;
18
19def HasA : Predicate<"Subtarget->hasA()">;
20def HasB : Predicate<"Subtarget->hasB()">;
21
22def ModeA : HwMode<"+a", [HasA]>;
23def ModeB : HwMode<"+b", [HasB]>;
24
25def fooTypeEncA : InstructionEncoding {
26  dag Inst = (descend
27    (operand "$src", 4),
28    (operand "$dst", 4),
29    0b00000001
30  );
31}
32
33def fooTypeEncB : InstructionEncoding {
34  dag Inst = (descend
35    (operand "$dst", 4),
36    (operand "$src", 4),
37    0b00000010
38  );
39}
40
41def fooTypeEncC : InstructionEncoding {
42  dag Inst = (descend
43    (operand "$dst", 4),
44    (operand "$src", 4),
45    0b00000100
46  );
47}
48
49class VarLenInst : Instruction {
50  let AsmString = "foo $src, $dst";
51  let OutOperandList = (outs GR64:$dst);
52  let InOperandList  = (ins GR64:$src);
53}
54
55// Defined in both HwModes
56def foo : VarLenInst {
57  let EncodingInfos = EncodingByHwMode<
58    [ModeA, ModeB],
59    [fooTypeEncA, fooTypeEncB]
60  >;
61}
62
63// Same encoding in any HwMode
64def bar : VarLenInst {
65  dag Inst = (descend
66    (operand "$dst", 4),
67    (operand "$src", 4),
68    0b00000011
69  );
70}
71
72// Only defined in HwMode B.
73def baz : VarLenInst {
74  let EncodingInfos = EncodingByHwMode<
75    [ModeB],
76    [fooTypeEncC]
77  >;
78}
79
80// CHECK:     static const uint64_t InstBits_ModeA[] = {
81// CHECK:       UINT64_C(3),        // bar
82// CHECK:       UINT64_C(1),        // foo
83
84// CHECK:     static const uint64_t InstBits_ModeB[] = {
85// CHECK:       UINT64_C(3),        // bar
86// CHECK:       UINT64_C(4),        // baz
87// CHECK:       UINT64_C(2),        // foo
88
89// CHECK:     auto getInstBits_ModeA =
90// CHECK:       Idx = Index_ModeA
91
92// CHECK:     auto getInstBits_ModeB =
93// CHECK:       Idx = Index_ModeB
94
95// CHECK:     case ::bar: {
96// CHECK-NOT:   switch (Mode) {
97// CHECK:       Inst = getInstBits_ModeA
98
99// CHECK:     case ::foo: {
100// CHECK:       switch (Mode) {
101// CHECK:       case 1: {
102// CHECK:       Inst = getInstBits_ModeA
103// CHECK:       case 2: {
104// CHECK:       Inst = getInstBits_ModeB
105
106// CHECK:     case ::baz: {
107// CHECK:       case 1: {
108// CHECK:       llvm_unreachable("Undefined encoding in this mode");
109// CHECK:       case 2: {
110// CHECK:       Inst = getInstBits_ModeB
111