public override int GenerateCode(int loc, IVirtualMachine vm, CheckerInformation info)
{
loc = Expr.GenerateCode(loc, vm, info);
var type = GetExpressionType(info);
if (type == Type.BOOL)
{
//1 NE 1 == 0
//0 NE 1 == 1
vm.IntLoad(loc++, 1);
vm.IntNE(loc++);
}
else
{
throw new IVirtualMachine.InternalError(
"Cannot negate Non-Bool value " + Expr.ToString());
}
return(loc);
}