I960 Instruction Documentation

Instructions

Instructions for each machine:

i960:ka_sa - I960 KA and SA processors

MEM - Memory
ALU - ALU
BR - Branch
alphabetically

i960:ca - I960 CA processor

MEM - Memory
ALU - ALU
BR - Branch
alphabetically

Individual instructions descriptions

addo - addo reg/reg

machines: base

syntax: addo $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x0	0x0	0x0	src1

semantics:
```
(set dst (add SI src1 src2))
```

addo1 - addo lit/reg

machines: base

syntax: addo $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x1	0x0	0x0	lit1

semantics:
```
(set dst (add UINT lit1 src2))
```

addo2 - addo reg/lit

machines: base

syntax: addo $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x0	0x0	0x0	src1

semantics:
```
(set dst (add SI src1 lit2))
```

addo3 - addo lit/lit

machines: base

syntax: addo $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x1	0x0	0x0	lit1

semantics:
```
(set dst (add UINT lit1 lit2))
```

and - and reg/reg

machines: base

syntax: and $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0x1	0x0	src1

semantics:
```
(set dst (and SI src1 src2))
```

and1 - and lit/reg

machines: base

syntax: and $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0x1	0x0	lit1

semantics:
```
(set dst (and UINT lit1 src2))
```

and2 - and reg/lit

machines: base

syntax: and $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0x1	0x0	src1

semantics:
```
(set dst (and SI src1 lit2))
```

and3 - and lit/lit

machines: base

syntax: and $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0x1	0x0	lit1

semantics:
```
(set dst (and UINT lit1 lit2))
```

andnot - andnot reg/reg

machines: base

syntax: andnot $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0x2	0x0	src1

semantics:
```
(set dst (and SI src2 (inv SI src1)))
```

andnot1 - andnot lit/reg

machines: base

syntax: andnot $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0x2	0x0	lit1

semantics:

(set dst (and SI src2 (inv UINT lit1)))

andnot2 - andnot reg/lit

machines: base

syntax: andnot $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0x2	0x0	src1

semantics:

(set dst (and UINT lit2 (inv SI src1)))

andnot3 - andnot lit/lit

machines: base

syntax: andnot $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0x2	0x0	lit1

semantics:

(set dst (and UINT lit2 (inv UINT lit1)))

b - b

machines: base

syntax: b $ctrl_disp

format:

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

f-opcode f-ctrl-disp f-ctrl-zero

0x8 ctrl_disp 0x0

semantics:
```
(set pc ctrl_disp)
```

bbc-lit - bbc lit

machines: base

syntax: bbc $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x30	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (eq (and WI (sll WI 1 br_lit1) br_src2) 0)
    (set pc br_disp))

bbc-reg - bbc reg

machines: base

syntax: bbc $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x30	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (eq (and WI (sll WI 1 br_src1) br_src2) 0)
    (set pc br_disp))

bbs-lit - bbs lit

machines: base

syntax: bbs $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x37	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (ne (and WI (sll WI 1 br_lit1) br_src2) 0)
    (set pc br_disp))

bbs-reg - bbs reg

machines: base

syntax: bbs $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x37	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (ne (and WI (sll WI 1 br_src1) br_src2) 0)
    (set pc br_disp))

be - be

machines: base

syntax: be $ctrl_disp

format:

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

f-opcode f-ctrl-disp f-ctrl-zero

0x12 ctrl_disp 0x0

semantics:

(if (ne (and SI (reg SI h-cc 0) 2) 0)
    (set pc ctrl_disp))

bg - bg

machines: base

syntax: bg $ctrl_disp

format:

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

f-opcode f-ctrl-disp f-ctrl-zero

0x11 ctrl_disp 0x0

semantics:

(if (ne (and SI (reg SI h-cc 0) 1) 0)
    (set pc ctrl_disp))

bge - bge

machines: base

syntax: bge $ctrl_disp

format:

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

f-opcode f-ctrl-disp f-ctrl-zero

0x13 ctrl_disp 0x0

semantics:

(if (ne (and SI (reg SI h-cc 0) 3) 0)
    (set pc ctrl_disp))

bl - bl

machines: base

syntax: bl $ctrl_disp

format:

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

f-opcode f-ctrl-disp f-ctrl-zero

0x14 ctrl_disp 0x0

semantics:

(if (ne (and SI (reg SI h-cc 0) 4) 0)
    (set pc ctrl_disp))

ble - ble

machines: base

syntax: ble $ctrl_disp

format:

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

f-opcode f-ctrl-disp f-ctrl-zero

0x16 ctrl_disp 0x0

semantics:

(if (ne (and SI (reg SI h-cc 0) 6) 0)
    (set pc ctrl_disp))

bne - bne

machines: base

syntax: bne $ctrl_disp

format:

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

f-opcode f-ctrl-disp f-ctrl-zero

0x15 ctrl_disp 0x0

semantics:

(if (ne (and SI (reg SI h-cc 0) 5) 0)
    (set pc ctrl_disp))

bno - bno

machines: base

syntax: bno $ctrl_disp

format:

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

f-opcode f-ctrl-disp f-ctrl-zero

0x10 ctrl_disp 0x0

semantics:

(if (eq (reg SI h-cc 0) 0) (set pc ctrl_disp))

bo - bo

machines: base

syntax: bo $ctrl_disp

format:

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

f-opcode f-ctrl-disp f-ctrl-zero

0x17 ctrl_disp 0x0

semantics:

(if (ne (and SI (reg SI h-cc 0) 7) 0)
    (set pc ctrl_disp))

bx-disp - bx-disp

machines: base

syntax: bx $optdisp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x84	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:
```
(set pc optdisp)
```

bx-indirect - bx-indirect

machines: base

syntax: bx ($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x84	dst	abase	0x4	scale	0x0	indx

semantics:
```
(set pc abase)
```

bx-indirect-disp - bx-indirect-disp

machines: base

syntax: bx $optdisp($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x84	optdisp	dst	abase	0xd	scale	0x0	indx

semantics:
```
(set pc (add UINT optdisp abase))
```

bx-indirect-index - bx-indirect-index

machines: base

syntax: bx ($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x84	dst	abase	0x7	scale	0x0	indx

semantics:

(set pc
     (add SI abase (mul SI indx (sll SI 1 scale))))

bx-indirect-offset - bx-indirect-offset

machines: base

syntax: bx $offset($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x84	dst	abase	0x1	0x0	offset

semantics:
```
(set pc (add UINT offset abase))
```

calls - calls

machines: base

syntax: calls $src1

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x66	dst	src2	0x1	0x1	0x0	0x0	0x0	src1

semantics:

(set pc (c-call WI "i960_trap" pc src1))

callx-disp - callx-disp

machines: base

syntax: callx $optdisp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x86	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:

(sequence
  ((WI temp))
  (set temp
       (and SI (add SI (reg SI h-gr 1) 63) (inv SI 63)))
  (set (reg SI h-gr 2) (add USI pc 8))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 0))
    (reg SI h-gr 0))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 4))
    (reg SI h-gr 1))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 8))
    (reg SI h-gr 2))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 12))
    (reg SI h-gr 3))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 16))
    (reg SI h-gr 4))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 20))
    (reg SI h-gr 5))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 24))
    (reg SI h-gr 6))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 28))
    (reg SI h-gr 7))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 32))
    (reg SI h-gr 8))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 36))
    (reg SI h-gr 9))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 40))
    (reg SI h-gr 10))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 44))
    (reg SI h-gr 11))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 48))
    (reg SI h-gr 12))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 52))
    (reg SI h-gr 13))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 56))
    (reg SI h-gr 14))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 60))
    (reg SI h-gr 15))
  (set pc optdisp)
  (set-quiet (reg SI h-gr 0) 3735928559)
  (set-quiet (reg SI h-gr 1) 3735928559)
  (set-quiet (reg SI h-gr 2) 3735928559)
  (set-quiet (reg SI h-gr 3) 3735928559)
  (set-quiet (reg SI h-gr 4) 3735928559)
  (set-quiet (reg SI h-gr 5) 3735928559)
  (set-quiet (reg SI h-gr 6) 3735928559)
  (set-quiet (reg SI h-gr 7) 3735928559)
  (set-quiet (reg SI h-gr 8) 3735928559)
  (set-quiet (reg SI h-gr 9) 3735928559)
  (set-quiet (reg SI h-gr 10) 3735928559)
  (set-quiet (reg SI h-gr 11) 3735928559)
  (set-quiet (reg SI h-gr 12) 3735928559)
  (set-quiet (reg SI h-gr 13) 3735928559)
  (set-quiet (reg SI h-gr 14) 3735928559)
  (set-quiet (reg SI h-gr 15) 3735928559)
  (set (reg SI h-gr 0) (reg SI h-gr 31))
  (set (reg SI h-gr 31) temp)
  (set (reg SI h-gr 1) (add SI temp 64)))

callx-indirect - callx-indirect

machines: base

syntax: callx ($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x86	dst	abase	0x4	scale	0x0	indx

semantics:

(sequence
  ((WI temp))
  (set temp
       (and SI (add SI (reg SI h-gr 1) 63) (inv SI 63)))
  (set (reg SI h-gr 2) (add USI pc 4))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 0))
    (reg SI h-gr 0))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 4))
    (reg SI h-gr 1))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 8))
    (reg SI h-gr 2))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 12))
    (reg SI h-gr 3))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 16))
    (reg SI h-gr 4))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 20))
    (reg SI h-gr 5))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 24))
    (reg SI h-gr 6))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 28))
    (reg SI h-gr 7))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 32))
    (reg SI h-gr 8))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 36))
    (reg SI h-gr 9))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 40))
    (reg SI h-gr 10))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 44))
    (reg SI h-gr 11))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 48))
    (reg SI h-gr 12))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 52))
    (reg SI h-gr 13))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 56))
    (reg SI h-gr 14))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 60))
    (reg SI h-gr 15))
  (set pc abase)
  (set-quiet (reg SI h-gr 0) 3735928559)
  (set-quiet (reg SI h-gr 1) 3735928559)
  (set-quiet (reg SI h-gr 2) 3735928559)
  (set-quiet (reg SI h-gr 3) 3735928559)
  (set-quiet (reg SI h-gr 4) 3735928559)
  (set-quiet (reg SI h-gr 5) 3735928559)
  (set-quiet (reg SI h-gr 6) 3735928559)
  (set-quiet (reg SI h-gr 7) 3735928559)
  (set-quiet (reg SI h-gr 8) 3735928559)
  (set-quiet (reg SI h-gr 9) 3735928559)
  (set-quiet (reg SI h-gr 10) 3735928559)
  (set-quiet (reg SI h-gr 11) 3735928559)
  (set-quiet (reg SI h-gr 12) 3735928559)
  (set-quiet (reg SI h-gr 13) 3735928559)
  (set-quiet (reg SI h-gr 14) 3735928559)
  (set-quiet (reg SI h-gr 15) 3735928559)
  (set (reg SI h-gr 0) (reg SI h-gr 31))
  (set (reg SI h-gr 31) temp)
  (set (reg SI h-gr 1) (add SI temp 64)))

