public CoveragePass(StaticSettings settings)
: base(true)
{
passName = "Coverage verification pass";
procsNotCovered = null;
this.settings = settings;
}
public ErrorProjectionPass(StaticSettings settings)
: base(true)
{
passName = "Error projection pass";
labelProcMap = null;
procsOnEP = new HashSet <string>();
ErrorProjection = null;
this.settings = settings;
}
public StaticInliningAndUnrollingPass(StaticSettings settings)
{
this.settings = settings;
passName = "Static Inlining and Loop Unrolling (" + settings.staticInlining.ToString() + "," + settings.numLoopUnrolls.ToString() + ")";
if (settings.numLoopUnrolls < 0 && settings.staticInlining <= 0)
{
// no-op
cp = null;
}
else if (settings.numLoopUnrolls < 0)
{
cp = new InliningPass(settings.staticInlining);
}
else if (settings.staticInlining <= 0)
{
cp = new LoopUnrollingPass(settings.numLoopUnrolls);
}
else
{
cp = new CompositePass(new LoopUnrollingPass(settings.numLoopUnrolls), new InliningPass(settings.staticInlining));
}
}
