Merge commit '3621a6c08002c6b3e5b6f91bb0e20d8372613160' into dev

This commit is contained in:
Simone
2025-01-07 15:08:55 +00:00
1521 changed files with 323443 additions and 365407 deletions

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

View File

@@ -38,6 +38,8 @@ let _SPARC_HINT_INVALID = 0;;
let _SPARC_HINT_A = 1 lsl 0;;
let _SPARC_HINT_PT = 1 lsl 1;;
let _SPARC_HINT_PN = 1 lsl 2;;
let _SPARC_HINT_A_PN = _SPARC_HINT_A lor SPARC_HINT_PN;;
let _SPARC_HINT_A_PT = _SPARC_HINT_A lor SPARC_HINT_PT;;
let _SPARC_OP_INVALID = 0;;
let _SPARC_OP_REG = 1;;

File diff suppressed because it is too large Load Diff

View File

@@ -397,6 +397,7 @@ let _X86_AVX_RM_RN = 1;;
let _X86_AVX_RM_RD = 2;;
let _X86_AVX_RM_RU = 3;;
let _X86_AVX_RM_RZ = 4;;
let _X86_PREFIX_0 = 0x0;;
let _X86_PREFIX_LOCK = 0xf0;;
let _X86_PREFIX_REP = 0xf3;;
let _X86_PREFIX_REPE = 0xf3;;