callx-indirect-offset - callx-indirect-offset

machines: base

syntax: callx $offset($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x86	dst	abase	0x1	0x0	offset

semantics:

(sequence
  ((WI temp))
  (set temp
       (and SI (add SI (reg SI h-gr 1) 63) (inv SI 63)))
  (set (reg SI h-gr 2) (add USI pc 4))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 0))
    (reg SI h-gr 0))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 4))
    (reg SI h-gr 1))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 8))
    (reg SI h-gr 2))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 12))
    (reg SI h-gr 3))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 16))
    (reg SI h-gr 4))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 20))
    (reg SI h-gr 5))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 24))
    (reg SI h-gr 6))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 28))
    (reg SI h-gr 7))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 32))
    (reg SI h-gr 8))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 36))
    (reg SI h-gr 9))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 40))
    (reg SI h-gr 10))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 44))
    (reg SI h-gr 11))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 48))
    (reg SI h-gr 12))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 52))
    (reg SI h-gr 13))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 56))
    (reg SI h-gr 14))
  (set-quiet
    (mem WI (add SI (reg SI h-gr 31) 60))
    (reg SI h-gr 15))
  (set pc (add UINT offset abase))
  (set-quiet (reg SI h-gr 0) 3735928559)
  (set-quiet (reg SI h-gr 1) 3735928559)
  (set-quiet (reg SI h-gr 2) 3735928559)
  (set-quiet (reg SI h-gr 3) 3735928559)
  (set-quiet (reg SI h-gr 4) 3735928559)
  (set-quiet (reg SI h-gr 5) 3735928559)
  (set-quiet (reg SI h-gr 6) 3735928559)
  (set-quiet (reg SI h-gr 7) 3735928559)
  (set-quiet (reg SI h-gr 8) 3735928559)
  (set-quiet (reg SI h-gr 9) 3735928559)
  (set-quiet (reg SI h-gr 10) 3735928559)
  (set-quiet (reg SI h-gr 11) 3735928559)
  (set-quiet (reg SI h-gr 12) 3735928559)
  (set-quiet (reg SI h-gr 13) 3735928559)
  (set-quiet (reg SI h-gr 14) 3735928559)
  (set-quiet (reg SI h-gr 15) 3735928559)
  (set (reg SI h-gr 0) (reg SI h-gr 31))
  (set (reg SI h-gr 31) temp)
  (set (reg SI h-gr 1) (add SI temp 64)))

clrbit - clrbit reg/reg

machines: base

syntax: clrbit $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0xc	0x0	src1

semantics:

(set dst (and SI (inv SI (sll SI 1 src1)) src2))

clrbit1 - clrbit lit/reg

machines: base

syntax: clrbit $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0xc	0x0	lit1

semantics:

(set dst (and SI (inv SI (sll SI 1 lit1)) src2))

clrbit2 - clrbit reg/lit

machines: base

syntax: clrbit $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0xc	0x0	src1

semantics:

(set dst (and SI (inv SI (sll SI 1 src1)) lit2))

clrbit3 - clrbit lit/lit

machines: base

syntax: clrbit $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0xc	0x0	lit1

semantics:

(set dst (and SI (inv SI (sll SI 1 lit1)) lit2))

cmpi - cmpi reg/reg

machines: base

syntax: cmpi $src1, $src2

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5a	dst	src2	0x1	0x0	0x0	0x1	0x0	src1

semantics:

(set (reg SI h-cc 0)
     (cond WI
           ((lt src1 src2) 4)
           ((eq src1 src2) 2)
           (else . 1)))

cmpi1 - cmpi lit/reg

machines: base

syntax: cmpi $lit1, $src2

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5a	dst	src2	0x1	0x0	0x1	0x1	0x0	lit1

semantics:

(set (reg SI h-cc 0)
     (cond WI
           ((lt lit1 src2) 4)
           ((eq lit1 src2) 2)
           (else . 1)))

cmpi2 - cmpi reg/lit

machines: base

syntax: cmpi $src1, $lit2

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5a	dst	lit2	0x1	0x1	0x0	0x1	0x0	src1

semantics:

(set (reg SI h-cc 0)
     (cond WI
           ((lt src1 lit2) 4)
           ((eq src1 lit2) 2)
           (else . 1)))

cmpi3 - cmpi lit/lit

machines: base

syntax: cmpi $lit1, $lit2

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5a	dst	lit2	0x1	0x1	0x1	0x1	0x0	lit1

semantics:

(set (reg SI h-cc 0)
     (cond WI
           ((lt lit1 lit2) 4)
           ((eq lit1 lit2) 2)
           (else . 1)))

cmpibe-lit - cmpibe lit

machines: base

syntax: cmpibe $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x3a	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (eq br_lit1 br_src2) (set pc br_disp))

cmpibe-reg - cmpibe reg

machines: base

syntax: cmpibe $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x3a	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (eq br_src1 br_src2) (set pc br_disp))

cmpibg-lit - cmpibg lit

machines: base

syntax: cmpibg $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x39	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (gt br_lit1 br_src2) (set pc br_disp))

cmpibg-reg - cmpibg reg

machines: base

syntax: cmpibg $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x39	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (gt br_src1 br_src2) (set pc br_disp))

cmpibge-lit - cmpibge lit

machines: base

syntax: cmpibge $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x3b	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (ge br_lit1 br_src2) (set pc br_disp))

cmpibge-reg - cmpibge reg

machines: base

syntax: cmpibge $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x3b	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (ge br_src1 br_src2) (set pc br_disp))

cmpibl-lit - cmpibl lit

machines: base

syntax: cmpibl $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x3c	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (lt br_lit1 br_src2) (set pc br_disp))

cmpibl-reg - cmpibl reg

machines: base

syntax: cmpibl $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x3c	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (lt br_src1 br_src2) (set pc br_disp))

cmpible-lit - cmpible lit

machines: base

syntax: cmpible $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x3e	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (le br_lit1 br_src2) (set pc br_disp))

cmpible-reg - cmpible reg

machines: base

syntax: cmpible $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x3e	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (le br_src1 br_src2) (set pc br_disp))

cmpibne-lit - cmpibne lit

machines: base

syntax: cmpibne $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x3d	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (ne br_lit1 br_src2) (set pc br_disp))

cmpibne-reg - cmpibne reg

machines: base

syntax: cmpibne $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x3d	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (ne br_src1 br_src2) (set pc br_disp))

cmpo - cmpo reg/reg

machines: base

syntax: cmpo $src1, $src2

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5a	dst	src2	0x1	0x0	0x0	0x0	0x0	src1

semantics:

(set (reg SI h-cc 0)
     (cond WI
           ((ltu src1 src2) 4)
           ((eq src1 src2) 2)
           (else . 1)))

cmpo1 - cmpo lit/reg

machines: base

syntax: cmpo $lit1, $src2

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5a	dst	src2	0x1	0x0	0x1	0x0	0x0	lit1

semantics:

(set (reg SI h-cc 0)
     (cond WI
           ((ltu lit1 src2) 4)
           ((eq lit1 src2) 2)
           (else . 1)))

cmpo2 - cmpo reg/lit

machines: base

syntax: cmpo $src1, $lit2

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5a	dst	lit2	0x1	0x1	0x0	0x0	0x0	src1

semantics:

(set (reg SI h-cc 0)
     (cond WI
           ((ltu src1 lit2) 4)
           ((eq src1 lit2) 2)
           (else . 1)))

cmpo3 - cmpo lit/lit

machines: base

syntax: cmpo $lit1, $lit2

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5a	dst	lit2	0x1	0x1	0x1	0x0	0x0	lit1

semantics:

(set (reg SI h-cc 0)
     (cond WI
           ((ltu lit1 lit2) 4)
           ((eq lit1 lit2) 2)
           (else . 1)))

cmpobe-lit - cmpobe lit

machines: base

syntax: cmpobe $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x32	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (eq br_lit1 br_src2) (set pc br_disp))

cmpobe-reg - cmpobe reg

machines: base

syntax: cmpobe $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x32	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (eq br_src1 br_src2) (set pc br_disp))

cmpobg-lit - cmpobg lit

machines: base

syntax: cmpobg $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x31	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (gtu br_lit1 br_src2) (set pc br_disp))

cmpobg-reg - cmpobg reg

machines: base

syntax: cmpobg $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x31	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (gtu br_src1 br_src2) (set pc br_disp))

cmpobge-lit - cmpobge lit

machines: base

syntax: cmpobge $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x33	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (geu br_lit1 br_src2) (set pc br_disp))

cmpobge-reg - cmpobge reg

machines: base

syntax: cmpobge $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x33	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (geu br_src1 br_src2) (set pc br_disp))

cmpobl-lit - cmpobl lit

machines: base

syntax: cmpobl $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x34	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (ltu br_lit1 br_src2) (set pc br_disp))

cmpobl-reg - cmpobl reg

machines: base

syntax: cmpobl $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x34	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (ltu br_src1 br_src2) (set pc br_disp))

cmpoble-lit - cmpoble lit

machines: base

syntax: cmpoble $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x36	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (leu br_lit1 br_src2) (set pc br_disp))

cmpoble-reg - cmpoble reg

machines: base

syntax: cmpoble $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x36	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (leu br_src1 br_src2) (set pc br_disp))

cmpobne-lit - cmpobne lit

machines: base

syntax: cmpobne $br_lit1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x35	br_lit1	br_src2	0x1	br_disp	0x0

semantics:

