From: bdemsky Date: Mon, 29 Jun 2009 10:30:31 +0000 (+0000) Subject: allow turning off this analysisi X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6c253b960294ca9af711a5b33d8dbd281354d069;p=IRC.git allow turning off this analysisi --- diff --git a/Robust/src/Analysis/Loops/WriteBarrier.java b/Robust/src/Analysis/Loops/WriteBarrier.java index 7a933bff..16a6d79d 100644 --- a/Robust/src/Analysis/Loops/WriteBarrier.java +++ b/Robust/src/Analysis/Loops/WriteBarrier.java @@ -12,12 +12,25 @@ public class WriteBarrier { /* This computes whether we actually need a write barrier. */ LocalityAnalysis la; State state; + boolean turnoff; + public WriteBarrier(LocalityAnalysis la, State state) { this.la=la; this.state=state; + turnoff=false; + } + + public void turnoff() { + turnoff=true; + } + + public void turnon() { + turnoff=false; } public boolean needBarrier(FlatNode fn) { + if (turnoff) + return false; HashSet nb=computeIntersection(fn); switch(fn.kind()) { case FKind.FlatSetElementNode: