ambiguous-composition.td
2.99 KB
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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
// RUN: llvm-tblgen -gen-register-info -I %p/../../include %s 2>&1 | FileCheck %s
//
// CHECK-NOT: warning: SubRegIndex Test::subreg_h64 and Test::subreg_h32 compose ambiguously as Test::subreg_hh32 or Test::subreg_h32
// CHECK: warning: SubRegIndex Test::subreg_l64 and Test::subreg_l32 compose ambiguously as Test::subreg_ll32 or Test::subreg_l32
include "llvm/Target/Target.td"
def TestInstrInfo : InstrInfo {
}
def Test : Target {
let InstructionSet = TestInstrInfo;
}
let Namespace = "Test" in {
def subreg_l32 : SubRegIndex<32, 0>;
def subreg_h32 : SubRegIndex<32, 32>;
def subreg_h64 : SubRegIndex<64, 64>;
def subreg_l64 : SubRegIndex<64, 0>;
def subreg_hh32 : ComposedSubRegIndex<subreg_h64, subreg_h32>;
def subreg_ll32 : ComposedSubRegIndex<subreg_l64, subreg_l32>;
}
class TestReg<string n, list<Register> s> : RegisterWithSubRegs<n, s> {
let Namespace = "Test";
}
// --------------------------------------------------------------------
// A situation that previously caused the warning about ambiguous
// composition.
//
// The actual subregister actions are:
// subreg_h64: { F0Q->F0D V0Q->F0D }
// subreg_h32: { F0D->F0S F0Q->F2S V0Q->F0S }
// composition: { F0Q->F0S V0Q->F0S } (this is the same as subreg_hh32)
//
// For the register V0Q, subreg_hh32(V0Q) = subreg_h32(V0Q) = F0S, which
// would be enough to trigger the warning about ambiguous composition.
// However, for F0Q, subreg_hh32(F0Q) = F0S, while subreg_h32(F0Q) = F2S,
// which shows that there two subregister indices are different.
// Make sure that the warning is not emitted in this case.
class FPR32<string n> : TestReg<n, []> {
}
class FPR64<string n, FPR32 high> : TestReg<n, [high]> {
let SubRegIndices = [subreg_h32];
}
class FPR128<string n, FPR64 high, FPR32 low> : TestReg<n, [high, low]> {
let SubRegIndices = [subreg_h64, subreg_h32];
}
class VPR128<string n, FPR64 high> : TestReg<n, [high]> {
let SubRegIndices = [subreg_h64];
}
def F0S : FPR32<"f0s">;
def F1S : FPR32<"f1s">;
def F2S : FPR32<"f2s">;
def F0D : FPR64<"f0d", F0S>;
def F0Q : FPR128<"f0q", F0D, F2S>;
def V0Q : VPR128<"v0q", F0D>;
def FP32 : RegisterClass<"FP32", [f32], 32, (add F0S)>;
def FP64 : RegisterClass<"FP64", [f64], 64, (add F0D)>;
def FP128 : RegisterClass<"FP128", [v2f64], 128, (add F0Q)>;
def VP128 : RegisterClass<"VP128", [v2f64], 128, (add V0Q)>;
// --------------------------------------------------------------------
// A situation where the warning is legitimate.
// Make sure that the warning is still displayed.
class GPR32<string n> : TestReg<n, []> {
}
class GPR64<string n, GPR32 low> : TestReg<n, [low]> {
let SubRegIndices = [subreg_l32];
}
class GPR128<string n, GPR64 low> : TestReg<n, [low]> {
let SubRegIndices = [subreg_l64];
}
def G0S : GPR32<"g0s">;
def G0D : GPR64<"g0d", G0S>;
def G0Q : GPR128<"g0q", G0D>;
def GP32 : RegisterClass<"GP32", [i32], 32, (add G0S)>;
def GP64 : RegisterClass<"GP64", [i64], 64, (add G0D)>;
def GP128 : RegisterClass<"GP128", [v2i64], 128, (add G0Q)>;