public ReachDefAnalysisSlotsMThreads(string name, ReachDefAnalysisContext rdaContext) { this.configuration = Core.AppContext.GetConfiguration(); this.Name = name; this.rdaContext = rdaContext; }
public ReachDefAnalysisSlots( string name, ReachDefAnalysisContext rdaContext, SortedDictionary <long, SortedSet <long> > nodeVLevels) { this.configuration = Core.AppContext.GetConfiguration(); this.Name = name; this.rdaContext = rdaContext; this.nodeVLevels = nodeVLevels; }
public void Init( ReachDefAnalysisContext rdaContext, SortedSet <long> vars, SortedSet <long> varNodes, SortedDictionary <long, SortedSet <long> > nodeVLevels, long currentLevel, SortedDictionary <long, SortedSet <DefUsePair> > defUsePairSet) { this.rdaContext = rdaContext; this.vars = vars; this.varNodes = varNodes; this.nodeVLevels = nodeVLevels; this.currentLevel = currentLevel; this.defUsePairSet = defUsePairSet; }
public void Init() { log.Info("Build TConsist pair set"); CreateVariableSets(); rdaContext = new ReachDefAnalysisContext ( meapContext.TArbSeqCFG, meapContext.Vars, meapContext.Assignments, meapContext.Usages ); rdaContext.EnumerateDefsAndUsages(); meapContext.NodeToVarMap = new SortedDictionary <long, long>(rdaContext.NodeToVarMap); }