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->parameters
);
123 s
= visit_list_elements(v
, &this->body
);
124 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
129 ir_function::accept(ir_hierarchical_visitor
*v
)
131 ir_visitor_status s
= v
->visit_enter(this);
132 if (s
!= visit_continue
)
133 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
135 s
= visit_list_elements(v
, &this->signatures
);
136 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
141 ir_expression::accept(ir_hierarchical_visitor
*v
)
143 ir_visitor_status s
= v
->visit_enter(this);
145 if (s
!= visit_continue
)
146 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
148 for (unsigned i
= 0; i
< this->get_num_operands(); i
++) {
149 switch (this->operands
[i
]->accept(v
)) {
153 case visit_continue_with_parent
:
154 // I wish for Java's labeled break-statement here.
163 return v
->visit_leave(this);
167 ir_texture::accept(ir_hierarchical_visitor
*v
)
169 ir_visitor_status s
= v
->visit_enter(this);
170 if (s
!= visit_continue
)
171 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
173 s
= this->sampler
->accept(v
);
174 if (s
!= visit_continue
)
175 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
177 s
= this->coordinate
->accept(v
);
178 if (s
!= visit_continue
)
179 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
181 if (this->projector
) {
182 s
= this->projector
->accept(v
);
183 if (s
!= visit_continue
)
184 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
187 if (this->shadow_comparitor
) {
188 s
= this->shadow_comparitor
->accept(v
);
189 if (s
!= visit_continue
)
190 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
197 s
= this->lod_info
.bias
->accept(v
);
198 if (s
!= visit_continue
)
199 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
203 s
= this->lod_info
.lod
->accept(v
);
204 if (s
!= visit_continue
)
205 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
208 s
= this->lod_info
.grad
.dPdx
->accept(v
);
209 if (s
!= visit_continue
)
210 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
212 s
= this->lod_info
.grad
.dPdy
->accept(v
);
213 if (s
!= visit_continue
)
214 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
218 return visit_continue_with_parent
;
223 ir_swizzle::accept(ir_hierarchical_visitor
*v
)
225 ir_visitor_status s
= v
->visit_enter(this);
226 if (s
!= visit_continue
)
227 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
229 s
= this->val
->accept(v
);
230 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
235 ir_dereference_variable::accept(ir_hierarchical_visitor
*v
)
237 return v
->visit(this);
242 ir_dereference_array::accept(ir_hierarchical_visitor
*v
)
244 ir_visitor_status s
= v
->visit_enter(this);
245 if (s
!= visit_continue
)
246 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
248 s
= this->array_index
->accept(v
);
249 if (s
!= visit_continue
)
250 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
252 s
= this->array
->accept(v
);
253 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
258 ir_dereference_record::accept(ir_hierarchical_visitor
*v
)
260 ir_visitor_status s
= v
->visit_enter(this);
261 if (s
!= visit_continue
)
262 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
264 s
= this->record
->accept(v
);
265 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
270 ir_assignment::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 s
= this->lhs
->accept(v
);
277 if (s
!= visit_continue
)
278 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
280 s
= this->rhs
->accept(v
);
281 if (s
!= visit_continue
)
282 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
285 s
= this->condition
->accept(v
);
287 return (s
== visit_stop
) ? s
: v
->visit_leave(this);
292 ir_constant::accept(ir_hierarchical_visitor
*v
)
294 return v
->visit(this);
299 ir_call::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
= visit_list_elements(v
, &this->actual_parameters
);
309 return v
->visit_leave(this);
314 ir_return::accept(ir_hierarchical_visitor
*v
)
316 ir_visitor_status s
= v
->visit_enter(this);
317 if (s
!= visit_continue
)
318 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
320 ir_rvalue
*val
= this->get_value();
323 if (s
!= visit_continue
)
324 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
327 return v
->visit_leave(this);
332 ir_discard::accept(ir_hierarchical_visitor
*v
)
334 ir_visitor_status s
= v
->visit_enter(this);
335 if (s
!= visit_continue
)
336 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
338 if (this->condition
!= NULL
) {
339 s
= this->condition
->accept(v
);
340 if (s
!= visit_continue
)
341 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
344 return v
->visit_leave(this);
349 ir_if::accept(ir_hierarchical_visitor
*v
)
351 ir_visitor_status s
= v
->visit_enter(this);
352 if (s
!= visit_continue
)
353 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
355 s
= this->condition
->accept(v
);
356 if (s
!= visit_continue
)
357 return (s
== visit_continue_with_parent
) ? visit_continue
: s
;
359 if (s
!= visit_continue_with_parent
) {
360 s
= visit_list_elements(v
, &this->then_instructions
);
365 if (s
!= visit_continue_with_parent
) {
366 s
= visit_list_elements(v
, &this->else_instructions
);
371 return v
->visit_leave(this);