use of dartagnan.program.Register in project Dat3M by hernanponcedeleon.
the class MapSSA method clone.
public MapSSA clone() {
MapSSA map = new MapSSA();
map.locMap = new ConcurrentHashMap<Location, Integer>();
map.regMap = new ConcurrentHashMap<Register, Integer>();
for (Register reg : regMap.keySet()) {
map.put(reg, this.get(reg));
}
for (Location loc : locMap.keySet()) {
map.put(loc, this.get(loc));
}
return map;
}
Aggregations