Lerking/OSACA
1
0
Fork 0
mirror of https://github.com/RRZE-HPC/OSACA.git synced 2026-01-05 10:40:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

added more instruction forms

Browse Source
This commit is contained in:
JanLJL
2020-01-09 15:18:38 +01:00
parent 8567af27c7
commit bb7ff4d607
1 changed files with 296 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

313
osaca/data/isa/x86.yml
View File

@@ -5,7 +5,7 @@ isa: "x86"
# mnemonic op1 ... opN
# means that opN is the only destination operand and op1 to op(N-1) are source operands.
instruction_forms:
- name: addl
- name: adc
operands:
- class: "immediate"
imd: "int"
@@ -15,7 +15,43 @@ instruction_forms:
name: "gpr"
source: true
destination: true
- name: addq
- name: adc
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: true
- name: adc
operands:
- class: "immediate"
imd: "int"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: adc
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: add
operands:
- class: "immediate"
imd: "int"
@@ -25,6 +61,42 @@ instruction_forms:
name: "gpr"
source: true
destination: true
- name: add
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: true
- name: add
operands:
- class: "immediate"
imd: "int"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: add
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: addsd
operands:
- class: "register"
@@ -45,7 +117,122 @@ instruction_forms:
name: "xmm"
source: true
destination: false
- name: cmpl
- name: and
operands:
- class: "immediate"
imd: "int"
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: true
- name: and
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: true
- name: and
operands:
- class: "immediate"
imd: "int"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: and
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: bts
operands:
- class: "immediate"
imd: "int"
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: true
- name: bts
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: true
- name: bts
operands:
- class: "immediate"
imd: "int"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: bts
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: cmp
operands:
- class: "immediate"
imd: "int"
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: true
- name: cmp
operands:
- class: "immediate"
imd: "int"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: cmp
operands:
- class: "register"
name: "gpr"
@@ -55,17 +242,7 @@ instruction_forms:
name: "gpr"
source: true
destination: false
- name: cmpq
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: false
- name: cmpq
- name: cmp
operands:
- class: "register"
name: "gpr"
@@ -78,11 +255,77 @@ instruction_forms:
scale: 1
source: true
destination: false
- name: ja
- name: dec
operands:
- class: "identifier"
- class: "register"
name: "gpr"
source: true
destination: true
- name: dec
operands:
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: dec
operands:
- class: "memory"
base: "gpr"
offset: ~
index: ~
scale: 1
source: true
destination: true
- name: imul
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: true
- name: imul
operands:
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: true
- name: inc
operands:
- class: "register"
name: "gpr"
source: true
destination: true
- name: inc
operands:
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: inc
operands:
- class: "memory"
base: "gpr"
offset: ~
index: ~
scale: 1
source: true
destination: true
- name: mulsd
operands:
- class: "register"
@@ -103,7 +346,7 @@ instruction_forms:
name: "xmm"
source: true
destination: false
- name: subq
- name: sub
operands:
- class: "immediate"
imd: "int"
@@ -113,6 +356,42 @@ instruction_forms:
name: "gpr"
source: true
destination: true
- name: sub
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "register"
name: "gpr"
source: true
destination: true
- name: sub
operands:
- class: "immediate"
imd: "int"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: sub
operands:
- class: "register"
name: "gpr"
source: true
destination: false
- class: "memory"
base: "gpr"
offset: "imd"
index: ~
scale: 1
source: true
destination: true
- name: vfmadd132pd
operands:
- class: "memory"