On 12/10/2013 09:58 AM, Tom Musta wrote: >> > The second test can never be true, since ra has 32 zero bits. >> > Thus the first test is also pointless. > Hmm. Consider the case where GPR[RA] = 0xUUUUUUUU_80000000 (U=don't care) and > GPR[RB] = 0xUUUUUUUU_FFFFFFFF. Without these checks, I do not believe > overflow > will be properly detected. >
Hmm. I'm not sure what I was thinking here. Ignore all that. r~
