public void VpSliceShift() { Constant eight = Constant.Word16(8); Identifier C = m.Reg8("C"); Expression e = new Slice(PrimitiveType.Byte, new BinaryExpression(Operator.Shl, PrimitiveType.Word16, C, eight), 8); var vp = new ExpressionSimplifier(segmentMap, new SsaEvaluationContext(arch.Object, m.Ssa.Identifiers, dynamicLinker.Object), listener); e = e.Accept(vp); Assert.AreEqual("C", e.ToString()); }