bddisasm/isagenerator/instructions/modes.dat

# Valid operating modes for instructions. Please use these templates and not inline definitions. If a template does
# not exist already, create a new one.
# Syntax: NAME : group1:mode11[+mode12[|group2:!mode21+!mode22]] etc.
#
# NAME cam be anything and can be used as a placeholder when defining the instruction.
# group - can be one of the 4 operating groups: 
#         ring - specify the needed privilege level for the instruction
#         mode - specify the needed operating mode 
#         vmx  - specify the VMX operation mode
#         other- specify other misc operating modes/special cases
#
# ring  - can be any of:
#         r0 - instruction is valid in ring 0
#         r1 - instruction is valid in ring 1
#         r2 - instruction is valid in ring 2
#         r3 - instruction is valid in ring 3
#
# mode  - can be any of: 
#         real  - instruction valid in real mode (16 bit)
#         v8086 - instruction valid in virtual 8086 mode (16 bit inside 32 bit mode)
#         prot  - instruction valid in protected mode (32 bit)
#         compat- instruction valid in compatibility mode (32 inside 64 bit mode)
#         long  - instruction valid in long mode (64 bit) 
#
# other - can be any of:
#         smm  - instruction valid in System Management Mode
#         smm_off - instruction valid outside SMM
#         sgx  - instruction is valid inside a Software Guard Extensions enclave
#         sgx_off - instruction valid outside SGX
#         tsx  - instruction is valid inside a Transactional Syncronization Extensions region
#         tsx_off - instruction valid outside TSX
#
# vmx  - can be any of:
#         vmxr - instruction valid in VMX root mode
#         vmxn - instruction valid in VMX non-root mode
#         vmxr_seam - instruction is valid inside VMX root Secure Arbitration Mode
#         vmxn_seam - instruction is valid inside VMX non-root Secure Arbitration Mode
#         vmx_off - instruction valid outside VMX operation

#
# If a group is not specified, all modes for that group will be considered valid.
# If only some modes are specified for a group, only they will be considered valid, and all the others invalid.
# If only some modes are specified negated (!), the instruction will be considered valid in all but the specified modes.
#
# For SGX and TSX, the most restrictive rule is applied: an instruction is listed as valid in any of these modes if
# it will always execute successfully; instructions that may be valid or invalid depending on microarchitectural
# design/conditions are listed as invalid in these modes.
# 
# SMM, SGX, TSX, VMX, SEAM are special operating modes for bddisasm, so validty of an instruction must be specified both
# inside and outside each of these modes. This is because an instruction may be valid in both modes (both SMM/SGX/TSX/SEAM
# on or off), but others may be valid only if the respective operating mode is on or off.
#

# Instruction that are valid ONLY in VMX root operation; this also implies ring0, and only protected or long mode.
VMXROOT : ring=r0|vmx=vmxr+vmxr_seam|mode=prot+long|other=sgx_off+tsx_off+smm_off

# Instructions valid only in VMX operation, be it VMX root or VMX non-root.
VMX     : vmx=!vmx_off

# Instruction valid only in VMX-non root
VMXNROOT : vmx=vmxn+vmxn_seam

# Instructions valid only in r0. SGX enclaves exist only in r3, so a 0 instruction will not be valid in SGX mode.
KERNEL  : ring=r0|other=!sgx

# Instructions valid only in r3.
USER    : ring=r3

# Instructions invalid in real mode. If an instruction is invalid in real mode, it will be invalid in v8086 as well.
NOREAL  : mode=!real+!v8086

# Instructions invalid in v8086 mode. They may be, however, valid in real mode.
NOV86   : mode=!v8086

# Instructions valid only in long mode (64 bit).
O64     : mode=long

# Instructions invalid in long mode.
NO64    : mode=!long

# Instructions invalid in transactional regions.
NOTSX   : other=!tsx

# Instructions invalid in SGX mode.
NOSGX   : other=!sgx

# Instructions valid only in SMM. Note that while in SMM, one can transition in protected/long mode.
SMM     : other=!smm_off

# Instructions invalid inside SMM, real-mode or V8086.
NOSMM   : mode=!real+!v8086|other=!smm

# Instruction valid inside SEAM VXM root.
SEAMR   : ring=r0|mode=long|vmx=vmxr_seam

# Instruction valid in SEAM non-root mode or VMX root. Not valid in SMM.
SEAMN   : mode=long|vmx=vmxr+vmxn+vmxn_seam|other=!smm