aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/TableGen/RegisterEncoder.td
blob: 02366a8a2e061b0612a103cca46ba77349724f54 (plain)
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
// RUN: llvm-tblgen -gen-emitter -I %p/../../include %s | FileCheck %s

// Check that EncoderMethod for RegisterOperand is working correctly

include "llvm/Target/Target.td"

def ArchInstrInfo : InstrInfo { }

def Arch : Target {
  let InstructionSet = ArchInstrInfo;
}

def Reg : Register<"reg">;

def RegClass : RegisterClass<"foo", [i32], 0, (add Reg)>;

def RegOperand : RegisterOperand<RegClass> {
  let EncoderMethod = "barEncoder";
}

def foo1 : Instruction {
  let Size = 1;

  let OutOperandList = (outs);
  let InOperandList = (ins RegOperand:$bar);

  bits<8> bar;
  bits<8> Inst = bar;
}

// CHECK: case ::foo1: {
// CHECK:   op = barEncoder
// CHECK:   Value |= (op & 0xff);
// CHECK:   break;
// CHECK: }


// Also check that it works from a complex operand.

def RegPair : Operand<i32> {
  let MIOperandInfo = (ops RegOperand, RegOperand);
}

def foo2 : Instruction {
  let Size = 1;

  let OutOperandList = (outs);
  let InOperandList = (ins (RegPair $r1, $r2):$r12);

  bits<4> r1;
  bits<4> r2;
  bits<8> Inst;
  let Inst{3-0} = r1;
  let Inst{7-4} = r2;
}

// CHECK: case ::foo2: {
// CHECK:   op = barEncoder
// CHECK:   Value |= (op & 0xf);
// CHECK:   op = barEncoder
// CHECK:   Value |= (op & 0xf) << 4;
// CHECK:   break;
// CHECK: }