(if (ne br_lit1 br_src2) (set pc br_disp))

cmpobne-reg - cmpobne reg

machines: base

syntax: cmpobne $br_src1, $br_src2, $br_disp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x35	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(if (ne br_src1 br_src2) (set pc br_disp))

divi - divi reg/reg

machines: base

syntax: divi $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x74	dst	src2	0x0	0x0	0x0	0xb	0x0	src1

semantics:
```
(set dst (div SI src2 src1))
```

divi1 - divi lit/reg

machines: base

syntax: divi $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x74	dst	src2	0x0	0x0	0x1	0xb	0x0	lit1

semantics:
```
(set dst (div SI src2 lit1))
```

divi2 - divi reg/lit

machines: base

syntax: divi $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x74	dst	lit2	0x0	0x1	0x0	0xb	0x0	src1

semantics:
```
(set dst (div UINT lit2 src1))
```

divi3 - divi lit/lit

machines: base

syntax: divi $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x74	dst	lit2	0x0	0x1	0x1	0xb	0x0	lit1

semantics:
```
(set dst (div UINT lit2 lit1))
```

divo - divo reg/reg

machines: base

syntax: divo $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	src2	0x0	0x0	0x0	0xb	0x0	src1

semantics:
```
(set dst (udiv SI src2 src1))
```

divo1 - divo lit/reg

machines: base

syntax: divo $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	src2	0x0	0x0	0x1	0xb	0x0	lit1

semantics:
```
(set dst (udiv SI src2 lit1))
```

divo2 - divo reg/lit

machines: base

syntax: divo $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	lit2	0x0	0x1	0x0	0xb	0x0	src1

semantics:
```
(set dst (udiv UINT lit2 src1))
```

divo3 - divo lit/lit

machines: base

syntax: divo $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	lit2	0x0	0x1	0x1	0xb	0x0	lit1

semantics:
```
(set dst (udiv UINT lit2 lit1))
```

emul - emul reg/reg

machines: base

syntax: emul $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x67	dst	src2	0x0	0x0	0x0	0x0	0x0	src1

semantics:

(sequence
  ((DI temp) (SI dregno))
  (set temp (mul DI (zext DI src1) (zext DI src2)))
  (set dregno f-srcdst)
  (set dst (trunc SI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (trunc SI (srl DI temp 32))))

emul1 - emul lit/reg

machines: base

syntax: emul $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x67	dst	src2	0x0	0x0	0x1	0x0	0x0	lit1

semantics:

(sequence
  ((DI temp) (SI dregno))
  (set temp (mul DI (zext DI lit1) (zext DI src2)))
  (set dregno f-srcdst)
  (set dst (trunc SI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (trunc SI (srl DI temp 32))))

emul2 - emul reg/lit

machines: base

syntax: emul $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x67	dst	lit2	0x0	0x1	0x0	0x0	0x0	src1

semantics:

(sequence
  ((DI temp) (SI dregno))
  (set temp (mul DI (zext DI src1) (zext DI lit2)))
  (set dregno f-srcdst)
  (set dst (trunc SI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (trunc SI (srl DI temp 32))))

emul3 - emul lit/lit

machines: base

syntax: emul $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x67	dst	lit2	0x0	0x1	0x1	0x0	0x0	lit1

semantics:

(sequence
  ((DI temp) (SI dregno))
  (set temp (mul DI (zext DI lit1) (zext DI lit2)))
  (set dregno f-srcdst)
  (set dst (trunc SI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (trunc SI (srl DI temp 32))))

flushreg - flushreg

machines: base

syntax: flushreg

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x66	dst	src2	0x1	0x1	0x1	0xd	0x0	src1

semantics:
```
(nop)
```

fmark - fmark

machines: base

syntax: fmark

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x66	dst	src2	0x1	0x1	0x1	0xc	0x0	src1

semantics:

(set pc (c-call WI "i960_breakpoint" pc))

ld-disp - ld-disp

machines: base

syntax: ld $optdisp, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x90	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:
```
(set dst (mem WI optdisp))
```

ld-index-disp - ld-index-disp

machines: base

syntax: ld $optdisp[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x90	optdisp	dst	abase	0xe	scale	0x0	indx

semantics:

(set dst
     (mem WI
          (add UINT optdisp (mul SI indx (sll SI 1 scale)))))

ld-indirect - ld-indirect

machines: base

syntax: ld ($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x90	dst	abase	0x4	scale	0x0	indx

semantics:
```
(set dst (mem WI abase))
```

ld-indirect-disp - ld-indirect-disp

machines: base

syntax: ld $optdisp($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x90	optdisp	dst	abase	0xd	scale	0x0	indx

semantics:

(set dst (mem WI (add UINT optdisp abase)))

ld-indirect-index - ld-indirect-index

machines: base

syntax: ld ($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x90	dst	abase	0x7	scale	0x0	indx

semantics:

(set dst
     (mem WI
          (add SI abase (mul SI indx (sll SI 1 scale)))))

ld-indirect-index-disp - ld-indirect-index-disp

machines: base

syntax: ld $optdisp($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x90	optdisp	dst	abase	0xf	scale	0x0	indx

semantics:

(set dst
     (mem WI
          (add UINT
               optdisp
               (add SI abase (mul SI indx (sll SI 1 scale))))))

ld-indirect-offset - ld-indirect-offset

machines: base

syntax: ld $offset($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x90	dst	abase	0x1	0x0	offset

semantics:

(set dst (mem WI (add UINT offset abase)))

ld-offset - ld-offset

machines: base

syntax: ld $offset, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x90	dst	abase	0x0	0x0	offset

semantics:
```
(set dst (mem WI offset))
```

lda-disp - lda-disp

machines: base

syntax: lda $optdisp, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8c	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:
```
(set dst optdisp)
```

lda-index-disp - lda-index-disp

machines: base

syntax: lda $optdisp[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8c	optdisp	dst	abase	0xe	scale	0x0	indx

semantics:

(set dst
     (add UINT optdisp (mul SI indx (sll SI 1 scale))))

lda-indirect - lda-indirect

machines: base

syntax: lda ($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8c	dst	abase	0x4	scale	0x0	indx

semantics:
```
(set dst abase)
```

lda-indirect-disp - lda-indirect-disp

machines: base

syntax: lda $optdisp($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8c	optdisp	dst	abase	0xd	scale	0x0	indx

semantics:
```
(set dst (add UINT optdisp abase))
```

lda-indirect-index - lda-indirect-index

machines: base

syntax: lda ($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8c	dst	abase	0x7	scale	0x0	indx

semantics:

(set dst
     (add SI abase (mul SI indx (sll SI 1 scale))))

lda-indirect-index-disp - lda-indirect-index-disp

machines: base

syntax: lda $optdisp($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8c	optdisp	dst	abase	0xf	scale	0x0	indx

semantics:

(set dst
     (add UINT
          optdisp
          (add SI abase (mul SI indx (sll SI 1 scale)))))

lda-indirect-offset - lda-indirect-offset

machines: base

syntax: lda $offset($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x8c	dst	abase	0x1	0x0	offset

semantics:
```
(set dst (add UINT offset abase))
```

lda-offset - lda-offset

machines: base

syntax: lda $offset, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x8c	dst	abase	0x0	0x0	offset

semantics:
```
(set dst offset)
```

ldib-disp - ldib-disp

machines: base

syntax: ldib $optdisp, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc0	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:
```
(set dst (mem QI optdisp))
```

ldib-index-disp - ldib-index-disp

machines: base

syntax: ldib $optdisp[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc0	optdisp	dst	abase	0xe	scale	0x0	indx

semantics:

(set dst
     (mem QI
          (add UINT optdisp (mul SI indx (sll SI 1 scale)))))

ldib-indirect - ldib-indirect

machines: base

syntax: ldib ($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc0	dst	abase	0x4	scale	0x0	indx

semantics:
```
(set dst (mem QI abase))
```

ldib-indirect-disp - ldib-indirect-disp

machines: base

syntax: ldib $optdisp($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc0	optdisp	dst	abase	0xd	scale	0x0	indx

semantics:

(set dst (mem QI (add UINT optdisp abase)))

ldib-indirect-index - ldib-indirect-index

machines: base

syntax: ldib ($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc0	dst	abase	0x7	scale	0x0	indx

semantics:

(set dst
     (mem QI
          (add SI abase (mul SI indx (sll SI 1 scale)))))

ldib-indirect-index-disp - ldib-indirect-index-disp

machines: base

syntax: ldib $optdisp($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc0	optdisp	dst	abase	0xf	scale	0x0	indx

semantics:

(set dst
     (mem QI
          (add UINT
               optdisp
               (add SI abase (mul SI indx (sll SI 1 scale))))))

ldib-indirect-offset - ldib-indirect-offset

machines: base

syntax: ldib $offset($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xc0	dst	abase	0x1	0x0	offset

semantics:

(set dst (mem QI (add UINT offset abase)))

ldib-offset - ldib-offset

machines: base

syntax: ldib $offset, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xc0	dst	abase	0x0	0x0	offset

semantics:
```
(set dst (mem QI offset))
```

ldis-disp - ldis-disp

machines: base

syntax: ldis $optdisp, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc8	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:
```
(set dst (mem HI optdisp))
```

ldis-index-disp - ldis-index-disp

machines: base

syntax: ldis $optdisp[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc8	optdisp	dst	abase	0xe	scale	0x0	indx

semantics:

(set dst
     (mem HI
          (add UINT optdisp (mul SI indx (sll SI 1 scale)))))

ldis-indirect - ldis-indirect

machines: base

syntax: ldis ($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc8	dst	abase	0x4	scale	0x0	indx

semantics:
```
(set dst (mem HI abase))
```

ldis-indirect-disp - ldis-indirect-disp

machines: base

syntax: ldis $optdisp($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc8	optdisp	dst	abase	0xd	scale	0x0	indx

semantics:

(set dst (mem HI (add UINT optdisp abase)))

ldis-indirect-index - ldis-indirect-index

machines: base

syntax: ldis ($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc8	dst	abase	0x7	scale	0x0	indx

semantics:

(set dst
     (mem HI
          (add SI abase (mul SI indx (sll SI 1 scale)))))

ldis-indirect-index-disp - ldis-indirect-index-disp

machines: base

syntax: ldis $optdisp($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xc8	optdisp	dst	abase	0xf	scale	0x0	indx

semantics:

(set dst
     (mem HI
          (add UINT
               optdisp
               (add SI abase (mul SI indx (sll SI 1 scale))))))

ldis-indirect-offset - ldis-indirect-offset

machines: base

syntax: ldis $offset($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xc8	dst	abase	0x1	0x0	offset

semantics:

(set dst (mem HI (add UINT offset abase)))

ldis-offset - ldis-offset

machines: base

syntax: ldis $offset, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xc8	dst	abase	0x0	0x0	offset

semantics:
```
(set dst (mem HI offset))
```

ldl-disp - ldl-disp

machines: base

syntax: ldl $optdisp, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x98	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp optdisp)
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4))))

ldl-index-disp - ldl-index-disp

machines: base

syntax: ldl $optdisp[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x98	optdisp	dst	abase	0xe	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp
       (add UINT optdisp (mul SI indx (sll SI 1 scale))))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4))))

ldl-indirect - ldl-indirect

machines: base

syntax: ldl ($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x98	dst	abase	0x4	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp abase)
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4))))

ldl-indirect-disp - ldl-indirect-disp

machines: base

syntax: ldl $optdisp($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x98	optdisp	dst	abase	0xd	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp (add UINT optdisp abase))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4))))

ldl-indirect-index - ldl-indirect-index

machines: base

syntax: ldl ($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x98	dst	abase	0x7	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp
       (add SI abase (mul SI indx (sll SI 1 scale))))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4))))

ldl-indirect-index-disp - ldl-indirect-index-disp

machines: base

syntax: ldl $optdisp($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x98	optdisp	dst	abase	0xf	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp
       (add UINT
            optdisp
            (add SI abase (mul SI indx (sll SI 1 scale)))))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4))))

ldl-indirect-offset - ldl-indirect-offset

machines: base

syntax: ldl $offset($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x98	dst	abase	0x1	0x0	offset

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp (add UINT offset abase))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4))))

