Re: Basic support for AVX512 mask registers

Applied. Thanks.

On Fri, Aug 21, 2026 at 12:41 PM arthur miller <[email protected]> wrote:
>
> A patch and a question about CI:
>
> I have pushed a small patch to evex encoder, and I see some CI builds
> fail. When I looked closer it does not look like they should have anything
> to do with my patch. I also run all tests, not just avx related ones, and
> they all pass on my computer. If these failures can be ignored the patch,
> is attached, otherwise ignore the patch :).
>
>
> ________________________________
> Från: Stas Boukarev <[email protected]>
> Skickat: den 20 augusti 2026 09:55
> Till: arthur miller <[email protected]>
> Kopia: sbcl-devel <[email protected]>
> Ämne: 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