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
;
217 case ir_query_levels
:
220 s
= this->lod_info
.bias
->accept(v
);
221 if (s
!= visit_continue
)
222 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
227 s
= this->lod_info
.lod
->accept(v
);
228 if (s
!= visit_continue
)
229 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
232 s
= this->lod_info
.sample_index
->accept(v
);
233 if (s
!= visit_continue
)
234 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
237 s
= this->lod_info
.grad
.dPdx
->accept(v
);
238 if (s
!= visit_continue
)
239 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
241 s
= this->lod_info
.grad
.dPdy
->accept(v
);
242 if (s
!= visit_continue
)
243 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
246 s
= this->lod_info
.component
->accept(v
);
247 if (s
!= visit_continue
)
248 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
252 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
257 ir_swizzle::accept(ir_hierarchical_visitor
*v
)
259 ir_visitor_status s
= v
->visit_enter(this);
260 if (s
!= visit_continue
)
261 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
263 s
= this->val
->accept(v
);
264 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
269 ir_dereference_variable::accept(ir_hierarchical_visitor
*v
)
271 return v
->visit(this);
276 ir_dereference_array::accept(ir_hierarchical_visitor
*v
)
278 ir_visitor_status s
= v
->visit_enter(this);
279 if (s
!= visit_continue
)
280 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
282 /* The array index is not the target of the assignment, so clear the
283 * 'in_assignee' flag. Restore it after returning from the array index.
285 const bool was_in_assignee
= v
->in_assignee
;
286 v
->in_assignee
= false;
287 s
= this->array_index
->accept(v
);
288 v
->in_assignee
= was_in_assignee
;
290 if (s
!= visit_continue
)
291 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
293 s
= this->array
->accept(v
);
294 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
299 ir_dereference_record::accept(ir_hierarchical_visitor
*v
)
301 ir_visitor_status s
= v
->visit_enter(this);
302 if (s
!= visit_continue
)
303 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
305 s
= this->record
->accept(v
);
306 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
311 ir_assignment::accept(ir_hierarchical_visitor
*v
)
313 ir_visitor_status s
= v
->visit_enter(this);
314 if (s
!= visit_continue
)
315 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
317 v
->in_assignee
= true;
318 s
= this->lhs
->accept(v
);
319 v
->in_assignee
= false;
320 if (s
!= visit_continue
)
321 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
323 s
= this->rhs
->accept(v
);
324 if (s
!= visit_continue
)
325 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
328 s
= this->condition
->accept(v
);
330 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
335 ir_constant::accept(ir_hierarchical_visitor
*v
)
337 return v
->visit(this);
342 ir_call::accept(ir_hierarchical_visitor
*v
)
344 ir_visitor_status s
= v
->visit_enter(this);
345 if (s
!= visit_continue
)
346 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
348 if (this->return_deref
!= NULL
) {
349 v
->in_assignee
= true;
350 s
= this->return_deref
->accept(v
);
351 v
->in_assignee
= false;
352 if (s
!= visit_continue
)
353 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
356 s
= visit_list_elements(v
, &this->actual_parameters
, false);
360 return v
->visit_leave(this);
365 ir_return::accept(ir_hierarchical_visitor
*v
)
367 ir_visitor_status s
= v
->visit_enter(this);
368 if (s
!= visit_continue
)
369 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
371 ir_rvalue
*val
= this->get_value();
374 if (s
!= visit_continue
)
375 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
378 return v
->visit_leave(this);
383 ir_discard::accept(ir_hierarchical_visitor
*v
)
385 ir_visitor_status s
= v
->visit_enter(this);
386 if (s
!= visit_continue
)
387 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
389 if (this->condition
!= NULL
) {
390 s
= this->condition
->accept(v
);
391 if (s
!= visit_continue
)
392 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
395 return v
->visit_leave(this);
400 ir_if::accept(ir_hierarchical_visitor
*v
)
402 ir_visitor_status s
= v
->visit_enter(this);
403 if (s
!= visit_continue
)
404 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
406 s
= this->condition
->accept(v
);
407 if (s
!= visit_continue
)
408 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
410 if (s
!= visit_continue_with_parent
) {
411 s
= visit_list_elements(v
, &this->then_instructions
);
416 if (s
!= visit_continue_with_parent
) {
417 s
= visit_list_elements(v
, &this->else_instructions
);
422 return v
->visit_leave(this);
426 ir_emit_vertex::accept(ir_hierarchical_visitor
*v
)
428 return v
->visit(this);
433 ir_end_primitive::accept(ir_hierarchical_visitor
*v
)
435 return v
->visit(this);