ldl-offset - ldl-offset

machines: base

syntax: ldl $offset, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x98	dst	abase	0x0	0x0	offset

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp offset)
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4))))

ldob-disp - ldob-disp

machines: base

syntax: ldob $optdisp, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x80	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:
```
(set dst (mem UQI optdisp))
```

ldob-index-disp - ldob-index-disp

machines: base

syntax: ldob $optdisp[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x80	optdisp	dst	abase	0xe	scale	0x0	indx

semantics:

(set dst
     (mem UQI
          (add UINT optdisp (mul SI indx (sll SI 1 scale)))))

ldob-indirect - ldob-indirect

machines: base

syntax: ldob ($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x80	dst	abase	0x4	scale	0x0	indx

semantics:
```
(set dst (mem UQI abase))
```

ldob-indirect-disp - ldob-indirect-disp

machines: base

syntax: ldob $optdisp($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x80	optdisp	dst	abase	0xd	scale	0x0	indx

semantics:

(set dst (mem UQI (add UINT optdisp abase)))

ldob-indirect-index - ldob-indirect-index

machines: base

syntax: ldob ($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x80	dst	abase	0x7	scale	0x0	indx

semantics:

(set dst
     (mem UQI
          (add SI abase (mul SI indx (sll SI 1 scale)))))

ldob-indirect-index-disp - ldob-indirect-index-disp

machines: base

syntax: ldob $optdisp($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x80	optdisp	dst	abase	0xf	scale	0x0	indx

semantics:

(set dst
     (mem UQI
          (add UINT
               optdisp
               (add SI abase (mul SI indx (sll SI 1 scale))))))

ldob-indirect-offset - ldob-indirect-offset

machines: base

syntax: ldob $offset($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x80	dst	abase	0x1	0x0	offset

semantics:

(set dst (mem UQI (add UINT offset abase)))

ldob-offset - ldob-offset

machines: base

syntax: ldob $offset, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x80	dst	abase	0x0	0x0	offset

semantics:
```
(set dst (mem UQI offset))
```

ldos-disp - ldos-disp

machines: base

syntax: ldos $optdisp, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x88	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:
```
(set dst (mem UHI optdisp))
```

ldos-index-disp - ldos-index-disp

machines: base

syntax: ldos $optdisp[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x88	optdisp	dst	abase	0xe	scale	0x0	indx

semantics:

(set dst
     (mem UHI
          (add UINT optdisp (mul SI indx (sll SI 1 scale)))))

ldos-indirect - ldos-indirect

machines: base

syntax: ldos ($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x88	dst	abase	0x4	scale	0x0	indx

semantics:
```
(set dst (mem UHI abase))
```

ldos-indirect-disp - ldos-indirect-disp

machines: base

syntax: ldos $optdisp($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x88	optdisp	dst	abase	0xd	scale	0x0	indx

semantics:

(set dst (mem UHI (add UINT optdisp abase)))

ldos-indirect-index - ldos-indirect-index

machines: base

syntax: ldos ($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x88	dst	abase	0x7	scale	0x0	indx

semantics:

(set dst
     (mem UHI
          (add SI abase (mul SI indx (sll SI 1 scale)))))

ldos-indirect-index-disp - ldos-indirect-index-disp

machines: base

syntax: ldos $optdisp($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x88	optdisp	dst	abase	0xf	scale	0x0	indx

semantics:

(set dst
     (mem UHI
          (add UINT
               optdisp
               (add SI abase (mul SI indx (sll SI 1 scale))))))

ldos-indirect-offset - ldos-indirect-offset

machines: base

syntax: ldos $offset($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x88	dst	abase	0x1	0x0	offset

semantics:

(set dst (mem UHI (add UINT offset abase)))

ldos-offset - ldos-offset

machines: base

syntax: ldos $offset, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x88	dst	abase	0x0	0x0	offset

semantics:
```
(set dst (mem UHI offset))
```

ldq-disp - ldq-disp

machines: base

syntax: ldq $optdisp, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb0	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp optdisp)
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8)))
  (set (reg SI h-gr (add INT (index-of dst) 3))
       (mem WI (add SI temp 12))))

ldq-index-disp - ldq-index-disp

machines: base

syntax: ldq $optdisp[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb0	optdisp	dst	abase	0xe	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp
       (add UINT optdisp (mul SI indx (sll SI 1 scale))))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8)))
  (set (reg SI h-gr (add INT (index-of dst) 3))
       (mem WI (add SI temp 12))))

ldq-indirect - ldq-indirect

machines: base

syntax: ldq ($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb0	dst	abase	0x4	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp abase)
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8)))
  (set (reg SI h-gr (add INT (index-of dst) 3))
       (mem WI (add SI temp 12))))

ldq-indirect-disp - ldq-indirect-disp

machines: base

syntax: ldq $optdisp($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb0	optdisp	dst	abase	0xd	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp (add UINT optdisp abase))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8)))
  (set (reg SI h-gr (add INT (index-of dst) 3))
       (mem WI (add SI temp 12))))

ldq-indirect-index - ldq-indirect-index

machines: base

syntax: ldq ($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb0	dst	abase	0x7	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp
       (add SI abase (mul SI indx (sll SI 1 scale))))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8)))
  (set (reg SI h-gr (add INT (index-of dst) 3))
       (mem WI (add SI temp 12))))

ldq-indirect-index-disp - ldq-indirect-index-disp

machines: base

syntax: ldq $optdisp($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb0	optdisp	dst	abase	0xf	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp
       (add UINT
            optdisp
            (add SI abase (mul SI indx (sll SI 1 scale)))))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8)))
  (set (reg SI h-gr (add INT (index-of dst) 3))
       (mem WI (add SI temp 12))))

ldq-indirect-offset - ldq-indirect-offset

machines: base

syntax: ldq $offset($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xb0	dst	abase	0x1	0x0	offset

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp (add UINT offset abase))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8)))
  (set (reg SI h-gr (add INT (index-of dst) 3))
       (mem WI (add SI temp 12))))

ldq-offset - ldq-offset

machines: base

syntax: ldq $offset, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xb0	dst	abase	0x0	0x0	offset

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp offset)
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8)))
  (set (reg SI h-gr (add INT (index-of dst) 3))
       (mem WI (add SI temp 12))))

ldt-disp - ldt-disp

machines: base

syntax: ldt $optdisp, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa0	optdisp	dst	abase	0xc	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp optdisp)
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8))))

ldt-index-disp - ldt-index-disp

machines: base

syntax: ldt $optdisp[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa0	optdisp	dst	abase	0xe	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp
       (add UINT optdisp (mul SI indx (sll SI 1 scale))))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8))))

ldt-indirect - ldt-indirect

machines: base

syntax: ldt ($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa0	dst	abase	0x4	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp abase)
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8))))

ldt-indirect-disp - ldt-indirect-disp

machines: base

syntax: ldt $optdisp($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa0	optdisp	dst	abase	0xd	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp (add UINT optdisp abase))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8))))

ldt-indirect-index - ldt-indirect-index

machines: base

syntax: ldt ($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa0	dst	abase	0x7	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp
       (add SI abase (mul SI indx (sll SI 1 scale))))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8))))

ldt-indirect-index-disp - ldt-indirect-index-disp

machines: base

syntax: ldt $optdisp($abase)[$indx*S$scale], $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa0	optdisp	dst	abase	0xf	scale	0x0	indx

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp
       (add UINT
            optdisp
            (add SI abase (mul SI indx (sll SI 1 scale)))))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8))))

ldt-indirect-offset - ldt-indirect-offset

machines: base

syntax: ldt $offset($abase), $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xa0	dst	abase	0x1	0x0	offset

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp (add UINT offset abase))
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8))))

ldt-offset - ldt-offset

machines: base

syntax: ldt $offset, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xa0	dst	abase	0x0	0x0	offset

semantics:

(sequence
  ((WI temp) (SI dregno))
  (set dregno f-srcdst)
  (set temp offset)
  (set dst (mem WI temp))
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (mem WI (add SI temp 4)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (mem WI (add SI temp 8))))

modac - modac

machines: base

syntax: modac $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x64	dst	src2	0x0	0x0	0x0	0x5	0x0	src1

semantics:
```
(set dst src2)
```

modpc - modpc

machines: base

syntax: modpc $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x65	dst	src2	0x0	0x0	0x0	0x5	0x0	src1

