public void LciLiveAtLoop()
{
Build(new LiveLoopMock().Procedure, new FakeArchitecture());
var lci = new LiveCopyInserter(proc, ssaIds);
var i = ssaIds.Where(s => s.Identifier.Name == "i").Single().Identifier;
var i_3 = ssaIds.Where(s => s.Identifier.Name == "i_3").Single().Identifier;
var loopHdr = proc.ControlGraph.Blocks[2];
Assert.IsFalse(lci.IsLiveAtCopyPoint(i, loopHdr));
Assert.IsTrue(lci.IsLiveAtCopyPoint(i_3, loopHdr), "i_3 should be live");
}
