From 6c253b960294ca9af711a5b33d8dbd281354d069 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Mon, 29 Jun 2009 10:30:31 +0000 Subject: [PATCH] allow turning off this analysisi --- Robust/src/Analysis/Loops/WriteBarrier.java | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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: -- 2.34.1