• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
    • Kestrel-books
    • X86isa
      • Program-execution
      • Sdm-instruction-set-summary
      • Tlb
      • Booting-linux
      • Introduction
      • Asmtest
      • X86isa-build-instructions
      • Publications
      • Contributors
      • Machine
        • X86isa-state
        • Syscalls
        • Cpuid
        • Linear-memory
        • Rflag-specifications
        • Characterizing-undefined-behavior
        • Top-level-memory
        • App-view
        • X86-decoder
          • Get-prefixes
          • Vex-0f3a-execute
          • Vex-0f38-execute
          • Vex-0f-execute
          • Two-byte-opcode-execute
          • Second-three-byte-opcode-execute
          • One-byte-opcode-execute
          • First-three-byte-opcode-execute
          • Evex-0f3a-execute
          • Evex-0f38-execute
          • Evex-0f-execute
          • X86-fetch-decode-execute
          • Vex-decode-and-execute
          • Evex-decode-and-execute
          • X86-run
          • Implemented-opcodes
          • Three-byte-opcode-decode-and-execute
          • X86-run-halt-count
          • Two-byte-opcode-decode-and-execute
          • X86-run-steps
          • Opcode-maps
          • X86-run-halt
          • X86-fetch-decode-execute-halt
          • X86-run-steps1
        • Physical-memory
        • Decoding-and-spec-utils
        • Instructions
        • Register-readers-and-writers
        • X86-modes
        • Segmentation
        • Other-non-deterministic-computations
        • Environment
        • Paging
      • Implemented-opcodes
      • To-do
      • Proof-utilities
      • Peripherals
      • Model-validation
      • Modelcalls
      • Concrete-simulation-examples
      • Utils
      • Debugging-code-proofs
    • Axe
    • Execloader
  • Math
  • Testing-utilities

• X86-decoder

Vex-0f38-execute

Dispatch function for VEX-encoded instructions in the first three-byte opcode map

Signature

(vex-0f38-execute proc-mode 
                  start-rip temp-rip prefixes rex-byte 
                  vex-prefixes opcode modr/m sib x86) 
 
  → 
x86

Arguments

temp-rip — temp-rip points to the byte following the SIB byte (if present), or the ModR/M byte (if present with no SIB byte), or the opcode byte (if there is no ModR/M byte).

vex-prefixes — Completely populated when this function is called.

Returns

x86 — Type (x86p x86), given (x86p x86).

Definitions and Theorems

Function: vex-0f38-execute

