Re: [Qemu-devel] ARM: SVE while issue

2018-07-31 Thread Laurent Desnogues
Hello, On Tue, Jul 31, 2018 at 6:36 PM, Richard Henderson 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

Re: [Qemu-devel] ARM: SVE while issue

2018-07-31 Thread Richard Henderson
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 does

[Qemu-devel] ARM: SVE while issue

2018-07-31 Thread Laurent Desnogues
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