public void ClassifyUses()
{
foreach (Statement stm in ssa.Identifiers[ctx.PhiIdentifier].Uses)
{
if (stm == ctx.DeltaStatement)
continue;
if (stm == ctx.TestStatement)
continue;
IncrementedUseFinder iuf = new IncrementedUseFinder(incrUses);
iuf.Match(ctx.PhiIdentifier, stm);
}
}
/// <summary>
/// Find all places where phi identifiers are used except the statements
/// that test the phi variable and increment the variable
/// </summary>
public void ClassifyUses()
{
foreach (Statement stm in ssa.Identifiers[ctx.PhiIdentifier].Uses)
{
if (stm == ctx.DeltaStatement)
{
continue;
}
if (stm == ctx.TestStatement)
{
continue;
}
IncrementedUseFinder iuf = new IncrementedUseFinder(incrUses);
iuf.Match(ctx.PhiIdentifier, stm);
}
}