semantics:
```
(set dst src2)
```

mov - mov reg

machines: base

syntax: mov $src1, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5c	dst	lit2	0x0	0x1	0x0	0xc	0x0	src1

semantics:
```
(set dst src1)
```

mov1 - mov lit

machines: base

syntax: mov $lit1, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5c	dst	lit2	0x0	0x1	0x1	0xc	0x0	lit1

semantics:
```
(set dst lit1)
```

movl - movl reg

machines: base

syntax: movl $src1, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5d	dst	lit2	0x0	0x1	0x0	0xc	0x0	src1

semantics:

(sequence
  ((SI dregno) (SI sregno))
  (set dregno f-srcdst)
  (set sregno f-src1)
  (set dst src1)
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (reg SI h-gr (add INT (index-of src1) 1))))

movl1 - movl lit

machines: base

syntax: movl $lit1, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5d	dst	lit2	0x0	0x1	0x1	0xc	0x0	lit1

semantics:

(sequence
  ((SI dregno))
  (set dregno f-srcdst)
  (set dst lit1)
  (set (reg SI h-gr (add INT (index-of dst) 1)) 0))

movq - movq reg

machines: base

syntax: movq $src1, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5f	dst	lit2	0x0	0x1	0x0	0xc	0x0	src1

semantics:

(sequence
  ((SI dregno) (SI sregno))
  (set dregno f-srcdst)
  (set sregno f-src1)
  (set dst src1)
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (reg SI h-gr (add INT (index-of src1) 1)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (reg SI h-gr (add INT (index-of src1) 2)))
  (set (reg SI h-gr (add INT (index-of dst) 3))
       (reg SI h-gr (add INT (index-of src1) 3))))

movq1 - movq lit

machines: base

syntax: movq $lit1, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5f	dst	lit2	0x0	0x1	0x1	0xc	0x0	lit1

semantics:

(sequence
  ((SI dregno))
  (set dregno f-srcdst)
  (set dst lit1)
  (set (reg SI h-gr (add INT (index-of dst) 1)) 0)
  (set (reg SI h-gr (add INT (index-of dst) 2)) 0)
  (set (reg SI h-gr (add INT (index-of dst) 3)) 0))

movt - movt reg

machines: base

syntax: movt $src1, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5e	dst	lit2	0x0	0x1	0x0	0xc	0x0	src1

semantics:

(sequence
  ((SI dregno) (SI sregno))
  (set dregno f-srcdst)
  (set sregno f-src1)
  (set dst src1)
  (set (reg SI h-gr (add INT (index-of dst) 1))
       (reg SI h-gr (add INT (index-of src1) 1)))
  (set (reg SI h-gr (add INT (index-of dst) 2))
       (reg SI h-gr (add INT (index-of src1) 2))))

movt1 - movt lit

machines: base

syntax: movt $lit1, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x5e	dst	lit2	0x0	0x1	0x1	0xc	0x0	lit1

semantics:

(sequence
  ((SI dregno))
  (set dregno f-srcdst)
  (set dst lit1)
  (set (reg SI h-gr (add INT (index-of dst) 1)) 0)
  (set (reg SI h-gr (add INT (index-of dst) 2)) 0))

mulo - mulo reg/reg

machines: base

syntax: mulo $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	src2	0x0	0x0	0x0	0x1	0x0	src1

semantics:
```
(set dst (mul SI src1 src2))
```

mulo1 - mulo lit/reg

machines: base

syntax: mulo $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	src2	0x0	0x0	0x1	0x1	0x0	lit1

semantics:
```
(set dst (mul UINT lit1 src2))
```

mulo2 - mulo reg/lit

machines: base

syntax: mulo $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	lit2	0x0	0x1	0x0	0x1	0x0	src1

semantics:
```
(set dst (mul SI src1 lit2))
```

mulo3 - mulo lit/lit

machines: base

syntax: mulo $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	lit2	0x0	0x1	0x1	0x1	0x0	lit1

semantics:
```
(set dst (mul UINT lit1 lit2))
```

nor - nor reg/reg

machines: base

syntax: nor $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0x8	0x0	src1

semantics:

(set dst (and SI (inv SI src2) (inv SI src1)))

nor1 - nor lit/reg

machines: base

syntax: nor $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0x8	0x0	lit1

semantics:

(set dst (and SI (inv SI src2) (inv UINT lit1)))

nor2 - nor reg/lit

machines: base

syntax: nor $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0x8	0x0	src1

semantics:

(set dst
     (and UINT (inv UINT lit2) (inv SI src1)))

nor3 - nor lit/lit

machines: base

syntax: nor $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0x8	0x0	lit1

semantics:

(set dst
     (and UINT (inv UINT lit2) (inv UINT lit1)))

not - not reg/reg

machines: base

syntax: not $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0xa	0x0	src1

semantics:
```
(set dst (inv SI src1))
```

not1 - not lit/reg

machines: base

syntax: not $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0xa	0x0	lit1

semantics:
```
(set dst (inv UINT lit1))
```

not2 - not reg/lit

machines: base

syntax: not $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0xa	0x0	src1

semantics:
```
(set dst (inv SI src1))
```

not3 - not lit/lit

machines: base

syntax: not $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0xa	0x0	lit1

semantics:
```
(set dst (inv UINT lit1))
```

notand - notand reg/reg

machines: base

syntax: notand $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0x4	0x0	src1

semantics:
```
(set dst (and SI (inv SI src2) src1))
```

notand1 - notand lit/reg

machines: base

syntax: notand $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0x4	0x0	lit1

semantics:
```
(set dst (and SI (inv SI src2) lit1))
```

notand2 - notand reg/lit

machines: base

syntax: notand $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0x4	0x0	src1

semantics:

(set dst (and UINT (inv UINT lit2) src1))

notand3 - notand lit/lit

machines: base

syntax: notand $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0x4	0x0	lit1

semantics:

(set dst (and UINT (inv UINT lit2) lit1))

notbit - notbit reg/reg

machines: base

syntax: notbit $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0x0	0x0	src1

semantics:

(set dst (xor SI (sll SI 1 src1) src2))

notbit1 - notbit lit/reg

machines: base

syntax: notbit $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0x0	0x0	lit1

semantics:

(set dst (xor SI (sll SI 1 lit1) src2))

notbit2 - notbit reg/lit

machines: base

syntax: notbit $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0x0	0x0	src1

semantics:

(set dst (xor SI (sll SI 1 src1) lit2))

notbit3 - notbit lit/lit

machines: base

syntax: notbit $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0x0	0x0	lit1

semantics:

(set dst (xor SI (sll SI 1 lit1) lit2))

or - or reg/reg

machines: base

syntax: or $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0x7	0x0	src1

semantics:
```
(set dst (or SI src1 src2))
```

or1 - or lit/reg

machines: base

syntax: or $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0x7	0x0	lit1

semantics:
```
(set dst (or UINT lit1 src2))
```

or2 - or reg/lit

machines: base

syntax: or $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0x7	0x0	src1

semantics:
```
(set dst (or SI src1 lit2))
```

or3 - or lit/lit

machines: base

syntax: or $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0x7	0x0	lit1

semantics:
```
(set dst (or UINT lit1 lit2))
```

ornot - ornot reg/reg

machines: base

syntax: ornot $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0xb	0x0	src1

semantics:
```
(set dst (or SI src2 (inv SI src1)))
```

ornot1 - ornot lit/reg

machines: base

syntax: ornot $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0xb	0x0	lit1

semantics:
```
(set dst (or SI src2 (inv UINT lit1)))
```

ornot2 - ornot reg/lit

machines: base

syntax: ornot $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0xb	0x0	src1

semantics:
```
(set dst (or UINT lit2 (inv SI src1)))
```

ornot3 - ornot lit/lit

machines: base

syntax: ornot $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0xb	0x0	lit1

semantics:

(set dst (or UINT lit2 (inv UINT lit1)))

remi - remi reg/reg

machines: base

syntax: remi $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x74	dst	src2	0x0	0x0	0x0	0x8	0x0	src1

semantics:
```
(set dst (mod SI src2 src1))
```

remi1 - remi lit/reg

machines: base

syntax: remi $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x74	dst	src2	0x0	0x0	0x1	0x8	0x0	lit1

semantics:
```
(set dst (mod SI src2 lit1))
```

remi2 - remi reg/lit

machines: base

syntax: remi $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x74	dst	lit2	0x0	0x1	0x0	0x8	0x0	src1

semantics:
```
(set dst (mod UINT lit2 src1))
```

remi3 - remi lit/lit

machines: base

syntax: remi $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x74	dst	lit2	0x0	0x1	0x1	0x8	0x0	lit1

semantics:
```
(set dst (mod UINT lit2 lit1))
```

remo - remo reg/reg

machines: base

syntax: remo $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	src2	0x0	0x0	0x0	0x8	0x0	src1

semantics:
```
(set dst (umod SI src2 src1))
```

remo1 - remo lit/reg

machines: base

syntax: remo $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	src2	0x0	0x0	0x1	0x8	0x0	lit1

semantics:
```
(set dst (umod SI src2 lit1))
```

remo2 - remo reg/lit

machines: base

syntax: remo $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	lit2	0x0	0x1	0x0	0x8	0x0	src1

semantics:
```
(set dst (umod UINT lit2 src1))
```

remo3 - remo lit/lit

machines: base

syntax: remo $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x70	dst	lit2	0x0	0x1	0x1	0x8	0x0	lit1

semantics:
```
(set dst (umod UINT lit2 lit1))
```

ret - ret

machines: base

syntax: ret

format:

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

f-opcode f-ctrl-disp f-ctrl-zero

0xa ctrl_disp 0x0

semantics:

