public void VpMkSequenceToAddress()
{
Constant seg = Constant.Create(PrimitiveType.SegmentSelector, 0x4711);
Constant off = Constant.Word16(0x4111);
arch.Expect(a => a.MakeSegmentedAddress(seg, off)).Return(Address.SegPtr(0x4711, 0x4111));
mr.ReplayAll();
Expression e = new MkSequence(PrimitiveType.Word32, seg, off);
var vp = new ExpressionSimplifier(new SsaEvaluationContext(arch, ssaIds));
e = e.Accept(vp);
Assert.IsInstanceOf(typeof(Address), e);
Assert.AreEqual("4711:4111", e.ToString());
mr.VerifyAll();
}
