Search in sources :

Example 6 with Register

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;
}
Also used : Register(dartagnan.program.Register) Location(dartagnan.program.Location)

Aggregations

Location (dartagnan.program.Location)6 Register (dartagnan.program.Register)6 Event (dartagnan.program.Event)5 Load (dartagnan.program.Load)5 Local (dartagnan.program.Local)5 MemEvent (dartagnan.program.MemEvent)5 com.microsoft.z3 (com.microsoft.z3)4 Init (dartagnan.program.Init)4 Program (dartagnan.program.Program)4 Store (dartagnan.program.Store)4 Set (java.util.Set)4 Collectors (java.util.stream.Collectors)4 HashSet (java.util.HashSet)3 Assert (dartagnan.expression.Assert)2 HighLocation (dartagnan.program.HighLocation)2 Utils (dartagnan.utils.Utils)2 Utils.edge (dartagnan.utils.Utils.edge)2 Utils.lastValueLoc (dartagnan.utils.Utils.lastValueLoc)2 Utils.lastValueReg (dartagnan.utils.Utils.lastValueReg)2 Utils.ssaReg (dartagnan.utils.Utils.ssaReg)2