On 1/29/19 1:55 AM, Peter Maydell wrote: >> As written above, this will execute more than once. > > I don't see how -- all the code paths forward from > "guarded |= extract64(descriptor, 50, 1);" reach a > "break" statement that terminates the loop, don't they?
You're right. I've misread the surrounding code. r~
