public void TrashRegister()
{
var r1 = m.Register(1);
var stm = m.Assign(r1, m.Int32(0));
trf = CreateTrashedRegisterFinder();
CreateBlockFlow(m.Block, m.Frame);
trf.StartProcessingBlock(m.Block);
stm.Accept(trf);
Debug.WriteLine(trf.RegisterSymbolicValues[(RegisterStorage)r1.Storage].ToString());
Assert.IsTrue(trf.IsTrashed(r1.Storage), "r1 should have been marked as trashed.");
}
public void TrashRegister()
{
var r1 = m.Register(1);
var stm = m.Assign(r1, m.Int32(0));
trf = CreateTrashedRegisterFinder();
CreateBlockFlow(m.Block, m.Frame);
trf.StartProcessingBlock(m.Block);
stm.Accept(trf);
Debug.WriteLine(trf.RegisterSymbolicValues[(RegisterStorage) r1.Storage].ToString());
Assert.IsTrue(trf.IsTrashed(r1.Storage), "r1 should have been marked as trashed.");
}
