Richard Henderson <richard.hender...@linaro.org> writes:
> 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. Dam, I did fix that. I must have failed to propagate the fix from where I was hacking :-/ > > > r~ -- Alex Bennée
