public static bool TryTransform(DelayedTransformations delayedTransformations, SourceRoutineSymbol routine)
{
if (routine.ControlFlowGraph == null)
{
// abstract method
return(false);
}
//
var rewriter = new TransformationRewriter(delayedTransformations, routine);
var currentCFG = routine.ControlFlowGraph;
var updatedCFG = (ControlFlowGraph)rewriter.VisitCFG(currentCFG);
routine.ControlFlowGraph = updatedCFG;
Debug.Assert((rewriter.TransformationCount != 0) == (updatedCFG != currentCFG)); // transformations <=> cfg updated //
return(updatedCFG != currentCFG);
}
public static bool TryTransform(DelayedTransformations delayedTransformations, SourceRoutineSymbol routine)
{
if (routine.ControlFlowGraph == null)
{
// abstract method
return(false);
}
//
var rewriter = new TransformationRewriter(delayedTransformations, routine);
var currentCFG = routine.ControlFlowGraph;
var updatedCFG = (ControlFlowGraph)rewriter.VisitCFG(currentCFG);
rewriter.TryTransformParameters();
routine.ControlFlowGraph = updatedCFG;
Debug.Assert(updatedCFG == currentCFG || rewriter.TransformationCount != 0); // cfg updated => transformations (not <= due to parameter transformations)
return(updatedCFG != currentCFG);
}
private TransformationRewriter(DelayedTransformations delayedTransformations, SourceRoutineSymbol routine)
{
_delayedTransformations = delayedTransformations;
_routine = routine;
}
private TransformationRewriter(DelayedTransformations delayedTransformations, SourceRoutineSymbol routine)
{
_delayedTransformations = delayedTransformations;
_routine = routine ?? throw ExceptionUtilities.ArgumentNull(nameof(routine));
}