Re: [PATCH 16/33] target/ppc: Implement Vector Insert Word from GPR using Immediate insns

[Richard Henderson]

On 10/26/21 7:33 AM, Matheus K. Ferst wrote:
> It says that "if UIM is greater than N, the result is undefined." My first read was also 
> that the outcome is "boundedly undefined," but I guess it can be understood as "the 
> resulting value in VRT will be undefined" (like when the pseudo-code uses "VRT <- 
> 0xUUUU_..._UUUU"), in which case this patch and Mambo are correct.

If the reference simulator is fine with it, I am too.

I'm just a bit disappointed with the laxness of the pseudocode -- they've got that 0xuuuu 
syntax elsewhere, but not here.


r~