From: Ian Romanick <ian.d.romanick@intel.com>
Date: Fri, 14 May 2010 21:31:25 +0000 (-0700)
Subject: Reimplement kill_for_derefs using ir_hierarchical_vistor
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=551c9c0deb6d6de6ce5ea08a4100a3b33e062ea2;p=mesa.git

Reimplement kill_for_derefs using ir_hierarchical_vistor

The output of all test cases was verified to be the same using diff.
---

diff --git a/ir_dead_code_local.cpp b/ir_dead_code_local.cpp
index de6a4f5e5d9..f101ccb5ec3 100644
--- a/ir_dead_code_local.cpp
+++ b/ir_dead_code_local.cpp
@@ -35,10 +35,8 @@
 
 #include <stdio.h>
 #include "ir.h"
-#include "ir_visitor.h"
 #include "ir_print_visitor.h"
 #include "ir_basic_block.h"
-#include "ir_visit_tree.h"
 #include "ir_optimization.h"
 #include "glsl_types.h"
 
@@ -59,31 +57,31 @@ public:
    ir_instruction *ir;
 };
 
-static void
-ir_kill_for_derefs_callback(ir_instruction *ir, void *data)
-{
-   exec_list *assignments = (exec_list *)data;
-   ir_variable *var = ir->as_variable();
-
-   if (!var)
-      return;
+class kill_for_derefs_visitor : public ir_hierarchical_visitor {
+public:
+   kill_for_derefs_visitor(exec_list *assignments)
+   {
+      this->assignments = assignments;
+   }
 
-   foreach_iter(exec_list_iterator, iter, *assignments) {
-      assignment_entry *entry = (assignment_entry *)iter.get();
+   virtual ir_visitor_status visit(ir_variable *var)
+   {
+      foreach_iter(exec_list_iterator, iter, *this->assignments) {
+	 assignment_entry *entry = (assignment_entry *)iter.get();
 
-      if (entry->lhs == var) {
-	 if (debug)
-	    printf("kill %s\n", entry->lhs->name);
-	 entry->remove();
+	 if (entry->lhs == var) {
+	    if (debug)
+	       printf("kill %s\n", entry->lhs->name);
+	    entry->remove();
+	 }
       }
+
+      return visit_continue;
    }
-}
 
-static void
-kill_for_derefs(ir_instruction *ir, exec_list *assignments)
-{
-   ir_visit_tree(ir, ir_kill_for_derefs_callback, assignments);
-}
+private:
+   exec_list *assignments;
+};
 
 /**
  * Adds an entry to the available copy list if it's a plain assignment
@@ -95,11 +93,12 @@ process_assignment(ir_assignment *ir, exec_list *assignments)
    ir_variable *var = NULL;
    bool progress = false;
    ir_instruction *current;
+   kill_for_derefs_visitor v(assignments);
 
    /* Kill assignment entries for things used to produce this assignment. */
-   kill_for_derefs(ir->rhs, assignments);
+   ir->rhs->accept(&v);
    if (ir->condition) {
-      kill_for_derefs(ir->condition, assignments);
+      ir->condition->accept(&v);
    }
 
    /* Walk down the dereference chain to find the variable at the end
@@ -114,7 +113,7 @@ process_assignment(ir_assignment *ir, exec_list *assignments)
 	 current = swiz->val;
       } else if ((deref = current->as_dereference())) {
 	 if (deref->mode == ir_dereference::ir_reference_array)
-	    kill_for_derefs(deref->selector.array_index, assignments);
+	    deref->selector.array_index->accept(&v);
 	 current = deref->var;
       } else {
 	 var = current->as_variable();
@@ -199,7 +198,8 @@ dead_code_local_basic_block(ir_instruction *first,
       if (ir_assign) {
 	 progress = process_assignment(ir_assign, &assignments) || progress;
       } else {
-	 kill_for_derefs(ir, &assignments);
+	 kill_for_derefs_visitor kill(&assignments);
+	 ir->accept(&kill);
       }
 
       if (ir == last)