From: bdemsky <bdemsky>
Date: Mon, 29 Jun 2009 10:26:59 +0000 (+0000)
Subject: turn off write barrier
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=fa8d16f7baa4c1ae05bfb3068e30e92f91c003cf;p=IRC.git

turn off write barrier
---

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index e8728ef6..b0491f82 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1578,8 +1578,11 @@ public class BuildCode {
 	      }
 	    }
 	  }
-
+	  //turn off write barrier generation
+	  wb.turnoff();
 	  generateCode(faen, fm, lb, exitset, output, false);
+	  //turn on write barrier generation
+	  wb.turnon();
 	  output.println("}\n\n");
 	}
       }