Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
X
x86 Disassembler
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
miranti2
x86 Disassembler
Commits
78cda4c8
Commit
78cda4c8
authored
6 years ago
by
Andrew Miranti
Browse files
Options
Downloads
Patches
Plain Diff
woops
parent
1f7b1c43
No related branches found
No related tags found
No related merge requests found
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
semantics-glue.k
+139
-139
139 additions, 139 deletions
semantics-glue.k
with
139 additions
and
139 deletions
semantics-glue.k
+
139
−
139
View file @
78cda4c8
...
...
@@ -2,146 +2,146 @@ require "x86-syntax.k"
require "registers.k"
module DISASSEMBLER-TO-SEMANTICS
imports DOMAINS
imports X86-SYNTAX
imports DOMAINS
imports X86-SYNTAX
syntax Register ::= DissassemblerRegisterToSemanticsRegister(K, Bool) [function]
syntax Opcode ::= DissassemblerToOpcode(Int, String, String) [function]
syntax Register ::= DissassemblerRegisterToSemanticsRegister(K, Bool) [function]
syntax Opcode ::= DissassemblerToOpcode(Int, String, String) [function]
syntax String ::= RegisterToString(K,Bool) [function]
rule DisassemblerRegisterToSemanticsRegister(REG_INVALID, _) => %invalid
rule DisassemblerRegisterToSemanticsRegister(REG_BND0, _) => %bnd0
rule DisassemblerRegisterToSemanticsRegister(REG_BND1, _) => %bnd1
rule DisassemblerRegisterToSemanticsRegister(REG_BND2, _) => %bnd2
rule DisassemblerRegisterToSemanticsRegister(REG_BND3, _) => %bnd3
rule DisassemblerRegisterToSemanticsRegister(REG_CR0, _) => %cr0
rule DisassemblerRegisterToSemanticsRegister(REG_CR2, _) => %cr2
rule DisassemblerRegisterToSemanticsRegister(REG_CR3, _) => %cr3
rule DisassemblerRegisterToSemanticsRegister(REG_CR4, _) => %cr4
rule DisassemblerRegisterToSemanticsRegister(REG_CR8, _) => %cr8
rule DisassemblerRegisterToSemanticsRegister(REG_DR0, _) => %dr0
rule DisassemblerRegisterToSemanticsRegister(REG_DR1, _) => %dr1
rule DisassemblerRegisterToSemanticsRegister(REG_DR2, _) => %dr2
rule DisassemblerRegisterToSemanticsRegister(REG_DR3, _) => %dr3
rule DisassemblerRegisterToSemanticsRegister(REG_DR4, _) => %dr4
rule DisassemblerRegisterToSemanticsRegister(REG_DR5, _) => %dr5
rule DisassemblerRegisterToSemanticsRegister(REG_DR6, _) => %dr6
rule DisassemblerRegisterToSemanticsRegister(REG_DR7, _) => %dr7
rule DisassemblerRegisterToSemanticsRegister(REG_FLAGS, _) => %flags
rule DisassemblerRegisterToSemanticsRegister(REG_EFLAGS, _) => %eflags
rule DisassemblerRegisterToSemanticsRegister(REG_RFLAGS, _) => %rflags
rule DisassemblerRegisterToSemanticsRegister(REG_AX, _) => %ax
rule DisassemblerRegisterToSemanticsRegister(REG_CX, _) => %cx
rule DisassemblerRegisterToSemanticsRegister(REG_DX, _) => %dx
rule DisassemblerRegisterToSemanticsRegister(REG_BX, _) => %bx
rule DisassemblerRegisterToSemanticsRegister(REG_SP, _) => %sp
rule DisassemblerRegisterToSemanticsRegister(REG_BP, _) => %bp
rule DisassemblerRegisterToSemanticsRegister(REG_SI, _) => %si
rule DisassemblerRegisterToSemanticsRegister(REG_DI, _) => %di
rule DisassemblerRegisterToSemanticsRegister(REG_R8W, _) => %r8w
rule DisassemblerRegisterToSemanticsRegister(REG_R9W, _) => %r9w
rule DisassemblerRegisterToSemanticsRegister(REG_R10W, _) => %r10w
rule DisassemblerRegisterToSemanticsRegister(REG_R11W, _) => %r11w
rule DisassemblerRegisterToSemanticsRegister(REG_R12W, _) => %r12w
rule DisassemblerRegisterToSemanticsRegister(REG_R13W, _) => %r13w
rule DisassemblerRegisterToSemanticsRegister(REG_R14W, _) => %r14w
rule DisassemblerRegisterToSemanticsRegister(REG_R15W, _) => %r15w
rule DisassemblerRegisterToSemanticsRegister(REG_EAX, _) => %eax
rule DisassemblerRegisterToSemanticsRegister(REG_ECX, _) => %ecx
rule DisassemblerRegisterToSemanticsRegister(REG_EDX, _) => %edx
rule DisassemblerRegisterToSemanticsRegister(REG_EBX, _) => %ebx
rule DisassemblerRegisterToSemanticsRegister(REG_ESP, _) => %esp
rule DisassemblerRegisterToSemanticsRegister(REG_EBP, _) => %ebp
rule DisassemblerRegisterToSemanticsRegister(REG_ESI, _) => %esi
rule DisassemblerRegisterToSemanticsRegister(REG_EDI, _) => %edi
rule DisassemblerRegisterToSemanticsRegister(REG_R8D, _) => %r8d
rule DisassemblerRegisterToSemanticsRegister(REG_R9D, _) => %r9d
rule DisassemblerRegisterToSemanticsRegister(REG_R10D, _) => %r10d
rule DisassemblerRegisterToSemanticsRegister(REG_R11D, _) => %r11d
rule DisassemblerRegisterToSemanticsRegister(REG_R12D, _) => %r12d
rule DisassemblerRegisterToSemanticsRegister(REG_R13D, _) => %r13d
rule DisassemblerRegisterToSemanticsRegister(REG_R14D, _) => %r14d
rule DisassemblerRegisterToSemanticsRegister(REG_R15D, _) => %r15d
rule DisassemblerRegisterToSemanticsRegister(REG_RAX, _) => %rax
rule DisassemblerRegisterToSemanticsRegister(REG_RCX, _) => %rcx
rule DisassemblerRegisterToSemanticsRegister(REG_RDX, _) => %rdx
rule DisassemblerRegisterToSemanticsRegister(REG_RBX, _) => %rbx
rule DisassemblerRegisterToSemanticsRegister(REG_RSP, _) => %rsp
rule DisassemblerRegisterToSemanticsRegister(REG_RBP, _) => %rbp
rule DisassemblerRegisterToSemanticsRegister(REG_RSI, _) => %rsi
rule DisassemblerRegisterToSemanticsRegister(REG_RDI, _) => %rdi
rule DisassemblerRegisterToSemanticsRegister(REG_R8, _) => %r8
rule DisassemblerRegisterToSemanticsRegister(REG_R9, _) => %r9
rule DisassemblerRegisterToSemanticsRegister(REG_R10, _) => %r10
rule DisassemblerRegisterToSemanticsRegister(REG_R11, _) => %r11
rule DisassemblerRegisterToSemanticsRegister(REG_R12, _) => %r12
rule DisassemblerRegisterToSemanticsRegister(REG_R13, _) => %r13
rule DisassemblerRegisterToSemanticsRegister(REG_R14, _) => %r14
rule DisassemblerRegisterToSemanticsRegister(REG_R15, _) => %r15
rule DisassemblerRegisterToSemanticsRegister(REG_AL, _) => %al
rule DisassemblerRegisterToSemanticsRegister(REG_CL, _) => %cl
rule DisassemblerRegisterToSemanticsRegister(REG_DL, _) => %dl
rule DisassemblerRegisterToSemanticsRegister(REG_BL, _) => %bl
rule DisassemblerRegisterToSemanticsRegister(REG_SPL, _) => %spl
rule DisassemblerRegisterToSemanticsRegister(REG_BPL, _) => %bpl
rule DisassemblerRegisterToSemanticsRegister(REG_SIL, _) => %sil
rule DisassemblerRegisterToSemanticsRegister(REG_DIL, _) => %dil
rule DisassemblerRegisterToSemanticsRegister(REG_R8B, _) => %r8b
rule DisassemblerRegisterToSemanticsRegister(REG_R9B, _) => %r9b
rule DisassemblerRegisterToSemanticsRegister(REG_R10B, _) => %r10b
rule DisassemblerRegisterToSemanticsRegister(REG_R11B, _) => %r11b
rule DisassemblerRegisterToSemanticsRegister(REG_R12B, _) => %r12b
rule DisassemblerRegisterToSemanticsRegister(REG_R13B, _) => %r13b
rule DisassemblerRegisterToSemanticsRegister(REG_R14B, _) => %r14b
rule DisassemblerRegisterToSemanticsRegister(REG_R15B, _) => %r15b
rule DisassemblerRegisterToSemanticsRegister(REG_AH, _) => %ah
rule DisassemblerRegisterToSemanticsRegister(REG_CH, _) => %ch
rule DisassemblerRegisterToSemanticsRegister(REG_DH, _) => %dh
rule DisassemblerRegisterToSemanticsRegister(REG_BH, _) => %bh
rule DisassemblerRegisterToSemanticsRegister(REG_ERROR, _) => %error
rule DisassemblerRegisterToSemanticsRegister(REG_RIP, _) => %rip
rule DisassemblerRegisterToSemanticsRegister(REG_EIP, _) => %eip
rule DisassemblerRegisterToSemanticsRegister(REG_IP, _) => %ip
rule DisassemblerRegisterToSemanticsRegister(REG_K0, _) => %k0
rule DisassemblerRegisterToSemanticsRegister(REG_K1, _) => %k1
rule DisassemblerRegisterToSemanticsRegister(REG_K2, _) => %k2
rule DisassemblerRegisterToSemanticsRegister(REG_K3, _) => %k3
rule DisassemblerRegisterToSemanticsRegister(REG_K4, _) => %k4
rule DisassemblerRegisterToSemanticsRegister(REG_K5, _) => %k5
rule DisassemblerRegisterToSemanticsRegister(REG_K6, _) => %k6
rule DisassemblerRegisterToSemanticsRegister(REG_K7, _) => %k7
rule DisassemblerRegisterToSemanticsRegister(REG_MMX0, _) => %mmx0
rule DisassemblerRegisterToSemanticsRegister(REG_MMX1, _) => %mmx1
rule DisassemblerRegisterToSemanticsRegister(REG_MMX2, _) => %mmx2
rule DisassemblerRegisterToSemanticsRegister(REG_MMX3, _) => %mmx3
rule DisassemblerRegisterToSemanticsRegister(REG_MMX4, _) => %mmx4
rule DisassemblerRegisterToSemanticsRegister(REG_MMX5, _) => %mmx5
rule DisassemblerRegisterToSemanticsRegister(REG_MMX6, _) => %mmx6
rule DisassemblerRegisterToSemanticsRegister(REG_MMX7, _) => %mmx7
rule DisassemblerRegisterToSemanticsRegister(REG_SSP, _) => %ssp
rule DisassemblerRegisterToSemanticsRegister(REG_MXCSR, _) => %mxcsr
rule DisassemblerRegisterToSemanticsRegister(REG_STACKPUSH, _) => %stackpush
rule DisassemblerRegisterToSemanticsRegister(REG_STACKPOP, _) => %stackpop
rule DisassemblerRegisterToSemanticsRegister(REG_GDTR, _) => %gdtr
rule DisassemblerRegisterToSemanticsRegister(REG_LDTR, _) => %ldtr
rule DisassemblerRegisterToSemanticsRegister(REG_IDTR, _) => %idtr
rule DisassemblerRegisterToSemanticsRegister(REG_TR, _) => %tr
rule DisassemblerRegisterToSemanticsRegister(REG_TSC, _) => %tsc
rule DisassemblerRegisterToSemanticsRegister(REG_TSCAUX, _) => %tscaux
rule DisassemblerRegisterToSemanticsRegister(REG_MSRS, _) => %msrs
rule DisassemblerRegisterToSemanticsRegister(REG_FSBASE, _) => %fsbase
rule DisassemblerRegisterToSemanticsRegister(REG_GSBASE, _) => %gsbase
rule DisassemblerRegisterToSemanticsRegister(REG_X87CONTROL, _) => %x87control
rule DisassemblerRegisterToSemanticsRegister(REG_X87STATUS, _) => %x87status
rule DisassemblerRegisterToSemanticsRegister(REG_X87TAG, _) => %x87tag
rule DisassemblerRegisterToSemanticsRegister(REG_X87PUSH, _) => %x87push
rule DisassemblerRegisterToSemanticsRegister(REG_X87POP, _) => %x87pop
rule DisassemblerRegisterToSemanticsRegister(REG_X87POP2, _) => %x87pop2
rule DisassemblerRegisterToSemanticsRegister(REG_CS, _) => %cs
rule DisassemblerRegisterToSemanticsRegister(REG_DS, _) => %ds
rule DisassemblerRegisterToSemanticsRegister(REG_ES, _) => %es
rule DisassemblerRegisterToSemanticsRegister(REG_SS, _) => %ss
rule DisassemblerRegisterToSemanticsRegister(REG_FS, _) => %fs
syntax String ::= RegisterToString(K,Bool) [function]
rule DisassemblerRegisterToSemanticsRegister(REG_INVALID, _) => %invalid
rule DisassemblerRegisterToSemanticsRegister(REG_BND0, _) => %bnd0
rule DisassemblerRegisterToSemanticsRegister(REG_BND1, _) => %bnd1
rule DisassemblerRegisterToSemanticsRegister(REG_BND2, _) => %bnd2
rule DisassemblerRegisterToSemanticsRegister(REG_BND3, _) => %bnd3
rule DisassemblerRegisterToSemanticsRegister(REG_CR0, _) => %cr0
rule DisassemblerRegisterToSemanticsRegister(REG_CR2, _) => %cr2
rule DisassemblerRegisterToSemanticsRegister(REG_CR3, _) => %cr3
rule DisassemblerRegisterToSemanticsRegister(REG_CR4, _) => %cr4
rule DisassemblerRegisterToSemanticsRegister(REG_CR8, _) => %cr8
rule DisassemblerRegisterToSemanticsRegister(REG_DR0, _) => %dr0
rule DisassemblerRegisterToSemanticsRegister(REG_DR1, _) => %dr1
rule DisassemblerRegisterToSemanticsRegister(REG_DR2, _) => %dr2
rule DisassemblerRegisterToSemanticsRegister(REG_DR3, _) => %dr3
rule DisassemblerRegisterToSemanticsRegister(REG_DR4, _) => %dr4
rule DisassemblerRegisterToSemanticsRegister(REG_DR5, _) => %dr5
rule DisassemblerRegisterToSemanticsRegister(REG_DR6, _) => %dr6
rule DisassemblerRegisterToSemanticsRegister(REG_DR7, _) => %dr7
rule DisassemblerRegisterToSemanticsRegister(REG_FLAGS, _) => %flags
rule DisassemblerRegisterToSemanticsRegister(REG_EFLAGS, _) => %eflags
rule DisassemblerRegisterToSemanticsRegister(REG_RFLAGS, _) => %rflags
rule DisassemblerRegisterToSemanticsRegister(REG_AX, _) => %ax
rule DisassemblerRegisterToSemanticsRegister(REG_CX, _) => %cx
rule DisassemblerRegisterToSemanticsRegister(REG_DX, _) => %dx
rule DisassemblerRegisterToSemanticsRegister(REG_BX, _) => %bx
rule DisassemblerRegisterToSemanticsRegister(REG_SP, _) => %sp
rule DisassemblerRegisterToSemanticsRegister(REG_BP, _) => %bp
rule DisassemblerRegisterToSemanticsRegister(REG_SI, _) => %si
rule DisassemblerRegisterToSemanticsRegister(REG_DI, _) => %di
rule DisassemblerRegisterToSemanticsRegister(REG_R8W, _) => %r8w
rule DisassemblerRegisterToSemanticsRegister(REG_R9W, _) => %r9w
rule DisassemblerRegisterToSemanticsRegister(REG_R10W, _) => %r10w
rule DisassemblerRegisterToSemanticsRegister(REG_R11W, _) => %r11w
rule DisassemblerRegisterToSemanticsRegister(REG_R12W, _) => %r12w
rule DisassemblerRegisterToSemanticsRegister(REG_R13W, _) => %r13w
rule DisassemblerRegisterToSemanticsRegister(REG_R14W, _) => %r14w
rule DisassemblerRegisterToSemanticsRegister(REG_R15W, _) => %r15w
rule DisassemblerRegisterToSemanticsRegister(REG_EAX, _) => %eax
rule DisassemblerRegisterToSemanticsRegister(REG_ECX, _) => %ecx
rule DisassemblerRegisterToSemanticsRegister(REG_EDX, _) => %edx
rule DisassemblerRegisterToSemanticsRegister(REG_EBX, _) => %ebx
rule DisassemblerRegisterToSemanticsRegister(REG_ESP, _) => %esp
rule DisassemblerRegisterToSemanticsRegister(REG_EBP, _) => %ebp
rule DisassemblerRegisterToSemanticsRegister(REG_ESI, _) => %esi
rule DisassemblerRegisterToSemanticsRegister(REG_EDI, _) => %edi
rule DisassemblerRegisterToSemanticsRegister(REG_R8D, _) => %r8d
rule DisassemblerRegisterToSemanticsRegister(REG_R9D, _) => %r9d
rule DisassemblerRegisterToSemanticsRegister(REG_R10D, _) => %r10d
rule DisassemblerRegisterToSemanticsRegister(REG_R11D, _) => %r11d
rule DisassemblerRegisterToSemanticsRegister(REG_R12D, _) => %r12d
rule DisassemblerRegisterToSemanticsRegister(REG_R13D, _) => %r13d
rule DisassemblerRegisterToSemanticsRegister(REG_R14D, _) => %r14d
rule DisassemblerRegisterToSemanticsRegister(REG_R15D, _) => %r15d
rule DisassemblerRegisterToSemanticsRegister(REG_RAX, _) => %rax
rule DisassemblerRegisterToSemanticsRegister(REG_RCX, _) => %rcx
rule DisassemblerRegisterToSemanticsRegister(REG_RDX, _) => %rdx
rule DisassemblerRegisterToSemanticsRegister(REG_RBX, _) => %rbx
rule DisassemblerRegisterToSemanticsRegister(REG_RSP, _) => %rsp
rule DisassemblerRegisterToSemanticsRegister(REG_RBP, _) => %rbp
rule DisassemblerRegisterToSemanticsRegister(REG_RSI, _) => %rsi
rule DisassemblerRegisterToSemanticsRegister(REG_RDI, _) => %rdi
rule DisassemblerRegisterToSemanticsRegister(REG_R8, _) => %r8
rule DisassemblerRegisterToSemanticsRegister(REG_R9, _) => %r9
rule DisassemblerRegisterToSemanticsRegister(REG_R10, _) => %r10
rule DisassemblerRegisterToSemanticsRegister(REG_R11, _) => %r11
rule DisassemblerRegisterToSemanticsRegister(REG_R12, _) => %r12
rule DisassemblerRegisterToSemanticsRegister(REG_R13, _) => %r13
rule DisassemblerRegisterToSemanticsRegister(REG_R14, _) => %r14
rule DisassemblerRegisterToSemanticsRegister(REG_R15, _) => %r15
rule DisassemblerRegisterToSemanticsRegister(REG_AL, _) => %al
rule DisassemblerRegisterToSemanticsRegister(REG_CL, _) => %cl
rule DisassemblerRegisterToSemanticsRegister(REG_DL, _) => %dl
rule DisassemblerRegisterToSemanticsRegister(REG_BL, _) => %bl
rule DisassemblerRegisterToSemanticsRegister(REG_SPL, _) => %spl
rule DisassemblerRegisterToSemanticsRegister(REG_BPL, _) => %bpl
rule DisassemblerRegisterToSemanticsRegister(REG_SIL, _) => %sil
rule DisassemblerRegisterToSemanticsRegister(REG_DIL, _) => %dil
rule DisassemblerRegisterToSemanticsRegister(REG_R8B, _) => %r8b
rule DisassemblerRegisterToSemanticsRegister(REG_R9B, _) => %r9b
rule DisassemblerRegisterToSemanticsRegister(REG_R10B, _) => %r10b
rule DisassemblerRegisterToSemanticsRegister(REG_R11B, _) => %r11b
rule DisassemblerRegisterToSemanticsRegister(REG_R12B, _) => %r12b
rule DisassemblerRegisterToSemanticsRegister(REG_R13B, _) => %r13b
rule DisassemblerRegisterToSemanticsRegister(REG_R14B, _) => %r14b
rule DisassemblerRegisterToSemanticsRegister(REG_R15B, _) => %r15b
rule DisassemblerRegisterToSemanticsRegister(REG_AH, _) => %ah
rule DisassemblerRegisterToSemanticsRegister(REG_CH, _) => %ch
rule DisassemblerRegisterToSemanticsRegister(REG_DH, _) => %dh
rule DisassemblerRegisterToSemanticsRegister(REG_BH, _) => %bh
rule DisassemblerRegisterToSemanticsRegister(REG_ERROR, _) => %error
rule DisassemblerRegisterToSemanticsRegister(REG_RIP, _) => %rip
rule DisassemblerRegisterToSemanticsRegister(REG_EIP, _) => %eip
rule DisassemblerRegisterToSemanticsRegister(REG_IP, _) => %ip
rule DisassemblerRegisterToSemanticsRegister(REG_K0, _) => %k0
rule DisassemblerRegisterToSemanticsRegister(REG_K1, _) => %k1
rule DisassemblerRegisterToSemanticsRegister(REG_K2, _) => %k2
rule DisassemblerRegisterToSemanticsRegister(REG_K3, _) => %k3
rule DisassemblerRegisterToSemanticsRegister(REG_K4, _) => %k4
rule DisassemblerRegisterToSemanticsRegister(REG_K5, _) => %k5
rule DisassemblerRegisterToSemanticsRegister(REG_K6, _) => %k6
rule DisassemblerRegisterToSemanticsRegister(REG_K7, _) => %k7
rule DisassemblerRegisterToSemanticsRegister(REG_MMX0, _) => %mmx0
rule DisassemblerRegisterToSemanticsRegister(REG_MMX1, _) => %mmx1
rule DisassemblerRegisterToSemanticsRegister(REG_MMX2, _) => %mmx2
rule DisassemblerRegisterToSemanticsRegister(REG_MMX3, _) => %mmx3
rule DisassemblerRegisterToSemanticsRegister(REG_MMX4, _) => %mmx4
rule DisassemblerRegisterToSemanticsRegister(REG_MMX5, _) => %mmx5
rule DisassemblerRegisterToSemanticsRegister(REG_MMX6, _) => %mmx6
rule DisassemblerRegisterToSemanticsRegister(REG_MMX7, _) => %mmx7
rule DisassemblerRegisterToSemanticsRegister(REG_SSP, _) => %ssp
rule DisassemblerRegisterToSemanticsRegister(REG_MXCSR, _) => %mxcsr
rule DisassemblerRegisterToSemanticsRegister(REG_STACKPUSH, _) => %stackpush
rule DisassemblerRegisterToSemanticsRegister(REG_STACKPOP, _) => %stackpop
rule DisassemblerRegisterToSemanticsRegister(REG_GDTR, _) => %gdtr
rule DisassemblerRegisterToSemanticsRegister(REG_LDTR, _) => %ldtr
rule DisassemblerRegisterToSemanticsRegister(REG_IDTR, _) => %idtr
rule DisassemblerRegisterToSemanticsRegister(REG_TR, _) => %tr
rule DisassemblerRegisterToSemanticsRegister(REG_TSC, _) => %tsc
rule DisassemblerRegisterToSemanticsRegister(REG_TSCAUX, _) => %tscaux
rule DisassemblerRegisterToSemanticsRegister(REG_MSRS, _) => %msrs
rule DisassemblerRegisterToSemanticsRegister(REG_FSBASE, _) => %fsbase
rule DisassemblerRegisterToSemanticsRegister(REG_GSBASE, _) => %gsbase
rule DisassemblerRegisterToSemanticsRegister(REG_X87CONTROL, _) => %x87control
rule DisassemblerRegisterToSemanticsRegister(REG_X87STATUS, _) => %x87status
rule DisassemblerRegisterToSemanticsRegister(REG_X87TAG, _) => %x87tag
rule DisassemblerRegisterToSemanticsRegister(REG_X87PUSH, _) => %x87push
rule DisassemblerRegisterToSemanticsRegister(REG_X87POP, _) => %x87pop
rule DisassemblerRegisterToSemanticsRegister(REG_X87POP2, _) => %x87pop2
rule DisassemblerRegisterToSemanticsRegister(REG_CS, _) => %cs
rule DisassemblerRegisterToSemanticsRegister(REG_DS, _) => %ds
rule DisassemblerRegisterToSemanticsRegister(REG_ES, _) => %es
rule DisassemblerRegisterToSemanticsRegister(REG_SS, _) => %ss
rule DisassemblerRegisterToSemanticsRegister(REG_FS, _) => %fs
rule DisassemblerRegisterToSemanticsRegister(REG_GS, _) => %gs
rule DisassemblerRegisterToSemanticsRegister(REG_ST0, false) => %st(0)
rule DisassemblerRegisterToSemanticsRegister(REG_ST0, true) => %st
...
...
@@ -251,4 +251,4 @@ rule DisassemblerRegisterToSemanticsRegister(REG_ST7, _) => %st(7)
rule DisassemblerRegisterToSemanticsRegister(REG_ZMM31, _) => %zmm31
endmodule
endmodule
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment
