[Mesa-dev] [PATCH 1/5] i965/cfg: Slightly rearrange dead_control_flow_eliminate

Ian Romanick idr at freedesktop.org
Thu Feb 25 22:40:56 UTC 2016


From: Ian Romanick <ian.d.romanick at intel.com>

'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 <ian.d.romanick at intel.com>
---
 .../drivers/dri/i965/brw_dead_control_flow.cpp     | 113 +++++++++++----------
 1 file 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 61f2581..716e2bc 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;
+         }
       }
    }
 
-- 
2.5.0



More information about the mesa-dev mailing list