Mercurial > hg > CbC > CbC_llvm

comparison llvm/test/TableGen/template-args.td @ 207:2e18cbf3894f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents
children 1f2b6ac9f198
comparison
equal deleted inserted replaced
173:0572611fdcc8 207:2e18cbf3894f
1 // RUN: llvm-tblgen %s | FileCheck %s
2 // RUN: not llvm-tblgen -DERROR1 %s 2>&1 | FileCheck --check-prefix=ERROR1 %s
3 // RUN: not llvm-tblgen -DERROR2 %s 2>&1 | FileCheck --check-prefix=ERROR2 %s
4 // RUN: not llvm-tblgen -DERROR3 %s 2>&1 | FileCheck --check-prefix=ERROR3 %s
5 // RUN: not llvm-tblgen -DERROR4 %s 2>&1 | FileCheck --check-prefix=ERROR4 %s
6 // RUN: not llvm-tblgen -DERROR5 %s 2>&1 | FileCheck --check-prefix=ERROR5 %s
7 // RUN: not llvm-tblgen -DERROR6 %s 2>&1 | FileCheck --check-prefix=ERROR6 %s
8 // RUN: not llvm-tblgen -DERROR7 %s 2>&1 | FileCheck --check-prefix=ERROR7 %s
9
10 // This file tests that template arguments are type-checked and cast
11 // if necessary.
12
13 // Class template arguments.
14
15 class Class1<string nm> {
16 string Name = nm;
17 }
18
19 // CHECK: def Rec1
20 // CHECK: string Name = "Alice"
21 // CHECK: string NameName = "AliceAlice"
22
23 def Rec1 : Class1<"Alice"> {
24 string NameName = Name # Name;
25 }
26
27 #ifdef ERROR1
28 // ERROR1: Value specified for template argument 'Class1:nm' (#0) is of type int
29
30 def Rec2 : Class1<42> {
31 }
32 #endif
33
34 class Class2<bits<8> cd> {
35 int Code = cd;
36 }
37
38 // CHECK: def Rec3
39 // CHECK: int Code = 42
40 // CHECK: list<int> CodeList = [42]
41
42 def Rec3 : Class2<0b00101010> {
43 list<int> CodeList = [Code];
44 }
45
46 // CHECK: def Rec4
47 // CHECK: int Code = 42
48 // CHECK: list<int> CodeList = [42]
49
50 def Rec4 : Class2<42> {
51 list<int> CodeList = [Code];
52 }
53
54 #ifdef ERROR2
55 // ERROR2: Value specified for template argument 'Class2:cd' (#0) is of type string
56
57 def Rec5 : Class2<"oops"> {
58 list<int> CodeList = [Code];
59 }
60 #endif
61
62 // Anonymous class instantiation template arguments.
63
64 // CHECK: def Rec6
65 // CHECK: string Name = "Ted"
66
67 def Rec6 {
68 string Name = Class1<"Ted">.Name;
69 }
70
71 #ifdef ERROR3
72 // ERROR3: Value specified for template argument 'Class1:nm' (#0) is of type int
73
74 def Rec7 {
75 string Name = Class1<42>.Name;
76 }
77 #endif
78
79 // CHECK: def Rec8
80 // CHECK: list<int> CodeList = [42]
81
82 def Rec8 {
83 list<int> CodeList = [Class2<42>.Code];
84 }
85
86 #ifdef ERROR4
87 // ERROR4: Value specified for template argument 'Class2:cd' (#0) is of type string
88
89 def Rec9 {
90 list<int> CodeList = [Class2<"huh?">.Code];
91 }
92 #endif
93
94 // Multiclass template arguments.
95
96 multiclass MC1<string nm> {
97 def _1 {
98 string Name = nm;
99 }
100 def _2 {
101 string NameNmae = nm # nm;
102 }
103 }
104
105 // CHECK: def RecMC1_1
106 // CHECK: string Name = "Carol"
107 // CHECK: def RecMC1_2
108 // CHECK: string NameNmae = "CarolCarol"
109
110 defm RecMC1 : MC1<"Carol">;
111
112 #ifdef ERROR5
113 // ERROR5: Value specified for template argument 'MC1::nm' (#0) is of type int
114
115 defm RecMC2 : MC1<42>;
116 #endif
117
118 multiclass MC2<bits<8> cd> {
119 def _1 {
120 bits<8> Code = cd;
121 }
122 def _2 {
123 int Code = cd;
124 }
125 def _3 {
126 list<int> CodeList = [cd];
127 }
128 }
129
130 // CHECK: def RecMC3_1
131 // CHECK: bits<8> Code = { 0, 0, 1, 0, 1, 0, 1, 0 }
132 // CHECK: def RecMC3_2
133 // CHECK: int Code = 42
134 // CHECK: def RecMC3_3
135 // CHECK: list<int> CodeList = [42]
136
137 defm RecMC3 : MC2<42>;
138
139 #ifdef ERROR6
140 // ERROR6: Value specified for template argument 'MC2::cd' (#0) is of type string
141
142 defm RecMC4 : MC2<"Bob">;
143 #endif
144
145 #ifdef ERROR7
146 multiclass TwoArgs<bits<8> a, string b> {
147 def _1 { bits<8> A = a; }
148 def _2 { string B = b; }
149 }
150 defm Good : TwoArgs<1, "one">;
151 defm MissingComma : TwoArgs<2 "two">;
152 // ERROR7: [[#@LINE-1]]:31: error: Expected comma before next argument
153 #endif