'avx512' Dialect

Operation definition ¶

avx512.intr.mask.compress (::mlir::avx512::MaskCompressIntrOp) ¶

Operands: ¶

Results: ¶

avx512.mask.compress (::mlir::avx512::MaskCompressOp) ¶

Masked compress op

Syntax:

operation ::= `avx512.mask.compress` $k `,` $a (`,` $src^)? attr-dict `:` type($dst) (`,` type($src)^)?

The mask.compress op is an AVX512 specific op that can lower to the llvm.mask.compress instruction. Instead of src, a constant vector vector attribute constant_src may be specified. If neither src nor constant_src is specified, the remaining elements in the result vector are set to zero.

From the Intel Intrinsics Guide: ¶

Contiguously store the active integer/floating-point elements in a (those with their respective bit set in writemask k) to dst, and pass through the remaining elements from src.

Attributes: ¶

Operands: ¶

Results: ¶

avx512.mask.rndscale (::mlir::avx512::MaskRndScaleOp) ¶

Masked roundscale op

Syntax:

operation ::= `avx512.mask.rndscale` $src `,` $k `,` $a `,` $imm `,` $rounding attr-dict `:` type($dst)

The mask.rndscale op is an AVX512 specific op that can lower to the proper LLVMAVX512 operation: llvm.mask.rndscale.ps.512 or llvm.mask.rndscale.pd.512 instruction depending on the type of vectors it is applied to.

From the Intel Intrinsics Guide: ¶

Round packed floating-point elements in a to the number of fraction bits specified by imm, and store the results in dst using writemask k (elements are copied from src when the corresponding mask bit is not set).

Operands: ¶

Results: ¶

avx512.intr.mask.rndscale.pd.512 (::mlir::avx512::MaskRndScalePDIntrOp) ¶

Operands: ¶

Results: ¶

avx512.intr.mask.rndscale.ps.512 (::mlir::avx512::MaskRndScalePSIntrOp) ¶

Operands: ¶

Results: ¶

avx512.mask.scalef (::mlir::avx512::MaskScaleFOp) ¶

ScaleF op

Syntax:

operation ::= `avx512.mask.scalef` $src `,` $a `,` $b `,` $k `,` $rounding attr-dict `:` type($dst)

The mask.scalef op is an AVX512 specific op that can lower to the proper LLVMAVX512 operation: llvm.mask.scalef.ps.512 or llvm.mask.scalef.pd.512 depending on the type of MLIR vectors it is applied to.

From the Intel Intrinsics Guide: ¶

Scale the packed floating-point elements in a using values from b, and store the results in dst using writemask k (elements are copied from src when the corresponding mask bit is not set).

Operands: ¶

Results: ¶

avx512.intr.mask.scalef.pd.512 (::mlir::avx512::MaskScaleFPDIntrOp) ¶

Operands: ¶

Results: ¶

avx512.intr.mask.scalef.ps.512 (::mlir::avx512::MaskScaleFPSIntrOp) ¶

Operands: ¶

Results: ¶

avx512.intr.vp2intersect.d.512 (::mlir::avx512::Vp2IntersectDIntrOp) ¶

Operands: ¶

Results: ¶

avx512.vp2intersect (::mlir::avx512::Vp2IntersectOp) ¶

Vp2Intersect op

Syntax:

operation ::= `avx512.vp2intersect` $a `,` $b attr-dict `:` type($a)

The vp2intersect op is an AVX512 specific op that can lower to the proper LLVMAVX512 operation: llvm.vp2intersect.d.512 or llvm.vp2intersect.q.512 depending on the type of MLIR vectors it is applied to.

From the Intel Intrinsics Guide: ¶

Compute intersection of packed integer vectors a and b, and store indication of match in the corresponding bit of two mask registers specified by k1 and k2. A match in corresponding elements of a and b is indicated by a set bit in the corresponding bit of the mask registers.

Operands: ¶

Results: ¶

avx512.intr.vp2intersect.q.512 (::mlir::avx512::Vp2IntersectQIntrOp) ¶

Operands: ¶

Results: ¶