[PATCH] x86: Enable Intel AVX512 VP2INTERSECT instruction

[Jan Beulich]

>>> On 31.05.19 at 18:38, <hjl.tools@gmail.com> wrote:
> On Fri, May 31, 2019 at 4:45 AM Jan Beulich <JBeulich@suse.com> wrote:
>>
>> >>> On 31.05.19 at 09:05, <lili.cui@intel.com> wrote:
>> > gas/
>> >
>> > 2019-05-27  Igor Tsimbalist  <igor.v.tsimbalist@intel.com>
>> >           Lili Cui  <lili.cui@intel.com>
>> >
>> >       * config/tc-i386.c (cpu_arch): Add .avx512_vp2intersect.
>> >       (cpu_noarch): Likewise.
>>
>> I think there's code missing here: Just like for 4FMAPS and 4VNNIW
>> insns we warn when the programmer has specified a register not
>> evenly divisible by 4 (see the ImplicitQuadGroup attribute), you want
>> to warn here for an odd-numbered mask register. However, rather
>> than taking the easy route by simply adding another boolean, please
>> consider converting the existing one to an enum-like attribute, and
>> simply add another enumerator for the case here. Or quite possibly
>> a renamed boolean attribute could do - both cases can be easily
>> distinguished by there being a %k register affected here, but
>> %[xyz]mm ones there.
> 
> vp2intersectd %zmm1, %zmm2, %k0
> vp2intersectd %zmm1, %zmm2, %k1
> 
> are well defined by
> 
> // dest_mask_reg_id is the register id specified in the instruction for 
> destmask
> dest_base ← dest_mask_reg_id & ~1
> 
> There is no requirement for even mask registers.

But similarly there is

src_base ← src_reg_id & ~3 // for src1 operand

for the 4FMAPS instructions, and

src_base ← src_reg_id & ~ (N-1) // for src1 operand

for the 4VNNIW ones, and these get warned about. Let's be consistent
with such warnings.

Jan