(defun vex-0f38-execute
       (proc-mode start-rip temp-rip prefixes rex-byte
                  vex-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 24) vex-prefixes)
          (type (unsigned-byte 8) opcode)
          (type (unsigned-byte 8) modr/m)
          (type (unsigned-byte 8) sib))
 (declare (xargs :guard (and (vex-prefixes-byte0-p vex-prefixes)
                             (modr/m-p modr/m)
                             (sib-p sib)
                             (rip-guard-okp proc-mode temp-rip))))
 (case opcode
  (0
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (1
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (2
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (3
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (4
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (5
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (6
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (7
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (8
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (9
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (10
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (11
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (12
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (13
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (14
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (15
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (16 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (17 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (18 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (19
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-11 (:f16c :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:f16c :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-11 (:f16c :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:f16c :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (21 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (22
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (24
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (equal (modr/m->mod modr/m) 3))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (equal (modr/m->mod modr/m) 3))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (25
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (equal (modr/m->mod modr/m) 3))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (26
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (27 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (28
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (29
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (30
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (31 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (32
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (33
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (34
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (35
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (36
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (37
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (38 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (39 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (40
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-1 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-1 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-6 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (48
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (49
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (50
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (51
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (52
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (53
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-5 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-5 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (54
   (cond
    ((and (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (55
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (56
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (57
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (58
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (59
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (60
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (61
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (62
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (63
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (64
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          't)
     (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:avx)) 0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (66 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (67 (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
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (70
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (71
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-4 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (76 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (77 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (78 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (79 (cond (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))))
  (88
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-7 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-7 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-7 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-7 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (t (x86-illegal-instruction "#UD Encountered!"
                                        start-rip temp-rip x86))))
  (100 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (101 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (102 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (117 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (118 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (119 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (120
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-7 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-7 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (121
   (cond
    ((and (equal (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-7 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->vvvv vex-prefixes) 15)
          (equal (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-7 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (122 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (123 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (124 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (125 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (126 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (127 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (131 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (136 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (137 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (138 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (139 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (140
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (141 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (142
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          (not (equal (modr/m->mod modr/m) 3)))
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-6 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (144
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (145
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (146
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (147
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let ((fault-var
                (let ((chk-ex (or (chk-exc :type-12 (:avx2)))))
                  (or chk-ex
                      (if (or (equal (feature-flags-macro '(:avx2))
                                     0))
                          ':ud
                        nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (150
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (151
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (152
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (153
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (154
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (155
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (156
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (157
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (158
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (159
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (160 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (161 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (162 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (163 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (166
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (167
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (168
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (169
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (170
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (171
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (172
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (173
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (174
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (175
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (180 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (181 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (182
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (183
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (184
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (185
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (186
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (187
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (188
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (189
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (190
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 1)
           (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (191
   (cond
     ((and (equal (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 1)
           (equal (vex->w vex-prefixes) 0)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-2 (:fma :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:fma :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (196 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (198 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (199 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (200 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (202 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (203 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (204 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (205 (cond (t (x86-illegal-instruction "#UD Encountered!"
                                         start-rip temp-rip x86))))
  (219
   (cond
     ((and (equal (vex->vvvv vex-prefixes) 15)
           (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:aes :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:aes :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (220
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:aes :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:aes :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (221
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:aes :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:aes :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (222
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:aes :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:aes :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (223
   (cond
     ((and (equal (vex->l vex-prefixes) 0)
           (equal (vex->pp vex-prefixes) 1)
           't)
      (let
       ((fault-var
             (let ((chk-ex (or (chk-exc :type-4 (:aes :avx)))))
               (or chk-ex
                   (if (or (equal (feature-flags-macro '(:aes :avx))
                                  0))
                       ':ud
                     nil)))))
       (if fault-var
           (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (:gp (x86-general-protection "#GP Encountered!"
                                          start-rip temp-rip x86))
             (:nm (x86-device-not-available "#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))))
  (242
   (cond
    ((and (equal (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi1 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi1 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi1 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi1 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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))))
  (243
   (cond
    ((and (equal (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 0)
          (equal (modr/m->reg modr/m) 1))
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi1 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi1 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 1)
          (equal (modr/m->reg modr/m) 1))
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi1 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi1 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 0)
          (equal (modr/m->reg modr/m) 2))
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi1 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi1 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 1)
          (equal (modr/m->reg modr/m) 2))
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi1 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi1 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 0)
          (equal (modr/m->reg modr/m) 3))
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi1 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi1 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#NM Encountered!"
                                           start-rip temp-rip x86))
            (t (x86-step-unimplemented
                    "Unimplemented exception in x86isa!"
                    x86)))
        (x86-blsi proc-mode
                  start-rip temp-rip prefixes rex-byte
                  vex-prefixes opcode modr/m sib x86))))
    ((and (equal (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 1)
          (equal (modr/m->reg modr/m) 3))
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi1 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi1 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#NM Encountered!"
                                           start-rip temp-rip x86))
            (t (x86-step-unimplemented
                    "Unimplemented exception in x86isa!"
                    x86)))
        (x86-blsi proc-mode
                  start-rip temp-rip prefixes rex-byte
                  vex-prefixes opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (245
   (cond
    ((and (equal (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 3)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 3)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 2)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 2)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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))))
  (246
   (cond
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 3)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 3)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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))))
  (247
   (cond
    ((and (equal (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi1 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi1 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->pp vex-prefixes) 0)
          (equal (vex->l vex-prefixes) 0)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi1 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi1 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#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 (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 2)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#NM Encountered!"
                                           start-rip temp-rip x86))
            (t (x86-step-unimplemented
                    "Unimplemented exception in x86isa!"
                    x86)))
        (x86-sarx/shlx/shrx proc-mode
                            start-rip temp-rip prefixes rex-byte
                            vex-prefixes opcode modr/m sib x86))))
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 2)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#NM Encountered!"
                                           start-rip temp-rip x86))
            (t (x86-step-unimplemented
                    "Unimplemented exception in x86isa!"
                    x86)))
        (x86-sarx/shlx/shrx proc-mode
                            start-rip temp-rip prefixes rex-byte
                            vex-prefixes opcode modr/m sib x86))))
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#NM Encountered!"
                                           start-rip temp-rip x86))
            (t (x86-step-unimplemented
                    "Unimplemented exception in x86isa!"
                    x86)))
        (x86-sarx/shlx/shrx proc-mode
                            start-rip temp-rip prefixes rex-byte
                            vex-prefixes opcode modr/m sib x86))))
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 1)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#NM Encountered!"
                                           start-rip temp-rip x86))
            (t (x86-step-unimplemented
                    "Unimplemented exception in x86isa!"
                    x86)))
        (x86-sarx/shlx/shrx proc-mode
                            start-rip temp-rip prefixes rex-byte
                            vex-prefixes opcode modr/m sib x86))))
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 3)
          (equal (vex->w vex-prefixes) 0)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#NM Encountered!"
                                           start-rip temp-rip x86))
            (t (x86-step-unimplemented
                    "Unimplemented exception in x86isa!"
                    x86)))
        (x86-sarx/shlx/shrx proc-mode
                            start-rip temp-rip prefixes rex-byte
                            vex-prefixes opcode modr/m sib x86))))
    ((and (equal (vex->l vex-prefixes) 0)
          (equal (vex->pp vex-prefixes) 3)
          (equal (vex->w vex-prefixes) 1)
          't)
     (let
      ((fault-var
            (let ((chk-ex (or (chk-exc :type-13 (:bmi2 :avx)))))
              (or chk-ex
                  (if (or (equal (feature-flags-macro '(:bmi2 :avx))
                                 0))
                      ':ud
                    nil)))))
      (if fault-var
          (case fault-var
            (:ud (x86-illegal-instruction "#UD Encountered!"
                                          start-rip temp-rip x86))
            (:gp (x86-general-protection "#GP Encountered!"
                                         start-rip temp-rip x86))
            (:nm (x86-device-not-available "#NM Encountered!"
                                           start-rip temp-rip x86))
            (t (x86-step-unimplemented
                    "Unimplemented exception in x86isa!"
                    x86)))
        (x86-sarx/shlx/shrx proc-mode
                            start-rip temp-rip prefixes rex-byte
                            vex-prefixes opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (t (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))))

Theorem: x86p-of-vex-0f38-execute

(defthm x86p-of-vex-0f38-execute
 (implies
   (x86p x86)
   (b* ((x86 (vex-0f38-execute proc-mode
                               start-rip temp-rip prefixes rex-byte
                               vex-prefixes opcode modr/m sib x86)))
     (x86p x86)))
 :rule-classes :rewrite)