• Top
  • Documentation
  • Books
  • Recursion-and-induction
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
    • Kestrel-books
    • X86isa
      • Program-execution
      • Introduction
      • X86isa-build-instructions
      • Publications
      • Contributors
      • Machine
        • Syscalls
        • Cpuid
        • X86isa-state
        • 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
          • Opcode-maps
          • X86-run
          • Implemented-opcodes
          • Three-byte-opcode-decode-and-execute
          • X86-run-halt-count
          • Two-byte-opcode-decode-and-execute
          • X86-run-steps
          • X86-fetch-decode-execute-halt
          • X86-run-halt
          • X86-run-steps1
        • Physical-memory
        • Decoding-and-spec-utils
        • Instructions
        • X86-modes
        • Segmentation
        • Register-readers-and-writers
        • Other-non-deterministic-computations
        • Environment
        • Paging
      • Implemented-opcodes
      • Proof-utilities
      • To-do
      • Concrete-simulation-examples
      • Model-validation
      • Utils
      • Debugging-code-proofs
    • Execloader
    • Axe
  • Testing-utilities
  • Math

• X86-decoder

One-byte-opcode-execute

Top-level dispatch function.

Signature

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

one-byte-opcode-execute is the doorway to all the opcode maps (for non-AVX/AVX512 instructions).

Definitions and Theorems

Function: one-byte-opcode-execute

