1 /*
2 * Copyright © 2013 Intel Corporation
3 *
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
10 *
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
13 * Software.
14 *
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
21 * DEALINGS IN THE SOFTWARE.
22 */
23
24 #include "ir.h"
25
26 /**
27 * Helper for checking equality when one instruction might be NULL, since you
28 * can't access a's vtable in that case.
29 */
30 static bool
possibly_null_equals(const ir_instruction * a,const ir_instruction * b,enum ir_node_type ignore)31 possibly_null_equals(const ir_instruction *a, const ir_instruction *b,
32 enum ir_node_type ignore)
33 {
34 if (!a || !b)
35 return !a && !b;
36
37 return a->equals(b, ignore);
38 }
39
40 /**
41 * The base equality function: Return not equal for anything we don't know
42 * about.
43 */
44 bool
equals(const ir_instruction *,enum ir_node_type) const45 ir_instruction::equals(const ir_instruction *, enum ir_node_type) const
46 {
47 return false;
48 }
49
50 bool
equals(const ir_instruction * ir,enum ir_node_type) const51 ir_constant::equals(const ir_instruction *ir, enum ir_node_type) const
52 {
53 const ir_constant *other = ir->as_constant();
54 if (!other)
55 return false;
56
57 if (type != other->type)
58 return false;
59
60 for (unsigned i = 0; i < type->components(); i++) {
61 if (type->is_double()) {
62 if (value.d[i] != other->value.d[i])
63 return false;
64 } else {
65 if (value.u[i] != other->value.u[i])
66 return false;
67 }
68 }
69
70 return true;
71 }
72
73 bool
equals(const ir_instruction * ir,enum ir_node_type) const74 ir_dereference_variable::equals(const ir_instruction *ir,
75 enum ir_node_type) const
76 {
77 const ir_dereference_variable *other = ir->as_dereference_variable();
78 if (!other)
79 return false;
80
81 return var == other->var;
82 }
83
84 bool
equals(const ir_instruction * ir,enum ir_node_type ignore) const85 ir_dereference_array::equals(const ir_instruction *ir,
86 enum ir_node_type ignore) const
87 {
88 const ir_dereference_array *other = ir->as_dereference_array();
89 if (!other)
90 return false;
91
92 if (type != other->type)
93 return false;
94
95 if (!array->equals(other->array, ignore))
96 return false;
97
98 if (!array_index->equals(other->array_index, ignore))
99 return false;
100
101 return true;
102 }
103
104 bool
equals(const ir_instruction * ir,enum ir_node_type ignore) const105 ir_swizzle::equals(const ir_instruction *ir,
106 enum ir_node_type ignore) const
107 {
108 const ir_swizzle *other = ir->as_swizzle();
109 if (!other)
110 return false;
111
112 if (type != other->type)
113 return false;
114
115 if (ignore != ir_type_swizzle) {
116 if (mask.x != other->mask.x ||
117 mask.y != other->mask.y ||
118 mask.z != other->mask.z ||
119 mask.w != other->mask.w) {
120 return false;
121 }
122 }
123
124 return val->equals(other->val, ignore);
125 }
126
127 bool
equals(const ir_instruction * ir,enum ir_node_type ignore) const128 ir_texture::equals(const ir_instruction *ir, enum ir_node_type ignore) const
129 {
130 const ir_texture *other = ir->as_texture();
131 if (!other)
132 return false;
133
134 if (type != other->type)
135 return false;
136
137 if (op != other->op)
138 return false;
139
140 if (!possibly_null_equals(coordinate, other->coordinate, ignore))
141 return false;
142
143 if (!possibly_null_equals(projector, other->projector, ignore))
144 return false;
145
146 if (!possibly_null_equals(shadow_comparator, other->shadow_comparator, ignore))
147 return false;
148
149 if (!possibly_null_equals(offset, other->offset, ignore))
150 return false;
151
152 if (!sampler->equals(other->sampler, ignore))
153 return false;
154
155 switch (op) {
156 case ir_tex:
157 case ir_lod:
158 case ir_query_levels:
159 case ir_texture_samples:
160 case ir_samples_identical:
161 break;
162 case ir_txb:
163 if (!lod_info.bias->equals(other->lod_info.bias, ignore))
164 return false;
165 break;
166 case ir_txl:
167 case ir_txf:
168 case ir_txs:
169 if (!lod_info.lod->equals(other->lod_info.lod, ignore))
170 return false;
171 break;
172 case ir_txd:
173 if (!lod_info.grad.dPdx->equals(other->lod_info.grad.dPdx, ignore) ||
174 !lod_info.grad.dPdy->equals(other->lod_info.grad.dPdy, ignore))
175 return false;
176 break;
177 case ir_txf_ms:
178 if (!lod_info.sample_index->equals(other->lod_info.sample_index, ignore))
179 return false;
180 break;
181 case ir_tg4:
182 if (!lod_info.component->equals(other->lod_info.component, ignore))
183 return false;
184 break;
185 default:
186 assert(!"Unrecognized texture op");
187 }
188
189 return true;
190 }
191
192 bool
equals(const ir_instruction * ir,enum ir_node_type ignore) const193 ir_expression::equals(const ir_instruction *ir, enum ir_node_type ignore) const
194 {
195 const ir_expression *other = ir->as_expression();
196 if (!other)
197 return false;
198
199 if (type != other->type)
200 return false;
201
202 if (operation != other->operation)
203 return false;
204
205 for (unsigned i = 0; i < num_operands; i++) {
206 if (!operands[i]->equals(other->operands[i], ignore))
207 return false;
208 }
209
210 return true;
211 }
212