On 7/11/19 3:32 PM, Jan Bobek wrote:
> +# VEX.LIG.F3.0F.WIG 10 /r: VMOVSS xmm1, xmm2, xmm3
> +# VEX.LIG.F3.0F.WIG 10 /r: VMOVSS xmm1, m32
> +# VEX.LIG.F3.0F.WIG 11 /r: VMOVSS xmm1, xmm2, xmm3
> +# VEX.LIG.F3.0F.WIG 11 /r: VMOVSS m32, xmm1
> +VMOVSS AVX 0001000 d \
> + !constraints { vex($_, m => 0x0F, l => 0, p => 0xF3); modrm($_);
> $_->{vex}{v} = 0 unless defined $_->{modrm}{reg2}; 1 } \
> + !memory { $d ? store(size => 4) : load(size => 4); }
Why the l => 0? LIG does mean VEX.L ignored, so why not let it get randomized
as you do for WIG?
Not wrong as is... this is the documented value for scalar operands. But there
is a different document markup, LZ, for required (E)VEX.L == 0.
Reviewed-by: Richard Henderson <richard.hender...@linaro.org>
r~
