public void Vse_GetType()
{
Given_UInt32Array(0x2080, new uint[] { 0x1100, 0x1060, 0x1800 });
var r0 = m.Reg32("r0", 0);
Given_ValueSet(r0, IVS(1, 0, 2));
Given_Evaluator();
var exp = m.Mem32(m.IAdd(m.IMul(r0, 4), 0x2080));
var(vs, reads) = vse.Evaluate(exp);
Assert.AreEqual("[0x00001100,0x00001060,0x00001800]", vs.ToString());
Assert.AreEqual("([00002080, word32],[00002084, word32],[00002088, word32])", DumpReads(reads));
}
public void Vse_Identifier()
{
var r1 = m.Reg32("r1", 1);
Given_ValueSet(r1, IVS(4, 0, 20));
Given_Evaluator();
var vs = vse.Evaluate(r1);
Assert.AreEqual("4[0,14]", vs.Item1.ToString());
}
