Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/TableGen/Dag.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 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: llvm-tblgen %s | FileCheck %s
anatofuz
parents:
diff changeset
2 // XFAIL: vg_leak
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
5 // Substitution of an int.
anatofuz
parents:
diff changeset
6 def X1;
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 class C1<int N> {
anatofuz
parents:
diff changeset
9 dag d = (X1 N);
anatofuz
parents:
diff changeset
10 }
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 def VAL1 : C1<13>;
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
14 // CHECK: def VAL1 {
anatofuz
parents:
diff changeset
15 // CHECK-NEXT: dag d = (X1 13)
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
19 // Substitution of a DAG.
anatofuz
parents:
diff changeset
20 def X2;
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 class yclass;
anatofuz
parents:
diff changeset
23 def Y2 : yclass;
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 class C2<yclass N> {
anatofuz
parents:
diff changeset
26 dag d = (X2 N);
anatofuz
parents:
diff changeset
27 dag e = (N X2);
anatofuz
parents:
diff changeset
28 }
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 def VAL2 : C2<Y2>;
anatofuz
parents:
diff changeset
31
anatofuz
parents:
diff changeset
32 // CHECK: def VAL2 {
anatofuz
parents:
diff changeset
33 // CHECK-NEXT: dag d = (X2 Y2)
anatofuz
parents:
diff changeset
34 // CHECK-NEXT: dag e = (Y2 X2)
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
38 // Complex dag operator (F.TheOp).
anatofuz
parents:
diff changeset
39
anatofuz
parents:
diff changeset
40 class operator;
anatofuz
parents:
diff changeset
41 def somedef1 : operator;
anatofuz
parents:
diff changeset
42 def somedef2 : operator;
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 class foo<operator a> {
anatofuz
parents:
diff changeset
45 operator TheOp = a;
anatofuz
parents:
diff changeset
46 }
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 class bar<foo F, operator a> {
anatofuz
parents:
diff changeset
49 dag Dag1 = (somedef1 1);
anatofuz
parents:
diff changeset
50 dag Dag2 = (a 2);
anatofuz
parents:
diff changeset
51 dag Dag3 = (F.TheOp 2);
anatofuz
parents:
diff changeset
52 }
anatofuz
parents:
diff changeset
53
anatofuz
parents:
diff changeset
54 def foo1 : foo<somedef1>;
anatofuz
parents:
diff changeset
55 def foo2 : foo<somedef2>;
anatofuz
parents:
diff changeset
56
anatofuz
parents:
diff changeset
57 def VAL3 : bar<foo1, somedef1>;
anatofuz
parents:
diff changeset
58
anatofuz
parents:
diff changeset
59 // CHECK: def VAL3 { // bar
anatofuz
parents:
diff changeset
60 // CHECK-NEXT: dag Dag1 = (somedef1 1);
anatofuz
parents:
diff changeset
61 // CHECK-NEXT: dag Dag2 = (somedef1 2);
anatofuz
parents:
diff changeset
62 // CHECK-NEXT: dag Dag3 = (somedef1 2);
anatofuz
parents:
diff changeset
63 // CHECK-NEXT: }
anatofuz
parents:
diff changeset
64
anatofuz
parents:
diff changeset
65
anatofuz
parents:
diff changeset
66 def VAL4 : bar<foo2, somedef2>;
anatofuz
parents:
diff changeset
67 // CHECK: def VAL4 {
anatofuz
parents:
diff changeset
68 // CHECK-NEXT: dag Dag1 = (somedef1 1);
anatofuz
parents:
diff changeset
69 // CHECK-NEXT: dag Dag2 = (somedef2 2);
anatofuz
parents:
diff changeset
70 // CHECK-NEXT: dag Dag3 = (somedef2 2);
anatofuz
parents:
diff changeset
71 // CHECK-NEXT: }
anatofuz
parents:
diff changeset
72
anatofuz
parents:
diff changeset
73 def VAL5 : bar<foo2, somedef2> {
anatofuz
parents:
diff changeset
74 // Named operands.
anatofuz
parents:
diff changeset
75 let Dag1 = (somedef1 1:$name1);
anatofuz
parents:
diff changeset
76
anatofuz
parents:
diff changeset
77 // Name, no node.
anatofuz
parents:
diff changeset
78 let Dag2 = (somedef2 $name2, $name3);
anatofuz
parents:
diff changeset
79 }
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 // CHECK: def VAL5 {
anatofuz
parents:
diff changeset
82 // CHECK-NEXT: dag Dag1 = (somedef1 1:$name1);
anatofuz
parents:
diff changeset
83 // CHECK-NEXT: dag Dag2 = (somedef2 ?:$name2, ?:$name3);