On 11/8/18 5:33 PM, Alex Bennée wrote: > - .bvr = addr > + .bvr = sextract64(addr, 52, 53)
I think you meant sextract64(addr, 0, 53). What you wrote *should* have asserted, since 52+53 > 64. r~
On 11/8/18 5:33 PM, Alex Bennée wrote: > - .bvr = addr > + .bvr = sextract64(addr, 52, 53)
I think you meant sextract64(addr, 0, 53). What you wrote *should* have asserted, since 52+53 > 64. r~