diff options
author | Ian Romanick <[email protected]> | 2016-02-24 18:52:05 -0800 |
---|---|---|
committer | Ian Romanick <[email protected]> | 2016-02-26 16:51:27 -0800 |
commit | 70cf0eb5c72c8115b1d2fe6532c97640b4043c0c (patch) | |
tree | 5dc42e959118e7c27d0daaaa58cc362111646eca | |
parent | a0294c2cf3d23943c7f365abf84765afa0f383a2 (diff) |
i965/cfg: Slightly rearrange dead_control_flow_eliminate
'git diff -w' is a bit more illustrative. A couple declarations were
moved, the continue was removed, and the code was reindented. This will
simplify future changes.
Signed-off-by: Ian Romanick <[email protected]>
Reviewed-by: Francisco Jerez <[email protected]>
-rw-r--r-- | src/mesa/drivers/dri/i965/brw_dead_control_flow.cpp | 113 |
1 files changed, 57 insertions, 56 deletions
diff --git a/src/mesa/drivers/dri/i965/brw_dead_control_flow.cpp b/src/mesa/drivers/dri/i965/brw_dead_control_flow.cpp index 61f25811cb2..716e2bc25ba 100644 --- a/src/mesa/drivers/dri/i965/brw_dead_control_flow.cpp +++ b/src/mesa/drivers/dri/i965/brw_dead_control_flow.cpp @@ -41,76 +41,77 @@ dead_control_flow_eliminate(backend_shader *s) bool progress = false; foreach_block_safe (block, s->cfg) { - bblock_t *if_block = NULL, *else_block = NULL, *endif_block = block; - bool found = false; + backend_instruction *const inst = block->start(); /* ENDIF instructions, by definition, can only be found at the start of * basic blocks. */ - backend_instruction *endif_inst = endif_block->start(); - if (endif_inst->opcode != BRW_OPCODE_ENDIF) - continue; - - backend_instruction *if_inst = NULL, *else_inst = NULL; - backend_instruction *prev_inst = endif_block->prev()->end(); - if (prev_inst->opcode == BRW_OPCODE_ELSE) { - else_inst = prev_inst; - else_block = endif_block->prev(); - found = true; - - if (else_block->start_ip == else_block->end_ip) - prev_inst = else_block->prev()->end(); - } + if (inst->opcode == BRW_OPCODE_ENDIF) { + bool found = false; + bblock_t *if_block = NULL, *else_block = NULL, *endif_block = block; + backend_instruction *endif_inst = inst; + + backend_instruction *if_inst = NULL, *else_inst = NULL; + backend_instruction *prev_inst = endif_block->prev()->end(); + if (prev_inst->opcode == BRW_OPCODE_ELSE) { + else_inst = prev_inst; + else_block = endif_block->prev(); + found = true; + + if (else_block->start_ip == else_block->end_ip) + prev_inst = else_block->prev()->end(); + } - if (prev_inst->opcode == BRW_OPCODE_IF) { - if_inst = prev_inst; - if_block = else_block != NULL ? else_block->prev() - : endif_block->prev(); - found = true; - } else { - /* Don't remove the ENDIF if we didn't find a dead IF. */ - endif_inst = NULL; - } + if (prev_inst->opcode == BRW_OPCODE_IF) { + if_inst = prev_inst; + if_block = else_block != NULL ? else_block->prev() + : endif_block->prev(); + found = true; + } else { + /* Don't remove the ENDIF if we didn't find a dead IF. */ + endif_inst = NULL; + } - if (found) { - bblock_t *earlier_block = NULL, *later_block = NULL; + if (found) { + bblock_t *earlier_block = NULL, *later_block = NULL; - if (if_inst) { - if (if_block->start_ip == if_block->end_ip) { - earlier_block = if_block->prev(); - } else { - earlier_block = if_block; + if (if_inst) { + if (if_block->start_ip == if_block->end_ip) { + earlier_block = if_block->prev(); + } else { + earlier_block = if_block; + } + if_inst->remove(if_block); } - if_inst->remove(if_block); - } - if (else_inst) { - else_inst->remove(else_block); - } - - if (endif_inst) { - if (endif_block->start_ip == endif_block->end_ip) { - later_block = endif_block->next(); - } else { - later_block = endif_block; + if (else_inst) { + else_inst->remove(else_block); } - endif_inst->remove(endif_block); - } - assert((earlier_block == NULL) == (later_block == NULL)); - if (earlier_block && earlier_block->can_combine_with(later_block)) { - earlier_block->combine_with(later_block); + if (endif_inst) { + if (endif_block->start_ip == endif_block->end_ip) { + later_block = endif_block->next(); + } else { + later_block = endif_block; + } + endif_inst->remove(endif_block); + } - /* If ENDIF was in its own block, then we've now deleted it and - * merged the two surrounding blocks, the latter of which the - * __next block pointer was pointing to. - */ - if (endif_block != later_block) { - __next = earlier_block->next(); + assert((earlier_block == NULL) == (later_block == NULL)); + if (earlier_block && earlier_block->can_combine_with(later_block)) { + earlier_block->combine_with(later_block); + + /* If ENDIF was in its own block, then we've now deleted it and + * merged the two surrounding blocks, the latter of which the + * __next block pointer was pointing to. + */ + if (endif_block != later_block) { + __next = earlier_block->next(); + } } - } - progress = true; + progress = true; + } } } |