Dear HAVM maintainers,
Tiger specifications do not precisely define the expected behavior of an
integer overflow. Currently, HAVM does not coerce its arithmetic
computations to an Int32 type.
To be consistent with nolimips, spim, and most current architectures, it
would be nice that arithmetic operations in HAVM wrap around.
The tentative attached patch fixes this. (I went for the less intrusive
fix, a more radical solution would be to redefine all Int types in HAVM
to Int32.)
Regards,
Pablo Oliveira