(sequence
  ()
  (set (reg SI h-gr 31) (reg SI h-gr 0))
  (set-quiet
    (reg SI h-gr 0)
    (mem WI (add SI (reg SI h-gr 31) 0)))
  (set-quiet
    (reg SI h-gr 1)
    (mem WI (add SI (reg SI h-gr 31) 4)))
  (set-quiet
    (reg SI h-gr 2)
    (mem WI (add SI (reg SI h-gr 31) 8)))
  (set-quiet
    (reg SI h-gr 3)
    (mem WI (add SI (reg SI h-gr 31) 12)))
  (set-quiet
    (reg SI h-gr 4)
    (mem WI (add SI (reg SI h-gr 31) 16)))
  (set-quiet
    (reg SI h-gr 5)
    (mem WI (add SI (reg SI h-gr 31) 20)))
  (set-quiet
    (reg SI h-gr 6)
    (mem WI (add SI (reg SI h-gr 31) 24)))
  (set-quiet
    (reg SI h-gr 7)
    (mem WI (add SI (reg SI h-gr 31) 28)))
  (set-quiet
    (reg SI h-gr 8)
    (mem WI (add SI (reg SI h-gr 31) 32)))
  (set-quiet
    (reg SI h-gr 9)
    (mem WI (add SI (reg SI h-gr 31) 36)))
  (set-quiet
    (reg SI h-gr 10)
    (mem WI (add SI (reg SI h-gr 31) 40)))
  (set-quiet
    (reg SI h-gr 11)
    (mem WI (add SI (reg SI h-gr 31) 44)))
  (set-quiet
    (reg SI h-gr 12)
    (mem WI (add SI (reg SI h-gr 31) 48)))
  (set-quiet
    (reg SI h-gr 13)
    (mem WI (add SI (reg SI h-gr 31) 52)))
  (set-quiet
    (reg SI h-gr 14)
    (mem WI (add SI (reg SI h-gr 31) 56)))
  (set-quiet
    (reg SI h-gr 15)
    (mem WI (add SI (reg SI h-gr 31) 60)))
  (set pc (reg SI h-gr 2)))

setbit - setbit reg/reg

machines: base

syntax: setbit $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0x3	0x0	src1

semantics:
```
(set dst (or SI (sll SI 1 src1) src2))
```

setbit1 - setbit lit/reg

machines: base

syntax: setbit $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0x3	0x0	lit1

semantics:
```
(set dst (or SI (sll SI 1 lit1) src2))
```

setbit2 - setbit reg/lit

machines: base

syntax: setbit $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0x3	0x0	src1

semantics:
```
(set dst (or SI (sll SI 1 src1) lit2))
```

setbit3 - setbit lit/lit

machines: base

syntax: setbit $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0x3	0x0	lit1

semantics:
```
(set dst (or SI (sll SI 1 lit1) lit2))
```

shli - shli reg/reg

machines: base

syntax: shli $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x0	0xe	0x0	src1

semantics:

(set dst
     (cond WI
           ((geu src1 32) 0)
           (else sll SI src2 src1)))

shli1 - shli lit/reg

machines: base

syntax: shli $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x1	0xe	0x0	lit1

semantics:

(set dst
     (cond WI
           ((geu lit1 32) 0)
           (else sll SI src2 lit1)))

shli2 - shli reg/lit

machines: base

syntax: shli $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x0	0xe	0x0	src1

semantics:

(set dst
     (cond WI
           ((geu src1 32) 0)
           (else sll UINT lit2 src1)))

shli3 - shli lit/lit

machines: base

syntax: shli $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x1	0xe	0x0	lit1

semantics:

(set dst
     (cond WI
           ((geu lit1 32) 0)
           (else sll UINT lit2 lit1)))

shlo - shlo reg/reg

machines: base

syntax: shlo $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x0	0xc	0x0	src1

semantics:

(set dst
     (cond WI
           ((geu src1 32) 0)
           (else sll SI src2 src1)))

shlo1 - shlo lit/reg

machines: base

syntax: shlo $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x1	0xc	0x0	lit1

semantics:

(set dst
     (cond WI
           ((geu lit1 32) 0)
           (else sll SI src2 lit1)))

shlo2 - shlo reg/lit

machines: base

syntax: shlo $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x0	0xc	0x0	src1

semantics:

(set dst
     (cond WI
           ((geu src1 32) 0)
           (else sll UINT lit2 src1)))

shlo3 - shlo lit/lit

machines: base

syntax: shlo $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x1	0xc	0x0	lit1

semantics:

(set dst
     (cond WI
           ((geu lit1 32) 0)
           (else sll UINT lit2 lit1)))

shri - shri reg/reg

machines: base

syntax: shri $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x0	0xb	0x0	src1

semantics:

(set dst
     (cond WI
           ((geu src1 32) (sra SI src2 31))
           (else sra SI src2 src1)))

shri1 - shri lit/reg

machines: base

syntax: shri $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x1	0xb	0x0	lit1

semantics:

(set dst
     (cond WI
           ((geu lit1 32) (sra SI src2 31))
           (else sra SI src2 lit1)))

shri2 - shri reg/lit

machines: base

syntax: shri $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x0	0xb	0x0	src1

semantics:

(set dst
     (cond WI
           ((geu src1 32) (sra UINT lit2 31))
           (else sra UINT lit2 src1)))

shri3 - shri lit/lit

machines: base

syntax: shri $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x1	0xb	0x0	lit1

semantics:

(set dst
     (cond WI
           ((geu lit1 32) (sra UINT lit2 31))
           (else sra UINT lit2 lit1)))

shro - shro reg/reg

machines: base

syntax: shro $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x0	0x8	0x0	src1

semantics:

(set dst
     (cond WI
           ((geu src1 32) 0)
           (else srl SI src2 src1)))

shro1 - shro lit/reg

machines: base

syntax: shro $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x1	0x8	0x0	lit1

semantics:

(set dst
     (cond WI
           ((geu lit1 32) 0)
           (else srl SI src2 lit1)))

shro2 - shro reg/lit

machines: base

syntax: shro $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x0	0x8	0x0	src1

semantics:

(set dst
     (cond WI
           ((geu src1 32) 0)
           (else srl UINT lit2 src1)))

shro3 - shro lit/lit

machines: base

syntax: shro $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x1	0x8	0x0	lit1

semantics:

(set dst
     (cond WI
           ((geu lit1 32) 0)
           (else srl UINT lit2 lit1)))

st-disp - st-disp

machines: base

syntax: st $st_src, $optdisp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x92	optdisp	st_src	abase	0xc	scale	0x0	indx

semantics:
```
(set (mem WI optdisp) st_src)
```

st-index-disp - st-index-disp

machines: base

syntax: st $st_src, $optdisp[$indx*S$scale

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x92	optdisp	st_src	abase	0xe	scale	0x0	indx

semantics:

(set (mem WI
          (add UINT optdisp (mul SI indx (sll SI 1 scale))))
     st_src)

st-indirect - st-indirect

machines: base

syntax: st $st_src, ($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x92	st_src	abase	0x4	scale	0x0	indx

semantics:
```
(set (mem WI abase) st_src)
```

st-indirect-disp - st-indirect-disp

machines: base

syntax: st $st_src, $optdisp($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x92	optdisp	st_src	abase	0xd	scale	0x0	indx

semantics:

(set (mem WI (add UINT optdisp abase)) st_src)

st-indirect-index - st-indirect-index

machines: base

syntax: st $st_src, ($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x92	st_src	abase	0x7	scale	0x0	indx

semantics:

(set (mem WI
          (add SI abase (mul SI indx (sll SI 1 scale))))
     st_src)

st-indirect-index-disp - st-indirect-index-disp

machines: base

syntax: st $st_src, $optdisp($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x92	optdisp	st_src	abase	0xf	scale	0x0	indx

semantics:

(set (mem WI
          (add UINT
               optdisp
               (add SI abase (mul SI indx (sll SI 1 scale)))))
     st_src)

st-indirect-offset - st-indirect-offset

machines: base

syntax: st $st_src, $offset($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x92	st_src	abase	0x1	0x0	offset

semantics:

(set (mem WI (add UINT offset abase)) st_src)

st-offset - st-offset

machines: base

syntax: st $st_src, $offset

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x92	st_src	abase	0x0	0x0	offset

semantics:
```
(set (mem WI offset) st_src)
```

stl-disp - stl-disp

machines: base

syntax: stl $st_src, $optdisp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x9a	optdisp	st_src	abase	0xc	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI optdisp) st_src)
  (set (mem WI (add UINT optdisp 4))
       (reg SI h-gr (add INT (index-of st_src) 1))))

stl-index-disp - stl-index-disp

machines: base

syntax: stl $st_src, $optdisp[$indx*S$scale

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x9a	optdisp	st_src	abase	0xe	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI
            (add UINT optdisp (mul SI indx (sll SI 1 scale))))
       st_src)
  (set (mem WI
            (add UINT
                 (add UINT optdisp (mul SI indx (sll SI 1 scale)))
                 4))
       (reg SI h-gr (add INT (index-of st_src) 1))))

stl-indirect - stl-indirect

machines: base

syntax: stl $st_src, ($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x9a	st_src	abase	0x4	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI abase) st_src)
  (set (mem WI (add SI abase 4))
       (reg SI h-gr (add INT (index-of st_src) 1))))

stl-indirect-disp - stl-indirect-disp

machines: base

syntax: stl $st_src, $optdisp($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x9a	optdisp	st_src	abase	0xd	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI (add UINT optdisp abase)) st_src)
  (set (mem WI (add UINT (add UINT optdisp abase) 4))
       (reg SI h-gr (add INT (index-of st_src) 1))))

stl-indirect-index - stl-indirect-index

machines: base

syntax: stl $st_src, ($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x9a	st_src	abase	0x7	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI
            (add SI abase (mul SI indx (sll SI 1 scale))))
       st_src)
  (set (mem WI
            (add SI
                 (add SI abase (mul SI indx (sll SI 1 scale)))
                 4))
       (reg SI h-gr (add INT (index-of st_src) 1))))

stl-indirect-index-disp - stl-indirect-index-disp

machines: base

syntax: stl $st_src, $optdisp($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x9a	optdisp	st_src	abase	0xf	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI
            (add UINT
                 optdisp
                 (add SI abase (mul SI indx (sll SI 1 scale)))))
       st_src)
  (set (mem WI
            (add UINT
                 (add UINT
                      optdisp
                      (add SI abase (mul SI indx (sll SI 1 scale))))
                 4))
       (reg SI h-gr (add INT (index-of st_src) 1))))

stl-indirect-offset - stl-indirect-offset

machines: base

syntax: stl $st_src, $offset($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x9a	st_src	abase	0x1	0x0	offset

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI (add UINT offset abase)) st_src)
  (set (mem WI (add UINT (add UINT offset abase) 4))
       (reg SI h-gr (add INT (index-of st_src) 1))))

