master: emit-evex: fix encoding of high zmm registers

The branch "master" has been updated in SBCL:
       via  db2b204bb13206808b69f5ba82b732888980c727 (commit)
      from  36fceec808c6e97783913d01c42ba3c04d68003e (commit)

- Log -----------------------------------------------------------------
commit db2b204bb13206808b69f5ba82b732888980c727
Author: Stas Boukarev <[email protected]>
Date:   Sat Jun 27 23:54:34 2026 +0300

    emit-evex: fix encoding of high zmm registers
---
 src/compiler/x86-64/avx2-insts.lisp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/compiler/x86-64/avx2-insts.lisp b/src/compiler/x86-64/avx2-insts.lisp
index 1d6539ade..0aff4747d 100644
--- a/src/compiler/x86-64/avx2-insts.lisp
+++ b/src/compiler/x86-64/avx2-insts.lisp
@@ -436,7 +436,7 @@
                       (evex-encode-mm opcode-prefix))
               ;; P2: W vvvv 1 pp
               (logior (ash w 7)
-                      (ash (logxor vvvv #b1111) 3)
+                      (ash (logandc1 vvvv #b1111) 3)
                       #b100  ; bit 2 always 1
                       (vex-encode-pp pp))
               ;; P3: z L'L b V' aaa

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL