2 * Copyright © 2010 Intel Corporation
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:
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
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.
27 * \file ir_hv_accept.cpp
28 * Implementations of all hierarchical visitor accept methods for IR
33 * Process a list of nodes using a hierarchical vistor.
35 * If statement_list is true (the default), this is a list of statements, so
36 * v->base_ir will be set to point to each statement just before iterating
37 * over it, and restored after iteration is complete. If statement_list is
38 * false, this is a list that appears inside a statement (e.g. a parameter
39 * list), so v->base_ir will be left alone.
42 * This function will operate correctly if a node being processed is removed
43 * from the list. However, if nodes are added to the list after the node being
44 * processed, some of the added nodes may not be processed.
47 visit_list_elements(ir_hierarchical_visitor *v, exec_list *l,
50 ir_instruction *prev_base_ir = v->base_ir;
52 foreach_list_safe(n, l) {
53 ir_instruction *const ir = (ir_instruction *) n;
56 ir_visitor_status s = ir->accept(v);
58 if (s != visit_continue)
62 v->base_ir = prev_base_ir;
64 return visit_continue;
69 ir_rvalue::accept(ir_hierarchical_visitor *v)
71 return v->visit(this);
76 ir_variable::accept(ir_hierarchical_visitor *v)
78 return v->visit(this);
83 ir_loop::accept(ir_hierarchical_visitor *v)
85 ir_visitor_status s = v->visit_enter(this);
87 if (s != visit_continue)
88 return (s == visit_continue_with_parent) ? visit_continue : s;
90 s = visit_list_elements(v, &this->body_instructions);
94 if (s != visit_continue_with_parent) {
96 s = this->from->accept(v);
97 if (s != visit_continue)
98 return (s == visit_continue_with_parent) ? visit_continue : s;
102 s = this->to->accept(v);
103 if (s != visit_continue)
104 return (s == visit_continue_with_parent) ? visit_continue : s;
107 if (this->increment) {
108 s = this->increment->accept(v);
109 if (s != visit_continue)
110 return (s == visit_continue_with_parent) ? visit_continue : s;
114 return v->visit_leave(this);
119 ir_loop_jump::accept(ir_hierarchical_visitor *v)
121 return v->visit(this);
126 ir_function_signature::accept(ir_hierarchical_visitor *v)
128 ir_visitor_status s = v->visit_enter(this);
129 if (s != visit_continue)
130 return (s == visit_continue_with_parent) ? visit_continue : s;
132 s = visit_list_elements(v, &this->parameters);
136 s = visit_list_elements(v, &this->body);
137 return (s == visit_stop) ? s : v->visit_leave(this);
142 ir_function::accept(ir_hierarchical_visitor *v)
144 ir_visitor_status s = v->visit_enter(this);
145 if (s != visit_continue)
146 return (s == visit_continue_with_parent) ? visit_continue : s;
148 s = visit_list_elements(v, &this->signatures, false);
149 return (s == visit_stop) ? s : v->visit_leave(this);
154 ir_expression::accept(ir_hierarchical_visitor *v)
156 ir_visitor_status s = v->visit_enter(this);
158 if (s != visit_continue)
159 return (s == visit_continue_with_parent) ? visit_continue : s;
161 for (unsigned i = 0; i < this->get_num_operands(); i++) {
162 switch (this->operands[i]->accept(v)) {
166 case visit_continue_with_parent:
167 // I wish for Java's labeled break-statement here.
176 return v->visit_leave(this);
180 ir_texture::accept(ir_hierarchical_visitor *v)
182 ir_visitor_status s = v->visit_enter(this);
183 if (s != visit_continue)
184 return (s == visit_continue_with_parent) ? visit_continue : s;
186 s = this->sampler->accept(v);
187 if (s != visit_continue)
188 return (s == visit_continue_with_parent) ? visit_continue : s;
190 if (this->coordinate) {
191 s = this->coordinate->accept(v);
192 if (s != visit_continue)
193 return (s == visit_continue_with_parent) ? visit_continue : s;
196 if (this->projector) {
197 s = this->projector->accept(v);
198 if (s != visit_continue)
199 return (s == visit_continue_with_parent) ? visit_continue : s;
202 if (this->shadow_comparitor) {
203 s = this->shadow_comparitor->accept(v);
204 if (s != visit_continue)
205 return (s == visit_continue_with_parent) ? visit_continue : s;
209 s = this->offset->accept(v);
210 if (s != visit_continue)
211 return (s == visit_continue_with_parent) ? visit_continue : s;
219 s = this->lod_info.bias->accept(v);
220 if (s != visit_continue)
221 return (s == visit_continue_with_parent) ? visit_continue : s;
226 s = this->lod_info.lod->accept(v);
227 if (s != visit_continue)
228 return (s == visit_continue_with_parent) ? visit_continue : s;
231 s = this->lod_info.sample_index->accept(v);
232 if (s != visit_continue)
233 return (s == visit_continue_with_parent) ? visit_continue : s;
236 s = this->lod_info.grad.dPdx->accept(v);
237 if (s != visit_continue)
238 return (s == visit_continue_with_parent) ? visit_continue : s;
240 s = this->lod_info.grad.dPdy->accept(v);
241 if (s != visit_continue)
242 return (s == visit_continue_with_parent) ? visit_continue : s;
246 return (s == visit_stop) ? s : v->visit_leave(this);
251 ir_swizzle::accept(ir_hierarchical_visitor *v)
253 ir_visitor_status s = v->visit_enter(this);
254 if (s != visit_continue)
255 return (s == visit_continue_with_parent) ? visit_continue : s;
257 s = this->val->accept(v);
258 return (s == visit_stop) ? s : v->visit_leave(this);
263 ir_dereference_variable::accept(ir_hierarchical_visitor *v)
265 return v->visit(this);
270 ir_dereference_array::accept(ir_hierarchical_visitor *v)
272 ir_visitor_status s = v->visit_enter(this);
273 if (s != visit_continue)
274 return (s == visit_continue_with_parent) ? visit_continue : s;
276 /* The array index is not the target of the assignment, so clear the
277 * 'in_assignee' flag. Restore it after returning from the array index.
279 const bool was_in_assignee = v->in_assignee;
280 v->in_assignee = false;
281 s = this->array_index->accept(v);
282 v->in_assignee = was_in_assignee;
284 if (s != visit_continue)
285 return (s == visit_continue_with_parent) ? visit_continue : s;
287 s = this->array->accept(v);
288 return (s == visit_stop) ? s : v->visit_leave(this);
293 ir_dereference_record::accept(ir_hierarchical_visitor *v)
295 ir_visitor_status s = v->visit_enter(this);
296 if (s != visit_continue)
297 return (s == visit_continue_with_parent) ? visit_continue : s;
299 s = this->record->accept(v);
300 return (s == visit_stop) ? s : v->visit_leave(this);
305 ir_assignment::accept(ir_hierarchical_visitor *v)
307 ir_visitor_status s = v->visit_enter(this);
308 if (s != visit_continue)
309 return (s == visit_continue_with_parent) ? visit_continue : s;
311 v->in_assignee = true;
312 s = this->lhs->accept(v);
313 v->in_assignee = false;
314 if (s != visit_continue)
315 return (s == visit_continue_with_parent) ? visit_continue : s;
317 s = this->rhs->accept(v);
318 if (s != visit_continue)
319 return (s == visit_continue_with_parent) ? visit_continue : s;
322 s = this->condition->accept(v);
324 return (s == visit_stop) ? s : v->visit_leave(this);
329 ir_constant::accept(ir_hierarchical_visitor *v)
331 return v->visit(this);
336 ir_call::accept(ir_hierarchical_visitor *v)
338 ir_visitor_status s = v->visit_enter(this);
339 if (s != visit_continue)
340 return (s == visit_continue_with_parent) ? visit_continue : s;
342 if (this->return_deref != NULL) {
343 v->in_assignee = true;
344 s = this->return_deref->accept(v);
345 v->in_assignee = false;
346 if (s != visit_continue)
347 return (s == visit_continue_with_parent) ? visit_continue : s;
350 s = visit_list_elements(v, &this->actual_parameters, false);
354 return v->visit_leave(this);
359 ir_return::accept(ir_hierarchical_visitor *v)
361 ir_visitor_status s = v->visit_enter(this);
362 if (s != visit_continue)
363 return (s == visit_continue_with_parent) ? visit_continue : s;
365 ir_rvalue *val = this->get_value();
368 if (s != visit_continue)
369 return (s == visit_continue_with_parent) ? visit_continue : s;
372 return v->visit_leave(this);
377 ir_discard::accept(ir_hierarchical_visitor *v)
379 ir_visitor_status s = v->visit_enter(this);
380 if (s != visit_continue)
381 return (s == visit_continue_with_parent) ? visit_continue : s;
383 if (this->condition != NULL) {
384 s = this->condition->accept(v);
385 if (s != visit_continue)
386 return (s == visit_continue_with_parent) ? visit_continue : s;
389 return v->visit_leave(this);
394 ir_if::accept(ir_hierarchical_visitor *v)
396 ir_visitor_status s = v->visit_enter(this);
397 if (s != visit_continue)
398 return (s == visit_continue_with_parent) ? visit_continue : s;
400 s = this->condition->accept(v);
401 if (s != visit_continue)
402 return (s == visit_continue_with_parent) ? visit_continue : s;
404 if (s != visit_continue_with_parent) {
405 s = visit_list_elements(v, &this->then_instructions);
410 if (s != visit_continue_with_parent) {
411 s = visit_list_elements(v, &this->else_instructions);
416 return v->visit_leave(this);