From 08ec4eef3a4e27400b65182a1e21a646e4039322 Mon Sep 17 00:00:00 2001 From: jjenista Date: Sat, 31 Jul 2010 00:28:23 +0000 Subject: [PATCH] special loop optimization disable for ooojava --- Robust/src/IR/State.java | 1 + Robust/src/Main/Main.java | 12 ++++++++++-- Robust/src/buildscript | 4 ++++ 3 files changed, 15 insertions(+), 2 deletions(-) diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java index bdfb0ec0..2dde8276 100644 --- a/Robust/src/IR/State.java +++ b/Robust/src/IR/State.java @@ -105,6 +105,7 @@ public class State { public boolean OPTIONAL=false; + public boolean NOLOOP=false; public boolean ARRAYPAD=false; public boolean THREAD=false; public boolean CONSCHECK=false; diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java index d81a1ee3..047f6de7 100644 --- a/Robust/src/Main/Main.java +++ b/Robust/src/Main/Main.java @@ -270,6 +270,8 @@ public class Main { state.OPTIONAL=true; else if (option.equals("-optimize")) state.OPTIMIZE=true; + else if (option.equals("-noloop")) + state.NOLOOP=true; else if (option.equals("-dcopts")) state.DCOPTS=true; else if (option.equals("-arraypad")) @@ -356,6 +358,7 @@ public class Main { System.out.println("-ownwritedots -- write ownership graphs; can be all results or just final results"); System.out.println("-ownaliasfile -- write a text file showing all detected aliases in program tasks"); System.out.println("-optimize -- enable optimizations"); + System.out.println("-noloop -- disable loop optimizations"); System.out.println("-optional -- enable optional arguments"); System.out.println("-abcclose close the array boundary check"); System.out.println("-scheduling do task scheduling"); @@ -392,6 +395,7 @@ public class Main { for(int i=0;i