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
36 * This function will operate correctly if a node being processed is removed
37 * from list. However, if nodes are added to the list after the node being
38 * processed, some of the added noded may not be processed.
41 visit_list_elements(ir_hierarchical_visitor
*v
, exec_list
*l
)
44 ir_instruction
*prev_base_ir
= v
->base_ir
;
46 for (exec_node
*n
= l
->head
; n
->next
!= NULL
; n
= next
) {
49 ir_instruction
*const ir
= (ir_instruction
*) n
;
51 ir_visitor_status s
= ir
->accept(v
);
53 if (s
!= visit_continue
)
56 v
->base_ir
= prev_base_ir
;
58 return visit_continue
;
63 ir_variable::accept(ir_hierarchical_visitor
*v
)
65 return v
->visit(this);
70 ir_loop::accept(ir_hierarchical_visitor
*v
)
72 ir_visitor_status s
= v
->visit_enter(this);
74 if (s
!= visit_continue
)
75 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
77 s
= visit_list_elements(v
, &this->body_instructions
);
81 if (s
!= visit_continue_with_parent
) {
83 s
= this->from
->accept(v
);
84 if (s
!= visit_continue
)
85 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
89 s
= this->to
->accept(v
);
90 if (s
!= visit_continue
)
91 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
94 if (this->increment
) {
95 s
= this->increment
->accept(v
);
96 if (s
!= visit_continue
)
97 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
101 return v
->visit_leave(this);
106 ir_loop_jump::accept(ir_hierarchical_visitor
*v
)
108 return v
->visit(this);
113 ir_function_signature::accept(ir_hierarchical_visitor
*v
)
115 ir_visitor_status s
= v
->visit_enter(this);
116 if (s
!= visit_continue
)
117 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
119 s
= visit_list_elements(v
, &this->body
);
120 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
125 ir_function::accept(ir_hierarchical_visitor
*v
)
127 ir_visitor_status s
= v
->visit_enter(this);
128 if (s
!= visit_continue
)
129 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
131 s
= visit_list_elements(v
, &this->signatures
);
132 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
137 ir_expression::accept(ir_hierarchical_visitor
*v
)
139 ir_visitor_status s
= v
->visit_enter(this);
141 if (s
!= visit_continue
)
142 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
144 for (unsigned i
= 0; i
< this->get_num_operands(); i
++) {
145 switch (this->operands
[i
]->accept(v
)) {
149 case visit_continue_with_parent
:
150 // I wish for Java's labeled break-statement here.
159 return v
->visit_leave(this);
163 ir_texture::accept(ir_hierarchical_visitor
*v
)
165 ir_visitor_status s
= v
->visit_enter(this);
166 if (s
!= visit_continue
)
167 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
169 s
= this->sampler
->accept(v
);
170 if (s
!= visit_continue
)
171 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
173 s
= this->coordinate
->accept(v
);
174 if (s
!= visit_continue
)
175 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
177 if (this->projector
) {
178 s
= this->projector
->accept(v
);
179 if (s
!= visit_continue
)
180 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
183 if (this->shadow_comparitor
) {
184 s
= this->shadow_comparitor
->accept(v
);
185 if (s
!= visit_continue
)
186 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
193 s
= this->lod_info
.bias
->accept(v
);
194 if (s
!= visit_continue
)
195 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
199 s
= this->lod_info
.lod
->accept(v
);
200 if (s
!= visit_continue
)
201 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
204 s
= this->lod_info
.grad
.dPdx
->accept(v
);
205 if (s
!= visit_continue
)
206 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
208 s
= this->lod_info
.grad
.dPdy
->accept(v
);
209 if (s
!= visit_continue
)
210 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
214 return visit_continue_with_parent
;
219 ir_swizzle::accept(ir_hierarchical_visitor
*v
)
221 ir_visitor_status s
= v
->visit_enter(this);
222 if (s
!= visit_continue
)
223 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
225 s
= this->val
->accept(v
);
226 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
231 ir_dereference_variable::accept(ir_hierarchical_visitor
*v
)
233 return v
->visit(this);
238 ir_dereference_array::accept(ir_hierarchical_visitor
*v
)
240 ir_visitor_status s
= v
->visit_enter(this);
241 if (s
!= visit_continue
)
242 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
244 s
= this->array_index
->accept(v
);
245 if (s
!= visit_continue
)
246 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
248 s
= this->array
->accept(v
);
249 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
254 ir_dereference_record::accept(ir_hierarchical_visitor
*v
)
256 ir_visitor_status s
= v
->visit_enter(this);
257 if (s
!= visit_continue
)
258 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
260 s
= this->record
->accept(v
);
261 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
266 ir_assignment::accept(ir_hierarchical_visitor
*v
)
268 ir_visitor_status s
= v
->visit_enter(this);
269 if (s
!= visit_continue
)
270 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
272 s
= this->lhs
->accept(v
);
273 if (s
!= visit_continue
)
274 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
276 s
= this->rhs
->accept(v
);
277 if (s
!= visit_continue
)
278 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
281 s
= this->condition
->accept(v
);
283 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
288 ir_constant::accept(ir_hierarchical_visitor
*v
)
290 return v
->visit(this);
295 ir_call::accept(ir_hierarchical_visitor
*v
)
297 ir_visitor_status s
= v
->visit_enter(this);
298 if (s
!= visit_continue
)
299 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
301 s
= visit_list_elements(v
, &this->actual_parameters
);
305 return v
->visit_leave(this);
310 ir_return::accept(ir_hierarchical_visitor
*v
)
312 ir_visitor_status s
= v
->visit_enter(this);
313 if (s
!= visit_continue
)
314 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
316 ir_rvalue
*val
= this->get_value();
319 if (s
!= visit_continue
)
320 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
323 return v
->visit_leave(this);
328 ir_discard::accept(ir_hierarchical_visitor
*v
)
330 ir_visitor_status s
= v
->visit_enter(this);
331 if (s
!= visit_continue
)
332 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
334 if (this->condition
!= NULL
) {
335 s
= this->condition
->accept(v
);
336 if (s
!= visit_continue
)
337 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
340 return v
->visit_leave(this);
345 ir_if::accept(ir_hierarchical_visitor
*v
)
347 ir_visitor_status s
= v
->visit_enter(this);
348 if (s
!= visit_continue
)
349 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
351 s
= this->condition
->accept(v
);
352 if (s
!= visit_continue
)
353 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
355 if (s
!= visit_continue_with_parent
) {
356 s
= visit_list_elements(v
, &this->then_instructions
);
361 if (s
!= visit_continue_with_parent
) {
362 s
= visit_list_elements(v
, &this->else_instructions
);
367 return v
->visit_leave(this);