stl-offset - stl-offset

machines: base

syntax: stl $st_src, $offset

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x9a	st_src	abase	0x0	0x0	offset

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI offset) st_src)
  (set (mem WI (add UINT offset 4))
       (reg SI h-gr (add INT (index-of st_src) 1))))

stob-disp - stob-disp

machines: base

syntax: stob $st_src, $optdisp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x82	optdisp	st_src	abase	0xc	scale	0x0	indx

semantics:
```
(set (mem QI optdisp) st_src)
```

stob-index-disp - stob-index-disp

machines: base

syntax: stob $st_src, $optdisp[$indx*S$scale

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x82	optdisp	st_src	abase	0xe	scale	0x0	indx

semantics:

(set (mem QI
          (add UINT optdisp (mul SI indx (sll SI 1 scale))))
     st_src)

stob-indirect - stob-indirect

machines: base

syntax: stob $st_src, ($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x82	st_src	abase	0x4	scale	0x0	indx

semantics:
```
(set (mem QI abase) st_src)
```

stob-indirect-disp - stob-indirect-disp

machines: base

syntax: stob $st_src, $optdisp($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x82	optdisp	st_src	abase	0xd	scale	0x0	indx

semantics:

(set (mem QI (add UINT optdisp abase)) st_src)

stob-indirect-index - stob-indirect-index

machines: base

syntax: stob $st_src, ($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x82	st_src	abase	0x7	scale	0x0	indx

semantics:

(set (mem QI
          (add SI abase (mul SI indx (sll SI 1 scale))))
     st_src)

stob-indirect-index-disp - stob-indirect-index-disp

machines: base

syntax: stob $st_src, $optdisp($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x82	optdisp	st_src	abase	0xf	scale	0x0	indx

semantics:

(set (mem QI
          (add UINT
               optdisp
               (add SI abase (mul SI indx (sll SI 1 scale)))))
     st_src)

stob-indirect-offset - stob-indirect-offset

machines: base

syntax: stob $st_src, $offset($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x82	st_src	abase	0x1	0x0	offset

semantics:

(set (mem QI (add UINT offset abase)) st_src)

stob-offset - stob-offset

machines: base

syntax: stob $st_src, $offset

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x82	st_src	abase	0x0	0x0	offset

semantics:
```
(set (mem QI offset) st_src)
```

stos-disp - stos-disp

machines: base

syntax: stos $st_src, $optdisp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8a	optdisp	st_src	abase	0xc	scale	0x0	indx

semantics:
```
(set (mem HI optdisp) st_src)
```

stos-index-disp - stos-index-disp

machines: base

syntax: stos $st_src, $optdisp[$indx*S$scale

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8a	optdisp	st_src	abase	0xe	scale	0x0	indx

semantics:

(set (mem HI
          (add UINT optdisp (mul SI indx (sll SI 1 scale))))
     st_src)

stos-indirect - stos-indirect

machines: base

syntax: stos $st_src, ($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8a	st_src	abase	0x4	scale	0x0	indx

semantics:
```
(set (mem HI abase) st_src)
```

stos-indirect-disp - stos-indirect-disp

machines: base

syntax: stos $st_src, $optdisp($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8a	optdisp	st_src	abase	0xd	scale	0x0	indx

semantics:

(set (mem HI (add UINT optdisp abase)) st_src)

stos-indirect-index - stos-indirect-index

machines: base

syntax: stos $st_src, ($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8a	st_src	abase	0x7	scale	0x0	indx

semantics:

(set (mem HI
          (add SI abase (mul SI indx (sll SI 1 scale))))
     st_src)

stos-indirect-index-disp - stos-indirect-index-disp

machines: base

syntax: stos $st_src, $optdisp($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0x8a	optdisp	st_src	abase	0xf	scale	0x0	indx

semantics:

(set (mem HI
          (add UINT
               optdisp
               (add SI abase (mul SI indx (sll SI 1 scale)))))
     st_src)

stos-indirect-offset - stos-indirect-offset

machines: base

syntax: stos $st_src, $offset($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x8a	st_src	abase	0x1	0x0	offset

semantics:

(set (mem HI (add UINT offset abase)) st_src)

stos-offset - stos-offset

machines: base

syntax: stos $st_src, $offset

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0x8a	st_src	abase	0x0	0x0	offset

semantics:
```
(set (mem HI offset) st_src)
```

stq-disp - stq-disp

machines: base

syntax: stq $st_src, $optdisp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb2	optdisp	st_src	abase	0xc	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI optdisp) st_src)
  (set (mem WI (add UINT optdisp 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI (add UINT optdisp 8))
       (reg SI h-gr (add INT (index-of st_src) 2)))
  (set (mem WI (add UINT optdisp 12))
       (reg SI h-gr (add INT (index-of st_src) 3))))

stq-index-disp - stq-index-disp

machines: base

syntax: stq $st_src, $optdisp[$indx*S$scale

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb2	optdisp	st_src	abase	0xe	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI
            (add UINT optdisp (mul SI indx (sll SI 1 scale))))
       st_src)
  (set (mem WI
            (add UINT
                 (add UINT optdisp (mul SI indx (sll SI 1 scale)))
                 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI
            (add UINT
                 (add UINT optdisp (mul SI indx (sll SI 1 scale)))
                 8))
       (reg SI h-gr (add INT (index-of st_src) 2)))
  (set (mem WI
            (add UINT
                 (add UINT optdisp (mul SI indx (sll SI 1 scale)))
                 12))
       (reg SI h-gr (add INT (index-of st_src) 3))))

stq-indirect - stq-indirect

machines: base

syntax: stq $st_src, ($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb2	st_src	abase	0x4	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI abase) st_src)
  (set (mem WI (add SI abase 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI (add SI abase 8))
       (reg SI h-gr (add INT (index-of st_src) 2)))
  (set (mem WI (add SI abase 12))
       (reg SI h-gr (add INT (index-of st_src) 3))))

stq-indirect-disp - stq-indirect-disp

machines: base

syntax: stq $st_src, $optdisp($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb2	optdisp	st_src	abase	0xd	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI (add UINT optdisp abase)) st_src)
  (set (mem WI (add UINT (add UINT optdisp abase) 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI (add UINT (add UINT optdisp abase) 8))
       (reg SI h-gr (add INT (index-of st_src) 2)))
  (set (mem WI (add UINT (add UINT optdisp abase) 12))
       (reg SI h-gr (add INT (index-of st_src) 3))))

stq-indirect-index - stq-indirect-index

machines: base

syntax: stq $st_src, ($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb2	st_src	abase	0x7	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI
            (add SI abase (mul SI indx (sll SI 1 scale))))
       st_src)
  (set (mem WI
            (add SI
                 (add SI abase (mul SI indx (sll SI 1 scale)))
                 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI
            (add SI
                 (add SI abase (mul SI indx (sll SI 1 scale)))
                 8))
       (reg SI h-gr (add INT (index-of st_src) 2)))
  (set (mem WI
            (add SI
                 (add SI abase (mul SI indx (sll SI 1 scale)))
                 12))
       (reg SI h-gr (add INT (index-of st_src) 3))))

stq-indirect-index-disp - stq-indirect-index-disp

machines: base

syntax: stq $st_src, $optdisp($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xb2	optdisp	st_src	abase	0xf	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI
            (add UINT
                 optdisp
                 (add SI abase (mul SI indx (sll SI 1 scale)))))
       st_src)
  (set (mem WI
            (add UINT
                 (add UINT
                      optdisp
                      (add SI abase (mul SI indx (sll SI 1 scale))))
                 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI
            (add UINT
                 (add UINT
                      optdisp
                      (add SI abase (mul SI indx (sll SI 1 scale))))
                 8))
       (reg SI h-gr (add INT (index-of st_src) 2)))
  (set (mem WI
            (add UINT
                 (add UINT
                      optdisp
                      (add SI abase (mul SI indx (sll SI 1 scale))))
                 12))
       (reg SI h-gr (add INT (index-of st_src) 3))))

stq-indirect-offset - stq-indirect-offset

machines: base

syntax: stq $st_src, $offset($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xb2	st_src	abase	0x1	0x0	offset

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI (add UINT offset abase)) st_src)
  (set (mem WI (add UINT (add UINT offset abase) 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI (add UINT (add UINT offset abase) 8))
       (reg SI h-gr (add INT (index-of st_src) 2)))
  (set (mem WI (add UINT (add UINT offset abase) 12))
       (reg SI h-gr (add INT (index-of st_src) 3))))

stq-offset - stq-offset

machines: base

syntax: stq $st_src, $offset

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xb2	st_src	abase	0x0	0x0	offset

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI offset) st_src)
  (set (mem WI (add UINT offset 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI (add UINT offset 8))
       (reg SI h-gr (add INT (index-of st_src) 2)))
  (set (mem WI (add UINT offset 12))
       (reg SI h-gr (add INT (index-of st_src) 3))))

stt-disp - stt-disp

machines: base

syntax: stt $st_src, $optdisp

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa2	optdisp	st_src	abase	0xc	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI optdisp) st_src)
  (set (mem WI (add UINT optdisp 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI (add UINT optdisp 8))
       (reg SI h-gr (add INT (index-of st_src) 2))))

stt-index-disp - stt-index-disp

machines: base

syntax: stt $st_src, $optdisp[$indx*S$scale

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa2	optdisp	st_src	abase	0xe	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI
            (add UINT optdisp (mul SI indx (sll SI 1 scale))))
       st_src)
  (set (mem WI
            (add UINT
                 (add UINT optdisp (mul SI indx (sll SI 1 scale)))
                 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI
            (add UINT
                 (add UINT optdisp (mul SI indx (sll SI 1 scale)))
                 8))
       (reg SI h-gr (add INT (index-of st_src) 2))))

stt-indirect - stt-indirect

machines: base

syntax: stt $st_src, ($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa2	st_src	abase	0x4	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI abase) st_src)
  (set (mem WI (add SI abase 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI (add SI abase 8))
       (reg SI h-gr (add INT (index-of st_src) 2))))

stt-indirect-disp - stt-indirect-disp

machines: base

syntax: stt $st_src, $optdisp($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa2	optdisp	st_src	abase	0xd	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI (add UINT optdisp abase)) st_src)
  (set (mem WI (add UINT (add UINT optdisp abase) 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI (add UINT (add UINT optdisp abase) 8))
       (reg SI h-gr (add INT (index-of st_src) 2))))

