public void Liv_FindLinearIncrement() { List <SsaIdentifier> a = BuildScc(); LinearInductionVariableFinder liv = new LinearInductionVariableFinder(null, dom); Constant c = liv.FindLinearIncrement(a); Assert.AreEqual(4, c.ToInt32()); Assert.AreEqual("a_3 = a_2 + 4<32>", liv.Context.DeltaStatement.ToString()); }
public void Liv_FindLinearIncrement() { List<SsaIdentifier> a = BuildScc(); LinearInductionVariableFinder liv = new LinearInductionVariableFinder(null, null, dom); Constant c = liv.FindLinearIncrement(a); Assert.AreEqual(4, c.ToInt32()); Assert.AreEqual("a_2 = a_1 + 0x00000004", liv.Context.DeltaStatement.ToString()); }