Re: Basic support for AVX512 mask registers

And applied. Thanks.

On Fri, Aug 21, 2026 at 6:42 PM arthur miller <[email protected]> wrote:
>
> Ok, thank you. I guess I should interpret that as those
> failed CI build had nothing to do with the patch.
>
> Here is another part for the evex. Looks big, but there
> is more code for tests than for the actual patch.
> ________________________________
> Från: Stas Boukarev <[email protected]>
> Skickat: den 21 augusti 2026 17:19
> Till: arthur miller <[email protected]>
> Kopia: sbcl-devel <[email protected]>
> Ämne: 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