Re: [PATCH v3 14/15] target/riscv: rewrite slli.uw implementation to mirror formal spec

2021-08-23 Thread Richard Henderson
On 8/23/21 9:40 AM, Philipp Tomsich wrote: The slli.uw instruction is defined as X(rd) = (EXTZ(X(rs)[31..0]) << shamt); This rewrites its implementation to directly match this, allowing for the small optimisation of not emitting the zero-extension if the immediate shift is greater than 32.

[PATCH v3 14/15] target/riscv: rewrite slli.uw implementation to mirror formal spec

2021-08-23 Thread Philipp Tomsich
The slli.uw instruction is defined as X(rd) = (EXTZ(X(rs)[31..0]) << shamt); This rewrites its implementation to directly match this, allowing for the small optimisation of not emitting the zero-extension if the immediate shift is greater than 32. Signed-off-by: Philipp Tomsich --- (no chan