(defun
 one-byte-opcode-execute
 (proc-mode start-rip temp-rip
            prefixes rex-byte 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 8) opcode)
          (type (unsigned-byte 8) modr/m)
          (type (unsigned-byte 8) sib))
 (declare (xargs :guard (and (prefixes-p prefixes)
                             (modr/m-p modr/m)
                             (sib-p sib)
                             (rip-guard-okp proc-mode temp-rip))))
 (case
  opcode
  (0
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          0 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (1
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          0 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (2
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          0 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (3
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          0 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (4
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          0 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (5
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          0 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (6
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-push-segment-register
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "PUSH ES is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (7
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "POP ES is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (8
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          1 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (9
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          1 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (10
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          1 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (11
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          1 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (12
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          1 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (13
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          1 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (14
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-push-segment-register
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "PUSH CS is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (15 (two-byte-opcode-decode-and-execute
           proc-mode start-rip
           temp-rip prefixes rex-byte opcode x86))
  (16
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          2 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (17
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          2 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (18
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          2 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (19
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          2 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (20
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          2 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (21
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          2 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (22
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-push-segment-register
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "PUSH SS is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (23
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "POP SS is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (24
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          6 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (25
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          6 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (26
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          6 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (27
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          6 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (28
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          6 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (29
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          6 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (30
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-push-segment-register
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "PUSH DS is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (31
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "POP DS is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (32
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          3 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (33
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          3 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (34
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          3 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (35
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          3 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (36
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          3 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (37
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          3 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (38 (x86-illegal-instruction "#UD Encountered!"
                               start-rip temp-rip x86))
  (39
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
       fault-var
       (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (t (x86-step-unimplemented
                     "Unimplemented exception in x86isa!"
                     x86)))
       (x86-illegal-instruction "DAA is illegal in the 64-bit mode!"
                                start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (40
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          4 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (41
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          4 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (42
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          4 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (43
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          4 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (44
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          4 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (45
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          4 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (46 (x86-illegal-instruction "#UD Encountered!"
                               start-rip temp-rip x86))
  (47
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
       fault-var
       (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (t (x86-step-unimplemented
                     "Unimplemented exception in x86isa!"
                     x86)))
       (x86-illegal-instruction "DAS is illegal in the 64-bit mode!"
                                start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (48
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          5 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (49
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          5 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (50
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          5 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (51
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          5 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (52
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          5 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (53
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          5 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (54 (x86-illegal-instruction "#UD Encountered!"
                               start-rip temp-rip x86))
  (55
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
       fault-var
       (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (t (x86-step-unimplemented
                     "Unimplemented exception in x86isa!"
                     x86)))
       (x86-illegal-instruction "AAA is illegal in the 64-bit mode!"
                                start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (56
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          8 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (57
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          8 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (58
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          8 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (59
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-g-e
          8 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (60
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          8 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (61
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          8 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (62 (x86-illegal-instruction "#UD Encountered!"
                               start-rip temp-rip x86))
  (63
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
       fault-var
       (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (t (x86-step-unimplemented
                     "Unimplemented exception in x86isa!"
                     x86)))
       (x86-illegal-instruction "AAS is illegal in the 64-bit mode!"
                                start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (64
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (65
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (66
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (67
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (68
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (69
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (70
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (71
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (72
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (73
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (74
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (75
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (76
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (77
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (78
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (79
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-4x proc-mode start-rip temp-rip prefixes
                        rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (80
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-push-general-register
          proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (81
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-push-general-register
          proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (82
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-push-general-register
          proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (83
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-push-general-register
          proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (84
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-push-general-register
          proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (85
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-push-general-register
          proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (86
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-push-general-register
          proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (87
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-push-general-register
          proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (88
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-pop-general-register proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))))
  (89
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-pop-general-register proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))))
  (90
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-pop-general-register proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))))
  (91
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-pop-general-register proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))))
  (92
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-pop-general-register proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))))
  (93
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-pop-general-register proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))))
  (94
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-pop-general-register proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))))
  (95
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-pop-general-register proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))))
  (96
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-pusha proc-mode start-rip temp-rip prefixes
                   rex-byte opcode modr/m sib x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "PUSHA is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (97
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-popa proc-mode start-rip temp-rip prefixes
                  rex-byte opcode modr/m sib x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "POPA is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (98
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)
                          (ud-second-operand-is-a-register))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (99
   (cond
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-movsx proc-mode start-rip temp-rip prefixes
                   rex-byte opcode modr/m sib x86))))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (100 (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))
  (101 (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))
  (102 (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))
  (103 (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))
  (104
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-push-i proc-mode start-rip temp-rip prefixes
                 rex-byte opcode modr/m sib x86))))
  (105
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-imul-op/en-rmi proc-mode start-rip temp-rip prefixes
                         rex-byte opcode modr/m sib x86))))
  (106
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-push-i proc-mode start-rip temp-rip prefixes
                 rex-byte opcode modr/m sib x86))))
  (107
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-imul-op/en-rmi proc-mode start-rip temp-rip prefixes
                         rex-byte opcode modr/m sib x86))))
  (108
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (109
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (110
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (111
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (112
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (113
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (114
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (115
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (116
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (117
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (118
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (119
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (120
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (121
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (122
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (123
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (124
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (125
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (126
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (127
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-one-byte-jcc proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (128
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             0 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             1 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             2 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             6 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             3 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             4 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 6)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             5 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             8 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (129
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             0 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             1 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             2 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             6 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             3 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             4 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 6)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             5 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             8 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (130
   (cond
    ((and (not (equal proc-mode 0))
          (equal (modr/m->reg modr/m) 0))
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             0 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((and (not (equal proc-mode 0))
          (equal (modr/m->reg modr/m) 1))
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             1 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((and (not (equal proc-mode 0))
          (equal (modr/m->reg modr/m) 2))
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             2 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((and (not (equal proc-mode 0))
          (equal (modr/m->reg modr/m) 3))
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             6 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((and (not (equal proc-mode 0))
          (equal (modr/m->reg modr/m) 4))
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             3 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((and (not (equal proc-mode 0))
          (equal (modr/m->reg modr/m) 5))
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             4 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((and (not (equal proc-mode 0))
          (equal (modr/m->reg modr/m) 6))
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             5 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((and (not (equal proc-mode 0))
          (equal (modr/m->reg modr/m) 7))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             8 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "Opcode 0x82 is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (131
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             0 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             1 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             2 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             6 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             3 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             4 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 6)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             5 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             8 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (132
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          7 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (133
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g
          7 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (134
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-xchg proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (135
   (let
    ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-xchg proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (136
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-mr proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (137
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-mr proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (138
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-rm proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (139
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-rm proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (140
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (141
   (let
    ((fault-var (if (or (ud-source-operand-is-a-register)
                        (ud-lock-used))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-lea proc-mode start-rip temp-rip prefixes
              rex-byte opcode modr/m sib x86))))
  (142
   (let
    ((fault-var (if (or (equal (modr/m->reg modr/m) 1)
                        (ud-lock-used))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (143
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-pop-ev proc-mode start-rip temp-rip prefixes
                    rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (144
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-xchg proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (145
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-xchg proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (146
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-xchg proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (147
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-xchg proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (148
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-xchg proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (149
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-xchg proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (150
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-xchg proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (151
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-xchg proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (152
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-cbw/cwd/cdqe proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (153
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-cwd/cdq/cqo proc-mode start-rip temp-rip prefixes
                      rex-byte opcode modr/m sib x86))))
  (154
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "far CALL is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (155
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (156
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-pushf proc-mode start-rip temp-rip prefixes
                rex-byte opcode modr/m sib x86))))
  (157
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-popf proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (158
   (let
    ((fault-var (if (or (ud-lock-used)
                        (and (equal proc-mode 0)
                             (equal (feature-flag-macro :lahf-sahf)
                                    0)))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-sahf proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (159
   (let
    ((fault-var (if (or (ud-lock-used)
                        (and (equal proc-mode 0)
                             (equal (feature-flag-macro :lahf-sahf)
                                    0)))
                    ':ud
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-lahf proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (160
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-fd proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (161
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-fd proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (162
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-td proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (163
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-td proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (164
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-movs proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (165
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-movs proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (166
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-cmps proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (167
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-cmps proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (168
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          7 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (169
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i
          7 proc-mode start-rip temp-rip prefixes
          rex-byte opcode modr/m sib x86))))
  (170
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-stos proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (171
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-stos proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (172
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (173
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (174
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (175
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (176
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (177
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (178
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (179
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (180
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (181
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (182
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (183
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (184
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (185
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (186
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (187
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (188
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (189
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (190
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (191
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-mov-op/en-oi proc-mode start-rip temp-rip prefixes
                       rex-byte opcode modr/m sib x86))))
  (192
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (193
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (194
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-ret proc-mode start-rip temp-rip prefixes
              rex-byte opcode modr/m sib x86))))
  (195
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-ret proc-mode start-rip temp-rip prefixes
              rex-byte opcode modr/m sib x86))))
  (196
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)
                          (ud-source-operand-is-a-register))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD 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))))
  (197
   (cond
    ((equal proc-mode 0)
     (x86-illegal-instruction "#UD Encountered!"
                              start-rip temp-rip x86))
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)
                          (ud-source-operand-is-a-register))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD 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))))
  (198
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-mov-op/en-mi proc-mode start-rip temp-rip prefixes
                          rex-byte opcode modr/m sib x86))))
    ((and (equal (modr/m->reg modr/m) 7)
          (equal (modr/m->mod modr/m) 3)
          (equal (modr/m->r/m modr/m) 0))
     (let
      ((fault-var (if (or (equal (feature-flags-macro '(:rtm)) 0)
                          (ud-lock-used))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD 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))))
  (199
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-mov-op/en-mi proc-mode start-rip temp-rip prefixes
                          rex-byte opcode modr/m sib x86))))
    ((and (equal (modr/m->reg modr/m) 7)
          (equal (modr/m->mod modr/m) 3)
          (equal (modr/m->r/m modr/m) 0))
     (let
      ((fault-var (if (or (equal (feature-flags-macro '(:rtm)) 0)
                          (ud-lock-used))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD 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))))
  (200
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (201
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-leave proc-mode start-rip temp-rip prefixes
                rex-byte opcode modr/m sib x86))))
  (202
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86))
  (203
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!" x86))
  (204
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (205
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (206
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-illegal-instruction
             "INTO is illegal in the 64-bit mode!"
             start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (207
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (208
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (209
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (210
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (211
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-sal/sar/shl/shr/rcl/rcr/rol/ror
             proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (212
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
       fault-var
       (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (t (x86-step-unimplemented
                     "Unimplemented exception in x86isa!"
                     x86)))
       (x86-illegal-instruction "AAM is illegal in the 64-bit mode!"
                                start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (213
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
       fault-var
       (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (t (x86-step-unimplemented
                     "Unimplemented exception in x86isa!"
                     x86)))
       (x86-illegal-instruction "AAD is illegal in the 64-bit mode!"
                                start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (215
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (216
   (let
    ((fault-var (if (or (nm-cr0-ts-is-1) (nm-cr0-em-is-1))
                    ':nm
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:nm (x86-device-not-available "#NM Encountered!"
                                     start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (217
   (let
    ((fault-var (if (or (nm-cr0-ts-is-1) (nm-cr0-em-is-1))
                    ':nm
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:nm (x86-device-not-available "#NM Encountered!"
                                     start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (218
   (let
    ((fault-var (if (or (nm-cr0-ts-is-1) (nm-cr0-em-is-1))
                    ':nm
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:nm (x86-device-not-available "#NM Encountered!"
                                     start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (219
   (let
    ((fault-var (if (or (nm-cr0-ts-is-1) (nm-cr0-em-is-1))
                    ':nm
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:nm (x86-device-not-available "#NM Encountered!"
                                     start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (220
   (let
    ((fault-var (if (or (nm-cr0-ts-is-1) (nm-cr0-em-is-1))
                    ':nm
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:nm (x86-device-not-available "#NM Encountered!"
                                     start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (221
   (let
    ((fault-var (if (or (nm-cr0-ts-is-1) (nm-cr0-em-is-1))
                    ':nm
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:nm (x86-device-not-available "#NM Encountered!"
                                     start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (222
   (let
    ((fault-var (if (or (nm-cr0-ts-is-1) (nm-cr0-em-is-1))
                    ':nm
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:nm (x86-device-not-available "#NM Encountered!"
                                     start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (223
   (let
    ((fault-var (if (or (nm-cr0-ts-is-1) (nm-cr0-em-is-1))
                    ':nm
                    nil)))
    (if
     fault-var
     (case
      fault-var
      (:nm (x86-device-not-available "#NM Encountered!"
                                     start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (224
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-loop proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (225
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-loop proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (226
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-loop proc-mode start-rip temp-rip prefixes
               rex-byte opcode modr/m sib x86))))
  (227
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-jrcxz proc-mode start-rip temp-rip prefixes
                rex-byte opcode modr/m sib x86))))
  (228
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (229
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (230
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (231
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (232
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-call-e8-op/en-m proc-mode start-rip temp-rip prefixes
                          rex-byte opcode modr/m sib x86))))
  (233
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-near-jmp-op/en-d proc-mode start-rip temp-rip prefixes
                           rex-byte opcode modr/m sib x86))))
  (234
   (cond
    ((not (equal proc-mode 0))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal proc-mode 0)
     (let
      ((fault-var (if (or t) ':ud nil)))
      (if
       fault-var
       (case fault-var
             (:ud (x86-illegal-instruction "#UD Encountered!"
                                           start-rip temp-rip x86))
             (t (x86-step-unimplemented
                     "Unimplemented exception in x86isa!"
                     x86)))
       (x86-illegal-instruction "JMP is illegal in the 64-bit mode!"
                                start-rip temp-rip x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (235
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-near-jmp-op/en-d proc-mode start-rip temp-rip prefixes
                           rex-byte opcode modr/m sib x86))))
  (236
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (237
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (238
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (239
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (240 (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))
  (241
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (242 (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))
  (243 (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))
  (244
   (let
    ((fault-var (if (or (ud-lock-used))
                    ':ud
                    (if (or (gp-cpl-not-0)) ':gp nil))))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (:gp (x86-general-protection "#GP Encountered!"
                                   start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-hlt proc-mode start-rip temp-rip prefixes
              rex-byte opcode modr/m sib x86))))
  (245
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-cmc/clc/stc/cld/std proc-mode start-rip temp-rip prefixes
                              rex-byte opcode modr/m sib x86))))
  (246
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             7 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-not/neg-f6-f7 proc-mode start-rip temp-rip prefixes
                           rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-not/neg-f6-f7 proc-mode start-rip temp-rip prefixes
                           rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-mul proc-mode start-rip temp-rip prefixes
                 rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-imul-op/en-m proc-mode start-rip temp-rip prefixes
                          rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 6)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-div proc-mode start-rip temp-rip prefixes
                 rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-idiv proc-mode start-rip temp-rip prefixes
                  rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (247
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i
             7 proc-mode start-rip temp-rip prefixes
             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-not/neg-f6-f7 proc-mode start-rip temp-rip prefixes
                           rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-not/neg-f6-f7 proc-mode start-rip temp-rip prefixes
                           rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-mul proc-mode start-rip temp-rip prefixes
                 rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 5)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-imul-op/en-m proc-mode start-rip temp-rip prefixes
                          rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 6)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-div proc-mode start-rip temp-rip prefixes
                 rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 7)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-idiv proc-mode start-rip temp-rip prefixes
                  rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (248
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-cmc/clc/stc/cld/std proc-mode start-rip temp-rip prefixes
                              rex-byte opcode modr/m sib x86))))
  (249
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-cmc/clc/stc/cld/std proc-mode start-rip temp-rip prefixes
                              rex-byte opcode modr/m sib x86))))
  (250
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (251
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                             x86))))
  (252
      (x86-cmc/clc/stc/cld/std proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))
  (253
   (let
    ((fault-var (if (or (ud-lock-used)) ':ud nil)))
    (if
     fault-var
     (case
      fault-var
      (:ud (x86-illegal-instruction "#UD Encountered!"
                                    start-rip temp-rip x86))
      (t
        (x86-step-unimplemented "Unimplemented exception in x86isa!"
                                x86)))
     (x86-cmc/clc/stc/cld/std proc-mode start-rip temp-rip prefixes
                              rex-byte opcode modr/m sib x86))))
  (254
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-fe-ff proc-mode start-rip temp-rip prefixes
                           rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-fe-ff proc-mode start-rip temp-rip prefixes
                           rex-byte opcode modr/m sib x86))))
    (t (x86-illegal-instruction "#UD Encountered!"
                                start-rip temp-rip x86))))
  (255
   (cond
    ((equal (modr/m->reg modr/m) 0)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-fe-ff proc-mode start-rip temp-rip prefixes
                           rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 1)
     (let
      ((fault-var (if (or (ud-lock-used-dest-not-memory-op))
                      ':ud
                      nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-inc/dec-fe-ff proc-mode start-rip temp-rip prefixes
                           rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 2)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-call-ff/2-op/en-m proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 3)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-step-unimplemented "Opcode Unimplemented in x86isa!"
                                x86))))
    ((equal (modr/m->reg modr/m) 4)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-near-jmp-op/en-m proc-mode start-rip temp-rip prefixes
                              rex-byte opcode modr/m sib x86))))
    ((and (equal (modr/m->reg modr/m) 5)
          (not (equal (modr/m->mod modr/m) 3)))
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-far-jmp-op/en-d proc-mode start-rip temp-rip prefixes
                             rex-byte opcode modr/m sib x86))))
    ((equal (modr/m->reg modr/m) 6)
     (let
      ((fault-var (if (or (ud-lock-used)) ':ud nil)))
      (if
        fault-var
        (case fault-var
              (:ud (x86-illegal-instruction "#UD Encountered!"
                                            start-rip temp-rip x86))
              (t (x86-step-unimplemented
                      "Unimplemented exception in x86isa!"
                      x86)))
        (x86-push-ev proc-mode start-rip temp-rip prefixes
                     rex-byte 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-one-byte-opcode-execute

(defthm
 x86p-one-byte-opcode-execute
 (implies
  (x86p x86)
  (x86p
      (one-byte-opcode-execute proc-mode start-rip temp-rip prefixes
                               rex-byte opcode modr/m sib x86))))