On 5/28/24 06:18, Peter Maydell wrote:
On Sat, 25 May 2024 at 00:25, Richard Henderson
<richard.hender...@linaro.org> wrote:
For all, rm == 15 is invalid.
Prior to v8, thumb with rm == 13 is invalid.
For PLDW, rn == 15 is invalid.
Fixes a RISU mismatch for the HINTSPACE pattern in t32.risu
compared to a neoverse-n1 host.
These are UNPREDICTABLE cases, not invalid. In general
we don't try to match a specific implementation's
UNPREDICTABLE choices.
I think we're better off avoiding the mismatch by improving
the risu patterns to avoid the UNPREDICTABLE cases.
We do plenty of other treatments of UNPREDICTABLE as UNDEF (e.g. STREX). Why is this case
any different?
r~
