Hello, On Tue, Jul 31, 2018 at 6:36 PM, Richard Henderson <richard.hender...@linaro.org> wrote: > On 07/31/2018 09:52 AM, Laurent Desnogues wrote: >> Hello Richard, >> >> according to SVE specification, whilels/whilele instructions have a >> special case where if the second operand is the maximum (un)signed >> integer then the result is an all-true predicate. The current code in >> trans_WHILE doesn't seem to capture that requirement. I'm afraid the >> fix won't be as trivial as for the other two bugs I reported :-) > > Still not too bad. > Testing a fix for my branch now.
I gave it a look and tested it, it works fine! Thanks, Laurent > Annoying that risu didn't randomly generate this case, > and I totally mis-read the documentation for this. > > > r~ >