OpenHarmony/third_party_mesa3d
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ir_validate: Validate loop control fields in ir_loop

Browse Source
This commit is contained in:
Ian Romanick
2010-08-26 15:22:06 -07:00
parent 3b85f1cc6c
commit 53acbd87d7
1 changed files with 35 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
src/glsl/ir_validate.cpp
View File

@@ -61,6 +61,7 @@ public:
virtual ir_visitor_status visit(ir_dereference_variable *ir); virtual ir_visitor_status visit(ir_dereference_variable *ir);
virtual ir_visitor_status visit(ir_if *ir); virtual ir_visitor_status visit(ir_if *ir);
virtual ir_visitor_status visit_leave(ir_loop *ir);
virtual ir_visitor_status visit_enter(ir_function *ir); virtual ir_visitor_status visit_enter(ir_function *ir);
virtual ir_visitor_status visit_leave(ir_function *ir); virtual ir_visitor_status visit_leave(ir_function *ir);
virtual ir_visitor_status visit_enter(ir_function_signature *ir); virtual ir_visitor_status visit_enter(ir_function_signature *ir);
@@ -113,6 +114,40 @@ ir_validate::visit(ir_if *ir)
} }
ir_visitor_status
ir_validate::visit_leave(ir_loop *ir)
{
if (ir->counter != NULL) {
if ((ir->from == NULL) || (ir->from == NULL) || (ir->increment == NULL)) {
printf("ir_loop has invalid loop controls:\n"
" counter: %p\n"
" from: %p\n"
" to: %p\n"
" increment: %p\n",
ir->counter, ir->from, ir->to, ir->increment);
abort();
}
if ((ir->cmp < ir_binop_less) || (ir->cmp > ir_binop_nequal)) {
printf("ir_loop has invalid comparitor %d\n", ir->cmp);
abort();
}
} else {
if ((ir->from != NULL) || (ir->from != NULL) || (ir->increment != NULL)) {
printf("ir_loop has invalid loop controls:\n"
" counter: %p\n"
" from: %p\n"
" to: %p\n"
" increment: %p\n",
ir->counter, ir->from, ir->to, ir->increment);
abort();
}
}
return visit_continue;
}
ir_visitor_status ir_visitor_status
ir_validate::visit_enter(ir_function *ir) ir_validate::visit_enter(ir_function *ir)
{ {