stt-indirect-index - stt-indirect-index

machines: base

syntax: stt $st_src, ($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18 19 20 21	22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa2	st_src	abase	0x7	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI
            (add SI abase (mul SI indx (sll SI 1 scale))))
       st_src)
  (set (mem WI
            (add SI
                 (add SI abase (mul SI indx (sll SI 1 scale)))
                 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI
            (add SI
                 (add SI abase (mul SI indx (sll SI 1 scale)))
                 8))
       (reg SI h-gr (add INT (index-of st_src) 2))))

stt-indirect-index-disp - stt-indirect-index-disp

machines: base

syntax: stt $st_src, $optdisp($abase)[$indx*S$scale]

format:

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39	40 41 42 43 44	45 46 47 48 49	50 51 52 53	54 55 56	57 58	59 60 61 62 63
f-opcode	f-optdisp	f-srcdst	f-abase	f-modeb	f-scale	f-zerob	f-index
0xa2	optdisp	st_src	abase	0xf	scale	0x0	indx

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI
            (add UINT
                 optdisp
                 (add SI abase (mul SI indx (sll SI 1 scale)))))
       st_src)
  (set (mem WI
            (add UINT
                 (add UINT
                      optdisp
                      (add SI abase (mul SI indx (sll SI 1 scale))))
                 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI
            (add UINT
                 (add UINT
                      optdisp
                      (add SI abase (mul SI indx (sll SI 1 scale))))
                 8))
       (reg SI h-gr (add INT (index-of st_src) 2))))

stt-indirect-offset - stt-indirect-offset

machines: base

syntax: stt $st_src, $offset($abase)

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xa2	st_src	abase	0x1	0x0	offset

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI (add UINT offset abase)) st_src)
  (set (mem WI (add UINT (add UINT offset abase) 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI (add UINT (add UINT offset abase) 8))
       (reg SI h-gr (add INT (index-of st_src) 2))))

stt-offset - stt-offset

machines: base

syntax: stt $st_src, $offset

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20 21 22 23 24 25 26 27 28 29 30 31
f-opcode	f-srcdst	f-abase	f-modea	f-zeroa	f-offset
0xa2	st_src	abase	0x0	0x0	offset

semantics:

(sequence
  ((SI sregno))
  (set sregno f-srcdst)
  (set (mem WI offset) st_src)
  (set (mem WI (add UINT offset 4))
       (reg SI h-gr (add INT (index-of st_src) 1)))
  (set (mem WI (add UINT offset 8))
       (reg SI h-gr (add INT (index-of st_src) 2))))

subo - subo reg/reg

machines: base

syntax: subo $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x0	0x2	0x0	src1

semantics:
```
(set dst (sub SI src2 src1))
```

subo1 - subo lit/reg

machines: base

syntax: subo $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	src2	0x0	0x0	0x1	0x2	0x0	lit1

semantics:
```
(set dst (sub SI src2 lit1))
```

subo2 - subo reg/lit

machines: base

syntax: subo $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x0	0x2	0x0	src1

semantics:
```
(set dst (sub UINT lit2 src1))
```

subo3 - subo lit/lit

machines: base

syntax: subo $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x59	dst	lit2	0x0	0x1	0x1	0x2	0x0	lit1

semantics:
```
(set dst (sub UINT lit2 lit1))
```

teste-reg - teste reg

machines: base

syntax: teste $br_src1

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x22	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(set br_src1 (ne (and SI (reg SI h-cc 0) 2) 0))

testg-reg - testg reg

machines: base

syntax: testg $br_src1

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x21	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(set br_src1 (ne (and SI (reg SI h-cc 0) 1) 0))

testge-reg - testge reg

machines: base

syntax: testge $br_src1

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x23	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(set br_src1 (ne (and SI (reg SI h-cc 0) 3) 0))

testl-reg - testl reg

machines: base

syntax: testl $br_src1

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x24	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(set br_src1 (ne (and SI (reg SI h-cc 0) 4) 0))

testle-reg - testle reg

machines: base

syntax: testle $br_src1

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x26	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(set br_src1 (ne (and SI (reg SI h-cc 0) 6) 0))

testne-reg - testne reg

machines: base

syntax: testne $br_src1

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x25	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(set br_src1 (ne (and SI (reg SI h-cc 0) 5) 0))

testno-reg - testno reg

machines: base

syntax: testno $br_src1

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x20	br_src1	br_src2	0x0	br_disp	0x0

semantics:
```
(set br_src1 (eq (reg SI h-cc 0) 0))
```

testo-reg - testo reg

machines: base

syntax: testo $br_src1

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-br-src1	f-br-src2	f-br-m1	f-br-disp	f-br-zero
0x27	br_src1	br_src2	0x0	br_disp	0x0

semantics:

(set br_src1 (ne (and SI (reg SI h-cc 0) 7) 0))

xnor - xnor reg/reg

machines: base

syntax: xnor $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0x9	0x0	src1

semantics:
```
(set dst (inv SI (xor SI src1 src2)))
```

xnor1 - xnor lit/reg

machines: base

syntax: xnor $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0x9	0x0	lit1

semantics:

(set dst (inv UINT (xor UINT lit1 src2)))

xnor2 - xnor reg/lit

machines: base

syntax: xnor $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0x9	0x0	src1

semantics:
```
(set dst (inv SI (xor SI src1 lit2)))
```

xnor3 - xnor lit/lit

machines: base

syntax: xnor $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0x9	0x0	lit1

semantics:

(set dst (inv UINT (xor UINT lit1 lit2)))

xor - xor reg/reg

machines: base

syntax: xor $src1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x0	0x6	0x0	src1

semantics:
```
(set dst (xor SI src1 src2))
```

xor1 - xor lit/reg

machines: base

syntax: xor $lit1, $src2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	src2	0x0	0x0	0x1	0x6	0x0	lit1

semantics:
```
(set dst (xor UINT lit1 src2))
```

xor2 - xor reg/lit

machines: base

syntax: xor $src1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x0	0x6	0x0	src1

semantics:
```
(set dst (xor SI src1 lit2))
```

xor3 - xor lit/lit

machines: base

syntax: xor $lit1, $lit2, $dst

format:

0 1 2 3 4 5 6 7	8 9 10 11 12	13 14 15 16 17	18	19	20	21 22 23 24	25 26	27 28 29 30 31
f-opcode	f-srcdst	f-src2	f-m3	f-m2	f-m1	f-opcode2	f-zero	f-src1
0x58	dst	lit2	0x0	0x1	0x1	0x6	0x0	lit1

semantics:
```
(set dst (xor UINT lit1 lit2))
```

Macro Instructions

Macro instructions for each machine:

i960:ka_sa - I960 KA and SA processors
i960:ca - I960 CA processor

i960:ka_sa - I960 KA and SA processors

i960:ca - I960 CA processor

Individual macro-instructions descriptions

This documentation was machine generated from the cgen cpu description files for this architecture.
https://sourceware.org/cgen/

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-ctrl-disp	f-ctrl-zero
0x8	ctrl_disp	0x0

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-ctrl-disp	f-ctrl-zero
0x12	ctrl_disp	0x0

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-ctrl-disp	f-ctrl-zero
0x11	ctrl_disp	0x0

0 1 2 3 4 5 6 7	8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29	30 31
f-opcode	f-ctrl-disp	f-ctrl-zero
0x13	ctrl_disp	0x0

Instructions

i960:ka_sa MEM - Memory

i960:ka_sa ALU - ALU

i960:ka_sa BR - Branch

i960:ka_sa i960:ka_sa - I960 KA and SA processors

i960:ca MEM - Memory

i960:ca ALU - ALU

i960:ca BR - Branch

i960:ca i960:ca - I960 CA processor

Individual instructions descriptions

addo - addo reg/reg

addo1 - addo lit/reg

addo2 - addo reg/lit

addo3 - addo lit/lit

and - and reg/reg

and1 - and lit/reg

and2 - and reg/lit

and3 - and lit/lit

andnot - andnot reg/reg

andnot1 - andnot lit/reg

andnot2 - andnot reg/lit

andnot3 - andnot lit/lit

b - b

bbc-lit - bbc lit

bbc-reg - bbc reg

bbs-lit - bbs lit

bbs-reg - bbs reg

be - be

bg - bg

bge - bge

bl - bl

ble - ble

bne - bne

bno - bno

bo - bo

bx-disp - bx-disp

bx-indirect - bx-indirect

bx-indirect-disp - bx-indirect-disp

bx-indirect-index - bx-indirect-index

bx-indirect-offset - bx-indirect-offset

calls - calls

callx-disp - callx-disp

callx-indirect - callx-indirect

callx-indirect-offset - callx-indirect-offset

clrbit - clrbit reg/reg

clrbit1 - clrbit lit/reg

clrbit2 - clrbit reg/lit

clrbit3 - clrbit lit/lit

cmpi - cmpi reg/reg

cmpi1 - cmpi lit/reg

cmpi2 - cmpi reg/lit

cmpi3 - cmpi lit/lit

cmpibe-lit - cmpibe lit

cmpibe-reg - cmpibe reg

cmpibg-lit - cmpibg lit

cmpibg-reg - cmpibg reg

cmpibge-lit - cmpibge lit

cmpibge-reg - cmpibge reg

cmpibl-lit - cmpibl lit

cmpibl-reg - cmpibl reg

cmpible-lit - cmpible lit

cmpible-reg - cmpible reg

cmpibne-lit - cmpibne lit

cmpibne-reg - cmpibne reg

cmpo - cmpo reg/reg

cmpo1 - cmpo lit/reg

cmpo2 - cmpo reg/lit

cmpo3 - cmpo lit/lit

cmpobe-lit - cmpobe lit

cmpobe-reg - cmpobe reg

cmpobg-lit - cmpobg lit

cmpobg-reg - cmpobg reg

cmpobge-lit - cmpobge lit

cmpobge-reg - cmpobge reg

cmpobl-lit - cmpobl lit

cmpobl-reg - cmpobl reg

cmpoble-lit - cmpoble lit

cmpoble-reg - cmpoble reg

cmpobne-lit - cmpobne lit

cmpobne-reg - cmpobne reg