• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Community
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
      • Kestrel-books
      • X86isa
        • Program-execution
        • Sdm-instruction-set-summary
          • 5.50 Uncategorized "Instructions"
          • 5.15 Fused-Multiply-Add (FMA)
          • 5.20 System Instructions
          • 5.19 Intel(R) Advanced Vector Extensions 512 (Intel(R) AVX-512)
          • 5.1 General-Purpose Instructions
          • 5.10 Intel(R) SSE4.1 Instructions
          • 5.13 Intel(R) Advanced Vector Extensions (Intel(R) AVX)
          • 5.7 Intel(R) SSE3 Instructions
          • 5.8 Supplemental Streaming Simd Extensions 3 (SSSE3) Instructions
          • 5.4 MMX Instructions
            • 5.4.3 MMX Packed Arithmetic Instructions
            • 5.4.6 MMX Shift and Rotate Instructions
            • 5.4.2 MMX Conversion Instructions
            • 5.4.4 MMX Comparison Instructions
            • 5.4.1 MMX Data Transfer Instructions
            • 5.4.5 MMX Logical Instructions
            • 5.4.7 MMX State Management Instructions
          • 5.22 Virtual-Machine Extensions
          • 5.6 Intel(R) SSE2 Instructions
          • 5.21 64-Bit Mode Instructions
          • 5.2 X87 FPU Instructions
          • 5.24 Intel(R) Memory Protection Extensions
          • 5.5 Intel(R) SSE Instructions
          • 5.16 Intel(R) Advanced Vector Extensions 2 (Intel(R) AVX2)
          • 5.12 Intel(R) AES-NI And PCLMULQDQ
          • 5.17 Intel(R) Transactional Synchronization Extensions (Intel(R) Tsx)
          • 5.14 16-Bit Floating-Point Conversion
          • 5.18 Intel(R) SHA Extensions
          • 5.11 Intel(R) SSE4.2 Instruction Set
          • 5.3 X87 FPU and SIMD State Management Instructions
          • 5.40 Other ISA Extensions
          • 5.25 Intel(R) Software Guard Extensions
          • 5.27 Control Transfer Terminating Instructions
          • 5.23 Safer Mode Extensions
          • 5.30 Enqueue Store Instructions
          • 5.29 User Interrupt Instructions
          • 5.28 Intel(R) AMX Instructions
          • 5.26 Shadow Stack Management Instructions
          • 5.31 Intel(R) Advanced Vector Extensions 10 Version 1 Instructions
        • Tlb
        • Running-linux
        • Introduction
        • Asmtest
        • X86isa-build-instructions
        • Publications
        • Contributors
        • Machine
        • Implemented-opcodes
        • To-do
        • Proof-utilities
        • Peripherals
        • Model-validation
        • Modelcalls
        • Concrete-simulation-examples
        • Utils
        • Debugging-code-proofs
      • Axe
      • Execloader
    • Math
    • Testing-utilities
  • Sdm-instruction-set-summary

5.4 MMX Instructions

Subsections

Total instructions: 57, Implemented: 3, Unimplemented: 54

Subsection Implemented Unimplemented Total
5.4.1 MMX Data Transfer Instructions044
5.4.2 MMX Conversion Instructions099
5.4.3 MMX Packed Arithmetic Instructions31417
5.4.4 MMX Comparison Instructions066
5.4.5 MMX Logical Instructions044
5.4.6 MMX Shift and Rotate Instructions01616
5.4.7 MMX State Management Instructions011

Subtopics

5.4.3 MMX Packed Arithmetic Instructions
5.4.6 MMX Shift and Rotate Instructions
5.4.2 MMX Conversion Instructions
5.4.4 MMX Comparison Instructions
5.4.1 MMX Data Transfer Instructions
5.4.5 MMX Logical Instructions
5.4.7 MMX State Management Instructions