Re: Basic support for AVX512 mask registers

Applied. Thanks.

On Thu, Aug 20, 2026 at 4:57 AM arthur miller <[email protected]> wrote:
>
> Hi, I have been trying to add support for avx512 mask registers.
>
> The worktree: https://github.com/amno1/sbcl/tree/avx512-mask-regs
>
> I have also attached a patch if you prefer it over GH. A short glance
> over what is in the patch:
>
> * simd-pack-512-mask as intrinsic type (widetag)
> * associated book-keeping in VM and compiler for it
> * VM support for mask registers (mask-reg SC, SB, defregs, ...)
> * VOPs to compiler backend for construction, extraction
> * VOPs for movement: kregs<->kregs, kregs<->gpr and kregs<->mem
> * support for assembler in insts, avx2-insts and avx512-insts
> * fix evex emitter regarding mask registers
> * add evex printer support for mask related instructions
> * fix some smaller bugs in previous simd-pack-512 support patch
> * add tests for creation, extraction, movements, assembly printing and some internal functions
> * refactor zmm-registers-used-p into avx512-state-used-p and  support for mask regs
>
> Instructions regarding mask regs can be emitted and printed but no
> VOP ntrinsics other than to create, read and move masks are added (job for sb-simd).
>
> There is still more work on evex encodings left: r', v', b' for
> zmm16-zmm31 and on decoding. I'll work on it more, but for now, I think
> this is the minimum needed. I am sure there are bugs, you don't have to
> chase them, but appreciate if you do. However, I hope you can glance
> over it, see if it is OK. I hope I haven't messed up too much 🙂. CI on GH is green for
> all builds: https://github.com/amno1/sbcl/actions, but please check it first.


_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel