state change
[IRC.git] / Robust / src / IR / State.java
1 package IR;
2 import IR.Tree.*;
3 import IR.Flat.*;
4 import IR.*;
5 import java.util.*;
6 import Analysis.TaskStateAnalysis.*;
7
8 public class State {
9
10     public int lines;
11   public State() {
12     this.classes=new SymbolTable();
13     this.tasks=new SymbolTable();
14     this.treemethodmap=new Hashtable();
15     this.flatmethodmap=new Hashtable();
16     this.parsetrees=new HashSet();
17     this.arraytypes=new HashSet();
18     this.arraytonumber=new Hashtable();
19     this.tagmap=new Hashtable();
20     this.selfloops=new HashSet();
21     this.excprefetch=new HashSet();
22     this.classpath=new Vector();
23     this.lines=0;
24   }
25
26   public void addParseNode(ParseNode parsetree) {
27     parsetrees.add(parsetree);
28   }
29
30   public void storeAnalysisResult(Hashtable<ClassDescriptor, Hashtable<FlagState, Set<OptionalTaskDescriptor>>> analysisresults) {
31     this.analysisresults=analysisresults;
32   }
33
34   public Hashtable<ClassDescriptor, Hashtable<FlagState, Set<OptionalTaskDescriptor>>> getAnalysisResult() {
35     return analysisresults;
36   }
37
38
39   public void storeOptionalTaskDescriptors(Hashtable<ClassDescriptor, Hashtable<OptionalTaskDescriptor, OptionalTaskDescriptor>> optionaltaskdescriptors) {
40     this.optionaltaskdescriptors=optionaltaskdescriptors;
41   }
42
43   public Hashtable<ClassDescriptor, Hashtable<OptionalTaskDescriptor, OptionalTaskDescriptor>> getOptionalTaskDescriptors() {
44     return optionaltaskdescriptors;
45   }
46
47
48   /** Boolean flag which indicates whether compiler is compiling a task-based
49    * program. */
50   public boolean WEBINTERFACE=false;
51   public boolean TASK=false;
52   public boolean FASTCHECK=false;
53   public boolean DSM=false;
54   public boolean PREFETCH=false;
55   public boolean TASKSTATE=false;
56   public boolean TAGSTATE=false;
57   public boolean FLATIRGRAPH=false;
58   public boolean FLATIRGRAPHTASKS=false;
59   public boolean FLATIRGRAPHUSERMETHODS=false;
60   public boolean FLATIRGRAPHLIBMETHODS=false;
61   public boolean MULTICORE=false;
62   public boolean OWNERSHIP=false;
63   public int OWNERSHIPALLOCDEPTH=3;
64   public boolean OWNERSHIPWRITEDOTS=false;
65   public boolean OWNERSHIPWRITEALL=false;
66   public String OWNERSHIPALIASFILE=null;
67   public boolean OPTIONAL=false;
68   public boolean ARRAYBOUNDARYCHECK=true;
69   public boolean RAW=false;
70   public boolean SCHEDULING=false;
71   public boolean USEPROFILE=false;
72   public boolean THREAD=false;
73   public boolean CONSCHECK=false;
74   public boolean INSTRUCTIONFAILURE=false;
75   public boolean MLP=false;
76   public static double TRUEPROB=0.8;
77   public static boolean PRINTFLAT=false;
78   public static boolean PRINTSCHEDULING=false;
79   public static boolean PRINTSCHEDULESIM=false;
80   public static boolean PRINTCRITICALPATH=false;
81   public static boolean ABORTREADERS=false;
82   public static boolean SINGLETM=false;
83   public int CORENUM = 1;
84   public String structfile;
85   public String main;
86   public String outputdir = "/scratch/";
87
88   public HashSet selfloops;
89   public HashSet excprefetch;
90   public Vector classpath;
91   public SymbolTable classes;
92   public SymbolTable tasks;
93   public Set parsetrees;
94   public Hashtable treemethodmap;
95   public Hashtable flatmethodmap;
96   private HashSet arraytypes;
97   public Hashtable arraytonumber;
98   private int numclasses=0;
99   private int numtasks=0;
100   private int arraycount=0;
101   public boolean OPTIMIZE=false;
102
103
104   private Hashtable<ClassDescriptor, Hashtable<OptionalTaskDescriptor, OptionalTaskDescriptor>> optionaltaskdescriptors;
105   private Hashtable<ClassDescriptor, Hashtable<FlagState, Set<OptionalTaskDescriptor>>> analysisresults;
106
107   private Hashtable tagmap;
108   private int numtags=0;
109
110   public void addArrayType(TypeDescriptor td) {
111     if (!arraytypes.contains(td)) {
112       arraytypes.add(td);
113       arraytonumber.put(td,new Integer(arraycount++));
114     }
115   }
116
117   public Iterator getArrayIterator() {
118     return arraytypes.iterator();
119   }
120
121   public int getTagId(TagDescriptor tag) {
122     if (tagmap.containsKey(tag)) {
123       return ((Integer) tagmap.get(tag)).intValue();
124     } else {
125       tagmap.put(tag, new Integer(numtags));
126       return numtags++;
127     }
128   }
129
130   public int getArrayNumber(TypeDescriptor td) {
131     if (arraytonumber.containsKey(td))
132       return ((Integer)arraytonumber.get(td)).intValue();
133     else return -1;
134   }
135
136   public int numArrays() {
137     return arraytypes.size();
138   }
139
140   public static TypeDescriptor getTypeDescriptor(int t) {
141     TypeDescriptor td=new TypeDescriptor(t);
142     return td;
143   }
144
145   public static TypeDescriptor getTypeDescriptor(NameDescriptor n) {
146     TypeDescriptor td=new TypeDescriptor(n);
147     return td;
148   }
149
150   public void addClass(ClassDescriptor tdn) {
151     if (classes.contains(tdn.getSymbol()))
152       throw new Error("Class "+tdn.getSymbol()+" defined twice");
153     classes.add(tdn);
154     numclasses++;
155   }
156
157   public int numClasses() {
158     return numclasses;
159   }
160
161   public BlockNode getMethodBody(MethodDescriptor md) {
162     return (BlockNode)treemethodmap.get(md);
163   }
164
165   public BlockNode getMethodBody(TaskDescriptor td) {
166     return (BlockNode)treemethodmap.get(td);
167   }
168
169   public SymbolTable getClassSymbolTable() {
170     return classes;
171   }
172
173   public SymbolTable getTaskSymbolTable() {
174     return tasks;
175   }
176
177   /** Returns Flat IR representation of MethodDescriptor md. */
178
179   public FlatMethod getMethodFlat(MethodDescriptor md) {
180     return (FlatMethod)flatmethodmap.get(md);
181   }
182
183   /** Returns Flat IR representation of TaskDescriptor td. */
184
185   public FlatMethod getMethodFlat(TaskDescriptor td) {
186     return (FlatMethod)flatmethodmap.get(td);
187   }
188
189   public void addTreeCode(MethodDescriptor md, BlockNode bn) {
190     treemethodmap.put(md,bn);
191   }
192
193   public void addTreeCode(TaskDescriptor td, BlockNode bn) {
194     treemethodmap.put(td,bn);
195   }
196
197   public void addFlatCode(MethodDescriptor md, FlatMethod bn) {
198     flatmethodmap.put(md,bn);
199   }
200
201   public void addFlatCode(TaskDescriptor td, FlatMethod bn) {
202     flatmethodmap.put(td,bn);
203   }
204
205   public void addTask(TaskDescriptor td) {
206     if (tasks.contains(td.getSymbol()))
207       throw new Error("Task "+td.getSymbol()+" defined twice");
208     tasks.add(td);
209     numtasks++;
210   }
211 }