• 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
          • Physical-memory
          • Decoding-and-spec-utils
          • Instructions
          • X86-modes
          • Segmentation
          • Register-readers-and-writers
            • Zmms-reads-and-writes
            • Gprs-reads-and-writes
            • Mmx-registers-reads-and-writes
            • Xmms-reads-and-writes
            • Rflags-reads-and-writes
            • Gpr-indices
          • 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
  • Machine

Register-readers-and-writers

Top-level utilities for reading and writing into various registers

Subtopics

Zmms-reads-and-writes
Functions to read/write 32/64/128/256/512 bits into the XMM/YMM/ZMM registers
Gprs-reads-and-writes
Functions to read/write 8/16/32/64 bits into the registers
Mmx-registers-reads-and-writes
Functions to read/write into the MMX registers
Xmms-reads-and-writes
Functions to read/write 32/64/128 bits into the XMM registers (to be used by non-VEX encoded 128-bit SIMD instructions)
Rflags-reads-and-writes
Reading from and writing to the rflags register in the x86 state
Gpr-indices
Functions that enable the use of extended GPRs using the rex byte