Dispatch function for EVEX-encoded instructions in the two-byte opcode map
(evex-0f-execute proc-mode start-rip temp-rip prefixes rex-byte evex-prefixes opcode modr/m sib x86) → x86
Function:
(defun evex-0f-execute (proc-mode start-rip temp-rip prefixes rex-byte evex-prefixes opcode modr/m sib x86) (declare (xargs :stobjs (x86))) (declare (type (integer 0 4) proc-mode) (type (signed-byte 48) start-rip) (type (signed-byte 48) temp-rip) (type (unsigned-byte 52) prefixes) (type (unsigned-byte 8) rex-byte) (type (unsigned-byte 32) evex-prefixes) (type (unsigned-byte 8) opcode) (type (unsigned-byte 8) modr/m) (type (unsigned-byte 8) sib)) (declare (xargs :guard (and (evex-prefixes-p evex-prefixes) (modr/m-p modr/m) (sib-p sib)))) (case opcode (16 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e10 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e10 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e10 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e10 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (17 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e10 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e10 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e10 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e10 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (18 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) (equal (modr/m->mod modr/m) 3)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) (not (equal (modr/m->mod modr/m) 3))) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (19 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (20 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (21 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (22 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) (not (equal (modr/m->mod modr/m) 3))) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) (equal (modr/m->mod modr/m) 3)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (23 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (40 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (41 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (42 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e10nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e10nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (43 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e1nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (44 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (45 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (46 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (47 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (65 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (66 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (68 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (69 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (70 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (71 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (74 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (75 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (80 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (81 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (82 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (83 (cond (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (84 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (85 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (86 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (87 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (88 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (89 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (90 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512vl))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (91 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->pp evex-prefixes) 0) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512dq))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512dq)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (92 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (93 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (94 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (95 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (equal (evex->pp evex-prefixes) 0) (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e2 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e3 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (96 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (97 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (98 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (99 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (100 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (101 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (102 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4 (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (103 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (104 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (105 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (106 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (107 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (108 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (109 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (110 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (111 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 2) (equal (evex->w evex-prefixes) 1) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 3) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e9nf (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (112 (cond ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 2) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 2) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 2) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 3) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 3) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1)) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 3) 't) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (113 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (modr/m->reg modr/m) 2)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (modr/m->reg modr/m) 2)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (modr/m->reg modr/m) 2)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (modr/m->reg modr/m) 4)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (modr/m->reg modr/m) 4)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (modr/m->reg modr/m) 4)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (modr/m->reg modr/m) 6)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (modr/m->reg modr/m) 6)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512vl :avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (modr/m->reg modr/m) 6)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf.nb (:avx512bw))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512bw)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) (t (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)))) (114 (cond ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) (equal (modr/m->reg modr/m) 0)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) (equal (modr/m->reg modr/m) 0)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) (equal (modr/m->reg modr/m) 0)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) (equal (modr/m->reg modr/m) 0)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) (equal (modr/m->reg modr/m) 0)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) (equal (modr/m->reg modr/m) 0)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) (equal (modr/m->reg modr/m) 1)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) (equal (modr/m->reg modr/m) 1)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) (equal (modr/m->reg modr/m) 1)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) (equal (modr/m->reg modr/m) 1)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) (equal (modr/m->reg modr/m) 1)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) (equal (modr/m->reg modr/m) 1)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) (equal (modr/m->reg modr/m) 2)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 1) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) (equal (modr/m->reg modr/m) 2)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 2) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) (equal (modr/m->reg modr/m) 2)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 0) (equal (modr/m->reg modr/m) 4)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86)))) ((and (not (and (equal (evex->vvvv evex-prefixes) 15) (equal (evex->v-prime evex-prefixes) 1))) (equal (evex->vl/rc evex-prefixes) 0) (equal (evex->pp evex-prefixes) 1) (equal (evex->w evex-prefixes) 1) (equal (modr/m->reg modr/m) 4)) (let ((fault-var (let ((chk-ex (or (chk-exc :type-e4nf (:avx512vl :avx512f))))) (or chk-ex (if (or (equal (feature-flags-macro '(:avx512vl :avx512f)) 0)) ':ud nil))))) (if fault-var (case fault-var (:ud (x86-illegal-instruction "#UD Encountered!" start-rip temp-rip x86)) (:gp (x86-general-protection "#GP Encountered!" start-rip temp-rip x86)) (:nm (x86-device-not-available "#NM Encountered!" start-rip temp-rip x86)) (t (x86-step-unimplemented "Unimplemented exception in x86isa!" x86))) (