Lines Matching refs:Set

8 class Set<dag d> {
12 // It prints all Set instances and their ordered set interpretation.
22 def S0a : Set<(add)>;
23 def S0b : Set<(add a)>;
24 def S0c : Set<(add a, b)>;
25 def S0d : Set<(add b, a)>;
26 def S0e : Set<(add a, a)>;
27 def S0f : Set<(add a, a, b, a, c, b, d, a)>;
28 def S0g : Set<(add b, a, b)>;
37 // Defs of Set class expand into their elements.
39 def S1a : Set<(add S0a)>;
40 def S1b : Set<(add S0a, S0a)>;
41 def S1c : Set<(add S0d, S0f)>;
42 def S1d : Set<(add d, S0d, S0f)>;
51 def S2a : Set<(sub S1a, S1c)>;
52 def S2b : Set<(sub S1c, S1d)>;
53 def S2c : Set<(sub S1c, b)>;
54 def S2d : Set<(sub S1c, S0c)>;
55 def S2e : Set<(sub S1c, S2d)>;
65 def S3a : Set<(and S2d, S2e)>;
66 def S3b : Set<(and S2d, S1d)>;
72 def S4a : Set<(shl S0f, 0)>;
73 def S4b : Set<(shl S0f, 1)>;
74 def S4c : Set<(shl S0f, 3)>;
75 def S4d : Set<(shl S0f, 4)>;
76 def S4e : Set<(shl S0f, 5)>;
85 def S5a : Set<(trunc S0f, 0)>;
86 def S5b : Set<(trunc S0f, 1)>;
87 def S5c : Set<(trunc S0f, 3)>;
88 def S5d : Set<(trunc S0f, 4)>;
89 def S5e : Set<(trunc S0f, 5)>;
98 def S6a : Set<(rotl S0f, 0)>;
99 def S6b : Set<(rotl S0f, 1)>;
100 def S6c : Set<(rotl S0f, 3)>;
101 def S6d : Set<(rotl S0f, 4)>;
102 def S6e : Set<(rotl S0f, 5)>;
103 def S6f : Set<(rotl S0f, -1)>;
104 def S6g : Set<(rotl S0f, -4)>;
105 def S6h : Set<(rotl S0f, -5)>;
117 def S7a : Set<(rotr S0f, 0)>;
118 def S7b : Set<(rotr S0f, 1)>;
119 def S7c : Set<(rotr S0f, 3)>;
120 def S7d : Set<(rotr S0f, 4)>;
121 def S7e : Set<(rotr S0f, 5)>;
122 def S7f : Set<(rotr S0f, -1)>;
123 def S7g : Set<(rotr S0f, -4)>;
124 def S7h : Set<(rotr S0f, -5)>;
146 def E : Set<(add e0, e1, e2, e3, e4, e5, e6, e7, e8, e9)>;
147 def S8a : Set<(decimate E, 3)>;
148 def S8b : Set<(decimate E, 9)>;
149 def S8c : Set<(decimate E, 10)>;
150 def S8d : Set<(decimate (rotl E, 1), 2)>;
151 def S8e : Set<(add (decimate E, 2), (decimate (rotl E, 1), 2))>;
160 def S9a : Set<(sequence "e%u", 3, 7)>;
161 def S9b : Set<(sequence "e%u", 7, 3)>;
162 def S9c : Set<(sequence "e%u", 0, 0)>;
163 def S9d : Set<(sequence "S%ua", 7, 9)>;
164 def S9e : Set<(sequence "e%u", 3, 6, 2)>;
173 def T0a : Set<(interleave S9a, S9b)>;
174 def T0b : Set<(interleave S8e, S8d)>;