MT Instruction Documentation

Instructions

Instructions for each machine:

ms1 - Morpho Technologies mrisc

MEM - Memory
ALU - ALU
alphabetically

ms1-003 - Morpho Technologies mrisc

MEM - Memory
ALU - ALU
alphabetically

ms2 - Morpho Technologies ms2

MEM - Memory
ALU - ALU
alphabetically

Individual instructions descriptions

add - ADD DstReg, SrcReg1, SrcReg2

machines: base

syntax: add $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0x0	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (add SI frsr1 frsr2))
```

addi - ADDI DstReg, SrcReg1 UnsImm

machines: base

syntax: addi $frdr,$frsr1,#$imm16

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16s
0x0	0x0	0x1	frsr1	frdr	imm16

semantics:

(sequence
  ((HI tmp))
  (set HI tmp (and imm16 65535))
  (set frdr (add SI frsr1 (ext SI tmp))))

addu - ADDU DstReg, SrcReg1, SrcReg2

machines: base

syntax: addu $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0x1	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (add USI frsr1 frsr2))
```

addui - ADDUI DstReg, SrcReg1, UnsImm

machines: base

syntax: addui $frdr,$frsr1,#$imm16z

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16u
0x0	0x1	0x1	frsr1	frdr	imm16z

semantics:

(set frdr (add USI frsr1 (ext USI imm16z)))

and - AND DstReg, SrcReg1, SrcReg2

machines: base

syntax: and $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0x8	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (and frsr1 frsr2))
```

andi - ANDI DstReg, SrcReg1, UnsImm

machines: base

syntax: andi $frdr,$frsr1,#$imm16z

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16u
0x0	0x8	0x1	frsr1	frdr	imm16z

semantics:

(set frdr (and frsr1 (ext USI imm16z)))

asr - ASR DstReg, SrcReg1, SrcReg2

machines: base

syntax: asr $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0x12	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (sra frsr1 frsr2))
```

asri - ASRI DstReg, SrcReg1, UnsImm

machines: base

syntax: asri $frdr,$frsr1,#$imm16

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16s
0x0	0x12	0x1	frsr1	frdr	imm16

semantics:
```
(set frdr (sra frsr1 imm16))
```

break - BREAK

machines: base

syntax: break

format:

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

f-msys f-opc f-imm f-uu24

0x0 0x34 0x0 0x0

semantics:
```
(c-call VOID "do_break" pc)
```

breq - BREQ SrcReg1, SrcReg2, label

machines: base

syntax: breq $frsr1,$frsr2,$imm16o

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-imm16s
0x0	0x1a	0x1	frsr1	frsr2	imm16o

semantics:

(sequence
  ()
  (if (eq USI frsr1 frsr2)
      (set (delay 1 pc) (add pc (ext SI imm16o)))))

brle - BRLE SrcReg1, SrcReg2, label

machines: base

syntax: brle $frsr1,$frsr2,$imm16o

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-imm16s
0x0	0x19	0x1	frsr1	frsr2	imm16o

semantics:

(sequence
  ()
  (if (le USI frsr1 frsr2)
      (set (delay 1 pc) (add pc (ext SI imm16o)))))

brlt - BRLT SrcReg1, SrcReg2, label

machines: base

syntax: brlt $frsr1,$frsr2,$imm16o

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-imm16s
0x0	0x18	0x1	frsr1	frsr2	imm16o

semantics:

(sequence
  ()
  (if (lt USI frsr1 frsr2)
      (set (delay 1 pc) (add pc (ext SI imm16o)))))

brne - BRNE SrcReg1, SrcReg2, label

machines: base

syntax: brne $frsr1,$frsr2,$imm16o

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-imm16s
0x0	0x1d	0x1	frsr1	frsr2	imm16o

semantics:

(sequence
  ()
  (if (not (eq USI frsr1 frsr2))
      (set (delay 1 pc) (add pc (ext SI imm16o)))))

cbcast - CBCAST mask, r/c, ctx_disp

machines: base

syntax: cbcast #$mask,#$rc2,#$ctxdisp

format:

31	30 29 28 27 26	25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-mask	f-uu-3-9	f-rc2	f-ctxdisp
0x1	0x10	mask	0x0	rc2	ctxdisp

semantics:
```
(nop)
```

dbnz - DBNZ SrcReg1, label

machines: ms1-003 ms2

syntax: dbnz $frsr1,$imm16o

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-uu4a	f-imm16s
0x0	0x1e	0x1	frsr1	0x0	imm16o

semantics:

(sequence
  ()
  (if (not (eq USI frsr1 0))
      (set (delay 1 pc) (add pc (ext SI imm16o)))))

dfbc - dfbc cb1sel,cb2sel,cb1inc,cb2inc,dr/c,cr/c,ctxdisp

machines: ms2

syntax: dfbc #$cb1sel,#$cb2sel,#$cb1incr,#$cb2incr,#$rc3,#$rc2,#$ctxdisp

format:

31	30 29 28 27 26	25 24 23	22 21 20	19 18 17 16 15 14	13 12 11 10 9 8	7	6	5 4 3 2 1 0
f-msys	f-msopc	f-cb1sel	f-cb2sel	f-cb1incr	f-cb2incr	f-rc3	f-rc2	f-ctxdisp
0x1	0x0	cb1sel	cb2sel	cb1incr	cb2incr	rc3	rc2	ctxdisp

semantics:
```
(nop)
```

dfbr - dfbr cb1sel,cb2sel,reg,W/O1,W/O2,mode,cr/c,ctxdisp

machines: ms2

syntax: dfbr #$cb1sel,#$cb2sel,$frsr2,#$length,#$rownum1,#$rownum2,#$rc2,#$ctxdisp

format:

31	30 29 28 27 26	25 24 23	22 21 20	19 18 17 16	15 14 13	12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-cb1sel	f-cb2sel	f-sr2	f-length	f-rownum1	f-rownum2	f-rc2	f-ctxdisp
0x1	0x3	cb1sel	cb2sel	frsr2	length	rownum1	rownum2	rc2	ctxdisp

semantics:
```
(nop)
```

di - DI - Disable Interrupt Processing

machines: base

syntax: di

format:

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

f-msys f-opc f-imm f-uu4b f-uu4a f-uu16

0x0 0x31 0x0 0x0 0x0 0x0

semantics:
```
(c-call VOID "disable_interrupts")
```

dupcbcast - DUPCBCAST mask, cell, r/c, ctx_disp

machines: base

syntax: dupcbcast #$mask,#$cell,#$rc2,#$ctxdisp

format:

31	30 29 28 27 26	25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-mask	f-cell	f-rc2	f-ctxdisp
0x1	0x11	mask	cell	rc2	ctxdisp

semantics:
```
(nop)
```

dwfb - dwfb cb1sel,cb2sel,cb1inc,cb2inc,cr/c,ctxdisp

machines: ms2

syntax: dwfb #$cb1sel,#$cb2sel,#$cb1incr,#$cb2incr,#$rc2,#$ctxdisp

format:

31	30 29 28 27 26	25 24 23	22 21 20	19 18 17 16 15 14	13 12 11 10 9 8	7	6	5 4 3 2 1 0
f-msys	f-msopc	f-cb1sel	f-cb2sel	f-cb1incr	f-cb2incr	f-uu1	f-rc2	f-ctxdisp
0x1	0x1	cb1sel	cb2sel	cb1incr	cb2incr	0x0	rc2	ctxdisp

semantics:
```
(nop)
```

ei - EI - Enable Interrupt Processing

machines: base

syntax: ei

format:

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

f-msys f-opc f-imm f-uu4b f-uu4a f-uu16

0x0 0x30 0x0 0x0 0x0 0x0

semantics:
```
(c-call VOID "enable_interrupts")
```

fbcb - FBCB SRC1, RT/BR1/BR2/CS, B_all, B_r_c, r/c, CB/RB, cell, dup, ctx_disp

machines: ms1 ms1-003

syntax: fbcb $frsr1,#$rbbc,#$ball,#$brc,#$rc1,#$cbrb,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19	18 17 16	15 14 13 12	11	10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-ball	f-brc	f-uu-4-15	f-rc	f-cbrb	f-cell	f-dup	f-ctxdisp
0x1	0x3	rbbc	frsr1	ball	brc	0x0	rc	cbrb	cell	dup	ctxdisp

semantics:
```
(nop)
```

fbcbdr - FBCBDR SRC1, RT/BR1/BR2/CS, SRC2, B_all, B_r_c, r/c, CB/RB, cell, dup, ctx_disp

machines: base

syntax: fbcbdr $frsr1,#$rbbc,$frsr2,#$ball2,#$brc2,#$rc1,#$cbrb,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15	14 13 12	11	10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-sr2	f-ball2	f-brc2	f-rc1	f-cbrb	f-cell	f-dup	f-ctxdisp
0x1	0xd	rbbc	frsr1	frsr2	ball2	brc2	rc1	cbrb	cell	dup	ctxdisp

semantics:
```
(nop)
```

fbcbinc - FBCBINC SRC1, RT/BR1/BR2/CS, Incr_amount, r/c, CB/RB, cell, dup, ctx_disp

machines: base

syntax: fbcbinc $frsr1,#$rbbc,#$incamt,#$rc1,#$cbrb,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16 15 14 13 12	11	10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-incamt	f-rc1	f-cbrb	f-cell	f-dup	f-ctxdisp
0x1	0x15	rbbc	frsr1	incamt	rc1	cbrb	cell	dup	ctxdisp

semantics:
```
(nop)
```

fbcbincrs - FBCBINCRS ireg, perm, all, c/r, cbs, ccb/rcb, cdb/rdb, word, dup, ctxt_disp

machines: ms1-003 ms2

syntax: fbcbincrs $frsr1,#$perm,#$ball,#$colnum,#$cbx,#$ccb,#$cdb,#$rownum2,#$dup,#$ctxdisp

format:

30 29 28 27 26

25 24

23 22 21 20

18 17 16

14 13 12

9 8 7

5 4 3 2 1 0

f-msys

f-msopc

f-perm

f-sr1

f-ball

f-colnum

f-uu-1-15

f-cbx

f-ccb

f-cdb

f-rownum2

f-dup

f-ctxdisp

0x1

0x1e

perm

frsr1

ball

colnum

0x0

cbx

ccb

cdb

rownum2

dup

ctxdisp

semantics:
```
(nop)
```

fbcbincs - FBCBINCS perm, all, c/r, cbs, incr, ccb/rcb, cdb/rdb, word, dup, ctxt_disp

machines: ms1-003 ms2

syntax: fbcbincs #$perm,#$a23,#$cr,#$cbs,#$incr,#$ccb,#$cdb,#$rownum2,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23	22 21 20	19 18	17 16 15 14 13 12	11	10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-perm	f-a23	f-cr	f-cbs	f-incr	f-ccb	f-cdb	f-rownum2	f-dup	f-ctxdisp
0x1	0x1c	perm	a23	cr	cbs	incr	ccb	cdb	rownum2	dup	ctxdisp

semantics:
```
(nop)
```

fbcci - FBCCI SRC1, RT/BR1/BR2/CS, B_all, B_r_c, FB_disp, cell, dup, ctx_disp

machines: base

syntax: fbcci $frsr1,#$rbbc,#$ball,#$brc,#$fbdisp,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19	18 17 16	15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-ball	f-brc	f-fbdisp	f-cell	f-dup	f-ctxdisp
0x1	0x5	rbbc	frsr1	ball	brc	fbdisp	cell	dup	ctxdisp

semantics:
```
(nop)
```

fbcri - FBCRI SRC1, RT/BR1/BR2/CS, B_all, B_r_c, FB_disp, cell, dup, ctx_disp

machines: base

syntax: fbcri $frsr1,#$rbbc,#$ball,#$brc,#$fbdisp,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19	18 17 16	15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-ball	f-brc	f-fbdisp	f-cell	f-dup	f-ctxdisp
0x1	0x7	rbbc	frsr1	ball	brc	fbdisp	cell	dup	ctxdisp

semantics:
```
(nop)
```

fbrci - FBRCI SRC1, RT/BR1/BR2/CS, B_all, B_r_c, FB_disp, cell, dup, ctx_disp

machines: base

syntax: fbrci $frsr1,#$rbbc,#$ball,#$brc,#$fbdisp,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19	18 17 16	15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-ball	f-brc	f-fbdisp	f-cell	f-dup	f-ctxdisp
0x1	0x6	rbbc	frsr1	ball	brc	fbdisp	cell	dup	ctxdisp

semantics:
```
(nop)
```

fbrri - FBRRI SRC1, RT/BR1/BR2/CS, B_all, B_r_c, FB_disp, cell, dup, ctx_disp

machines: base

syntax: fbrri $frsr1,#$rbbc,#$ball,#$brc,#$fbdisp,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19	18 17 16	15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-ball	f-brc	f-fbdisp	f-cell	f-dup	f-ctxdisp
0x1	0x8	rbbc	frsr1	ball	brc	fbdisp	cell	dup	ctxdisp

semantics:
```
(nop)
```

fbwfb - fbwfb cb1sel,cb2sel,cb1inc,cb2inc,r0/1,cr/c,ctxdisp

machines: ms2

syntax: fbwfb #$cb1sel,#$cb2sel,#$cb1incr,#$cb2incr,#$rc3,#$rc2,#$ctxdisp

format:

31	30 29 28 27 26	25 24 23	22 21 20	19 18 17 16 15 14	13 12 11 10 9 8	7	6	5 4 3 2 1 0
f-msys	f-msopc	f-cb1sel	f-cb2sel	f-cb1incr	f-cb2incr	f-rc3	f-rc2	f-ctxdisp
0x1	0x2	cb1sel	cb2sel	cb1incr	cb2incr	rc3	rc2	ctxdisp

semantics:
```
(nop)
```

iflush - IFLUSH

machines: ms1-003 ms2

syntax: iflush

format:

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

f-msys f-opc f-imm f-uu24

0x0 0x35 0x0 0x0

semantics:
```
(nop)
```

interleaver - INTLVR ireg, mode, ireg, i/d, size

machines: base

syntax: intlvr $frsr1,#$mode,$frsr2,#$id,#$size

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15	14	13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-msopc	f-mode	f-sr1	f-sr2	f-uu-1-15	f-id	f-size
0x1	0x17	mode	frsr1	frsr2	0x0	id	size

semantics:
```
(nop)
```

jal - JAL DstReg, SrcReg1

machines: base

syntax: jal $frdrrr,$frsr1

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-uu4a	f-drrr	f-uu12
0x0	0x1c	0x0	frsr1	0x0	frdrrr	0x0

semantics:

(sequence
  ()
  (if (eq frsr1 0)
      (c-call VOID "do_syscall" pc)
      (sequence
        ()
        (set (delay 1 frdrrr) (add pc 8))
        (set (delay 1 pc) frsr1))))

jmp - JMP, label

machines: base

syntax: jmp $imm16o

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-uu4b	f-uu4a	f-imm16s
0x0	0x1b	0x1	0x0	0x0	imm16o

semantics:

(set (delay 1 pc) (add pc (ext SI imm16o)))

ldctxt - LDCTXT SRC1, SRC2, r/c, r/c#, context#

machines: ms1

syntax: ldctxt $frsr1,$frsr2,#$rc,#$rcnum,#$contnum

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15	14 13 12	11 10 9	8 7 6 5 4 3 2 1 0
f-msys	f-msopc	f-uu-2-25	f-sr1	f-sr2	f-rc	f-rcnum	f-uu-3-11	f-contnum
0x1	0x0	0x0	frsr1	frsr2	rc	rcnum	0x0	contnum

semantics:
```
(nop)
```

ldfb - LDFB SRC1, byte#

machines: ms1

syntax: ldfb $frsr1,$frsr2,#$imm16z

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-msopc	f-uu-2-25	f-sr1	f-sr2	f-imm16u
0x1	0x1	0x0	frsr1	frsr2	imm16z

semantics:
```
(nop)
```

ldui - LDUI DstReg, UnsImm

machines: base

syntax: ldui $frdr,#$imm16z

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-uu4b	f-dr	f-imm16u
0x0	0xe	0x1	0x0	frdr	imm16z

semantics:

(set frdr (and (sll imm16z 16) 4294901760))

ldw - LDW DstReg, SrcReg1, Imm

machines: base

syntax: ldw $frdr,$frsr1,#$imm16

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16s
0x0	0x20	0x1	frsr1	frdr	imm16

semantics:

(sequence
  ((USI ea) (HI tmp))
  (set HI tmp (and imm16 65535))
  (set ea
       (and (add SI frsr1 (ext SI tmp)) 4294967292))
  (set frdr (mem SI ea)))

loop - LOOP SrcReg1, label

machines: ms2

syntax: loop $frsr1,$loopsize

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8	7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-uu4a	f-uu8	f-loopo
0x0	0x1f	0x0	frsr1	0x0	0x0	loopsize

semantics:
```
(nop)
```

loopi - LOOPI niter, label

machines: ms2

syntax: loopi #$imm16l,$loopsize

format:

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

f-msys f-opc f-imm f-imm16l f-loopo

0x0 0x1f 0x1 imm16l loopsize

semantics:
```
(nop)
```

lsl - LSL DstReg, SrcReg1, SrcReg2

machines: base

syntax: lsl $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0x10	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (sll frsr1 frsr2))
```

lsli - LSLI DstReg, SrcReg1, UnsImm

machines: base

syntax: lsli $frdr,$frsr1,#$imm16

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16s
0x0	0x10	0x1	frsr1	frdr	imm16

semantics:
```
(set frdr (sll frsr1 imm16))
```

lsr - LSR DstReg, SrcReg1, SrcReg2

machines: base

syntax: lsr $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0x11	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (srl frsr1 frsr2))
```

lsri - LSRI DstReg, SrcReg1, UnsImm

machines: base

syntax: lsri $frdr,$frsr1,#$imm16

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16s
0x0	0x11	0x1	frsr1	frdr	imm16

semantics:
```
(set frdr (srl frsr1 imm16))
```

mfbcb - MFBCB SRC1, RT/BR1/BR2/CS, SRC2, r/c, CB/RB, cell, dup, ctx_disp

machines: base

syntax: mfbcb $frsr1,#$rbbc,$frsr2,#$rc1,#$cbrb,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15 14 13 12	11	10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-sr2	f-uu-4-15	f-rc1	f-cbrb	f-cell	f-dup	f-ctxdisp
0x1	0x4	rbbc	frsr1	frsr2	0x0	rc1	cbrb	cell	dup	ctxdisp

semantics:
```
(nop)
```

mfbcbincrs - MFBCBINCRS ireg, mreg, perm, cbs, ccb/rcb, cdb/rdb, word, dup, ctxt_disp

machines: ms1-003 ms2

syntax: mfbcbincrs $frsr1,$frsr2,#$perm,#$cbx,#$ccb,#$cdb,#$rownum2,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15	14 13 12	11	10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-perm	f-sr1	f-sr2	f-uu-1-15	f-cbx	f-ccb	f-cdb	f-rownum2	f-dup	f-ctxdisp
0x1	0x1f	perm	frsr1	frsr2	0x0	cbx	ccb	cdb	rownum2	dup	ctxdisp

semantics:
```
(nop)
```

mfbcbincs - MFBCBINCS ireg, perm, cbs, incr, ccb/rcb, cdb/rdb, word, dup, ctxt_disp

machines: ms1-003 ms2

syntax: mfbcbincs $frsr1,#$perm,#$cbs,#$incr,#$ccb,#$cdb,#$rownum2,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18	17 16 15 14 13 12	11	10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-perm	f-sr1	f-cbs	f-incr	f-ccb	f-cdb	f-rownum2	f-dup	f-ctxdisp
0x1	0x1d	perm	frsr1	cbs	incr	ccb	cdb	rownum2	dup	ctxdisp

semantics:
```
(nop)
```

mfbcci - MFBCCI SRC1, RT/BR1/BR2/CS, SRC2, FB_disp, cell, dup, ctx_disp

machines: base

syntax: mfbcci $frsr1,#$rbbc,$frsr2,#$fbdisp,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-sr2	f-fbdisp	f-cell	f-dup	f-ctxdisp
0x1	0x9	rbbc	frsr1	frsr2	fbdisp	cell	dup	ctxdisp

semantics:
```
(nop)
```

mfbcri - MFBCRI SRC1, RT/BR1/BR2/CS, SRC2, FB_disp, cell, dup, ctx_disp

machines: base

syntax: mfbcri $frsr1,#$rbbc,$frsr2,#$fbdisp,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-sr2	f-fbdisp	f-cell	f-dup	f-ctxdisp
0x1	0xb	rbbc	frsr1	frsr2	fbdisp	cell	dup	ctxdisp

semantics:
```
(nop)
```

mfbrci - MFBRCI SRC1, RT/BR1/BR2/CS, SRC2, FB_disp, cell, dup, ctx_disp

machines: base

syntax: mfbrci $frsr1,#$rbbc,$frsr2,#$fbdisp,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-sr2	f-fbdisp	f-cell	f-dup	f-ctxdisp
0x1	0xa	rbbc	frsr1	frsr2	fbdisp	cell	dup	ctxdisp

semantics:
```
(nop)
```

mfbrri - MFBRRI SRC1, RT/BR1/BR2/CS, SRC2, FB_disp, cell, dup, ctx_disp

machines: base

syntax: mfbrri $frsr1,#$rbbc,$frsr2,#$fbdisp,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-sr2	f-fbdisp	f-cell	f-dup	f-ctxdisp
0x1	0xc	rbbc	frsr1	frsr2	fbdisp	cell	dup	ctxdisp

semantics:
```
(nop)
```

mrcfbcb - MRCFBCB SRC2, RT/BR1/BR2/CS, type, row#, r/c, CB/RB, cell, dup, ctx_disp

machines: base

syntax: mrcfbcb $frsr2,#$rbbc,#$type,#$rownum,#$rc1,#$cbrb,#$cell,#$dup,#$ctxdisp

format:

30 29 28 27 26

25 24

23 22

21 20

19 18 17 16

14 13 12

9 8 7

5 4 3 2 1 0

f-msys

f-msopc

f-rbbc

f-uu-2-23

f-type

f-sr2

f-uu-1-15

f-rownum

f-rc1

f-cbrb

f-cell

f-dup

f-ctxdisp

0x1

0xf

rbbc

0x0

type

frsr2

0x0

rownum

rc1

cbrb

cell

dup

ctxdisp

semantics:
```
(nop)
```

mul - MUL DstReg, SrcReg1, SrcReg2

machines: ms1-003 ms2

syntax: mul $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0x4	0x0	frsr1	frsr2	frdrrr	0x0

semantics:

(sequence
  ((HI op1) (HI op2))
  (set op1 (and frsr1 65535))
  (if (or (lt op1 -32768) (gt op1 32767))
      (error "operand out of range"))
  (set op2 (and frsr2 65535))
  (if (or (lt op2 -32768) (gt op2 32767))
      (error "operand out of range"))
  (set frdrrr (mul SI (ext SI op1) (ext SI op2))))

muli - MULI DstReg, SrcReg1, UnsImm

machines: ms1-003 ms2

syntax: muli $frdr,$frsr1,#$imm16

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16s
0x0	0x4	0x1	frsr1	frdr	imm16

semantics:

(sequence
  ((HI op1) (HI op2))
  (set op1 (and frsr1 65535))
  (if (or (lt op1 -32768) (gt op1 32767))
      (error "operand out of range"))
  (set op2 (and imm16 65535))
  (if (eq op1 0) (error "op1 is 0"))
  (if (eq op2 0) (error "op2 is 0"))
  (set frdr (mul SI (ext SI op1) (ext SI op2))))

mwfbinc - MWFBINC mreg, type, ccb/rcb, incr, length, rca_row, word, dup, ctxt_disp

machines: ms1-003 ms2

syntax: mwfbinc $frsr2,#$rda,#$wr,#$fbincr,#$length,#$rownum1,#$rownum2,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25	24	23 22 21 20	19 18 17 16	15 14 13	12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rda	f-wr	f-fbincr	f-sr2	f-length	f-rownum1	f-rownum2	f-dup	f-ctxdisp
0x1	0x19	rda	wr	fbincr	frsr2	length	rownum1	rownum2	dup	ctxdisp

semantics:
```
(nop)
```

mwfbincr - MWFBINCR ireg, mreg, type, ccb/rcb, length, rca_row, word, dup, ctxt_disp

machines: ms1-003 ms2

syntax: mwfbincr $frsr1,$frsr2,#$rda,#$wr,#$length,#$rownum1,#$rownum2,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25	24	23 22 21 20	19 18 17 16	15 14 13	12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rda	f-wr	f-sr1	f-sr2	f-length	f-rownum1	f-rownum2	f-dup	f-ctxdisp
0x1	0x1b	rda	wr	frsr1	frsr2	length	rownum1	rownum2	dup	ctxdisp

semantics:
```
(nop)
```

nand - NAND DstReg, SrcReg1, SrcReg2

machines: base

syntax: nand $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0xb	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (inv (and frsr1 frsr2)))
```

nandi - NANDI DstReg, SrcReg1, UnsImm

machines: base

syntax: nandi $frdr,$frsr1,#$imm16z

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16u
0x0	0xb	0x1	frsr1	frdr	imm16z

semantics:

(set frdr (inv (and frsr1 (ext USI imm16z))))

nop - nop

machines: base

syntax: nop

format:

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

f-msys f-opc f-imm f-uu24

0x0 0x9 0x0 0x0

semantics:
```
(nop)
```

nor - NOR DstReg, SrcReg1, SrcReg2

machines: base

syntax: nor $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0xc	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (inv (or frsr1 frsr2)))
```

nori - NORI DstReg, SrcReg1, UnsImm

machines: base

syntax: nori $frdr,$frsr1,#$imm16z

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16u
0x0	0xc	0x1	frsr1	frdr	imm16z

semantics:

(set frdr (inv (or frsr1 (ext USI imm16z))))

or - OR DstReg, SrcReg1, SrcReg2

machines: base

syntax: or $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0x9	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (or frsr1 frsr2))
```

ori - ORI DstReg, SrcReg1, UnsImm

machines: base

syntax: ori $frdr,$frsr1,#$imm16z

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16u
0x0	0x9	0x1	frsr1	frdr	imm16z

semantics:
```
(set frdr (or frsr1 (ext USI imm16z)))
```

rcfbcb - RCFBCB RT/BR1/BR2/CS, type, B_all, B_r_c, row#, r/c, CB/RB, cell, dup, ctx_disp

machines: base

syntax: rcfbcb #$rbbc,#$type,#$ball,#$brc,#$rownum,#$rc1,#$cbrb,#$cell,#$dup,#$ctxdisp

format:

30 29 28 27 26

25 24

23 22

21 20

18 17 16

14 13 12

9 8 7

5 4 3 2 1 0

f-msys

f-msopc

f-rbbc

f-uu-2-23

f-type

f-ball

f-brc

f-uu-1-15

f-rownum

f-rc1

f-cbrb

f-cell

f-dup

f-ctxdisp

0x1

0xe

rbbc

0x0

type

ball

brc

0x0

rownum

rc1

cbrb

cell

dup

ctxdisp

semantics:
```
(nop)
```

rcrisc - RCRISC DEST, RT/BR1/BR2/CS, SRC1, column#, r/c, CB/RB, cell, dup, ctx_disp

machines: base

syntax: rcrisc $frdrrr,#$rbbc,$frsr1,#$colnum,#$rc1,#$cbrb,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19	18 17 16	15 14 13 12	11	10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rbbc	f-sr1	f-uu-1-19	f-colnum	f-drrr	f-rc1	f-cbrb	f-cell	f-dup	f-ctxdisp
0x1	0x14	rbbc	frsr1	0x0	colnum	frdrrr	rc1	cbrb	cell	dup	ctxdisp

semantics:
```
(nop)
```

rcxmode - RCXMODE SRC2, rd, wr, xmode, mask, FB_disp, row#, r/c, ctx_disp

machines: base

syntax: rcxmode $frsr2,#$rda,#$wr,#$xmode,#$mask1,#$fbdisp,#$rownum2,#$rc2,#$ctxdisp

format:

31	30 29 28 27 26	25	24	23	22 21 20	19 18 17 16	15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rda	f-wr	f-xmode	f-mask1	f-sr2	f-fbdisp	f-rownum2	f-rc2	f-ctxdisp
0x1	0x16	rda	wr	xmode	mask1	frsr2	fbdisp	rownum2	rc2	ctxdisp

semantics:
```
(nop)
```

reti - RETI SrcReg1

machines: base

syntax: reti $frsr1

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-uu4a	f-uu16
0x0	0x33	0x0	frsr1	0x0	0x0

semantics:

(sequence
  ()
  (c-call VOID "enable_interrupts")
  (set (delay 1 pc) frsr1))

si - SI - Send software Interrupt

machines: base

syntax: si $frdrrr

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-uu4b	f-uu4a	f-drrr	f-uu12
0x0	0x32	0x0	0x0	0x0	frdrrr	0x0

semantics:

(sequence
  ()
  (set frdrrr (add pc 4))
  (c-call VOID "do_syscall" pc))

stfb - STFB SRC1, SRC2, byte

machines: ms1

syntax: stfb $frsr1,$frsr2,#$imm16z

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-msopc	f-uu-2-25	f-sr1	f-sr2	f-imm16u
0x1	0x2	0x0	frsr1	frsr2	imm16z

semantics:
```
(nop)
```

stw - STW SrcReg2, SrcReg1, Imm

machines: base

syntax: stw $frsr2,$frsr1,#$imm16

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-imm16s
0x0	0x21	0x1	frsr1	frsr2	imm16

semantics:

(sequence
  ((USI ea) (HI tmp))
  (set HI tmp (and imm16 65535))
  (set ea
       (and (add SI frsr1 (ext SI tmp)) 4294967292))
  (set (mem SI ea) frsr2))

sub - SUB DstReg, SrcReg1, SrcReg2

machines: base

syntax: sub $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0x2	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (sub SI frsr1 frsr2))
```

subi - SUBI DstReg, SrcReg1, UnsImm

machines: base

syntax: subi $frdr,$frsr1,#$imm16

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16s
0x0	0x2	0x1	frsr1	frdr	imm16

semantics:

(sequence
  ((HI tmp))
  (set HI tmp (and imm16 65535))
  (set frdr (sub SI frsr1 (ext SI tmp))))

subu - SUBU DstReg, SrcReg1, SrcReg2

machines: base

syntax: subu $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0x3	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (sub USI frsr1 frsr2))
```

subui - SUBUI DstReg, SrcReg1, UnsImm

machines: base

syntax: subui $frdr,$frsr1,#$imm16z

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16u
0x0	0x3	0x1	frsr1	frdr	imm16z

semantics:

(set frdr (sub USI frsr1 (ext USI imm16z)))

wfb - WFB, DRC1,SRC2,FB_disp,row#,ctx_disp

machines: base

syntax: wfb $frsr1,$frsr2,#$fbdisp,#$rownum2,#$ctxdisp

format:

31	30 29 28 27 26	25 24	23 22 21 20	19 18 17 16	15 14 13 12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-uu-2-25	f-sr1	f-sr2	f-fbdisp	f-rownum2	f-uu-1-6	f-ctxdisp
0x1	0x13	0x0	frsr1	frsr2	fbdisp	rownum2	0x0	ctxdisp

semantics:
```
(nop)
```

wfbi - WFBI Bank_address, row#, cell, dup, ctx_disp

machines: base

syntax: wfbi #$bankaddr,#$rownum1,#$cell,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25 24 23 22 21 20 19 18 17 16 15 14 13	12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-bankaddr	f-rownum1	f-cell	f-dup	f-ctxdisp
0x1	0x12	bankaddr	rownum1	cell	dup	ctxdisp

semantics:
```
(nop)
```

wfbinc - WFBINC type, ccb/rcb, incr, all, c/r, length, rca_row, word, dup, ctxt_disp

machines: ms1-003 ms2

syntax: wfbinc #$rda,#$wr,#$fbincr,#$ball,#$colnum,#$length,#$rownum1,#$rownum2,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25	24	23 22 21 20	19	18 17 16	15 14 13	12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rda	f-wr	f-fbincr	f-ball	f-colnum	f-length	f-rownum1	f-rownum2	f-dup	f-ctxdisp
0x1	0x18	rda	wr	fbincr	ball	colnum	length	rownum1	rownum2	dup	ctxdisp

semantics:
```
(nop)
```

wfbincr - WFBINCR ireg, type, ccb/rcb, all, c/r, length, rca_row, word, dup, ctxt_disp

machines: ms1-003 ms2

syntax: wfbincr $frsr1,#$rda,#$wr,#$ball,#$colnum,#$length,#$rownum1,#$rownum2,#$dup,#$ctxdisp

format:

31	30 29 28 27 26	25	24	23 22 21 20	19	18 17 16	15 14 13	12 11 10	9 8 7	6	5 4 3 2 1 0
f-msys	f-msopc	f-rda	f-wr	f-sr1	f-ball	f-colnum	f-length	f-rownum1	f-rownum2	f-dup	f-ctxdisp
0x1	0x1a	rda	wr	frsr1	ball	colnum	length	rownum1	rownum2	dup	ctxdisp

semantics:
```
(nop)
```

xnor - XNOR DstReg, SrcReg1, SrcReg2

machines: base

syntax: xnor $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0xd	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (inv (xor frsr1 frsr2)))
```

xnori - XNORI DstReg, SrcReg1, UnsImm

machines: base

syntax: xnori $frdr,$frsr1,#$imm16z

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16u
0x0	0xd	0x1	frsr1	frdr	imm16z

semantics:

(set frdr (inv (xor frsr1 (ext USI imm16z))))

xor - XOR DstReg, SrcReg1, SrcReg2

machines: base

syntax: xor $frdrrr,$frsr1,$frsr2

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12	11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-sr2	f-drrr	f-uu12
0x0	0xa	0x0	frsr1	frsr2	frdrrr	0x0

semantics:
```
(set frdrrr (xor frsr1 frsr2))
```

xori - XORI DstReg, SrcReg1, UnsImm

machines: base

syntax: xori $frdr,$frsr1,#$imm16z

format:

31	30 29 28 27 26 25	24	23 22 21 20	19 18 17 16	15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
f-msys	f-opc	f-imm	f-sr1	f-dr	f-imm16u
0x0	0xa	0x1	frsr1	frdr	imm16z

semantics:

(set frdr (xor frsr1 (ext USI imm16z)))

Macro Instructions

Macro instructions for each machine:

ms1 - Morpho Technologies mrisc
ms1-003 - Morpho Technologies mrisc
ms2 - Morpho Technologies ms2

ms1 - Morpho Technologies mrisc

ms1-003 - Morpho Technologies mrisc

ms2 - Morpho Technologies ms2

Individual macro-instructions descriptions

This documentation was machine generated from the cgen cpu description files for this architecture.
http://sources.redhat.com/cgen/

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

Instructions

ms1 MEM - Memory

ms1 ALU - ALU

ms1 ms1 - Morpho Technologies mrisc

ms1-003 MEM - Memory

ms1-003 ALU - ALU

ms1-003 ms1-003 - Morpho Technologies mrisc

ms2 MEM - Memory

ms2 ALU - ALU

ms2 ms2 - Morpho Technologies ms2

Individual instructions descriptions

add - ADD DstReg, SrcReg1, SrcReg2

addi - ADDI DstReg, SrcReg1 UnsImm

addu - ADDU DstReg, SrcReg1, SrcReg2

addui - ADDUI DstReg, SrcReg1, UnsImm

and - AND DstReg, SrcReg1, SrcReg2

andi - ANDI DstReg, SrcReg1, UnsImm

asr - ASR DstReg, SrcReg1, SrcReg2

asri - ASRI DstReg, SrcReg1, UnsImm

break - BREAK

breq - BREQ SrcReg1, SrcReg2, label

brle - BRLE SrcReg1, SrcReg2, label

brlt - BRLT SrcReg1, SrcReg2, label

brne - BRNE SrcReg1, SrcReg2, label

cbcast - CBCAST mask, r/c, ctx_disp

dbnz - DBNZ SrcReg1, label

dfbc - dfbc cb1sel,cb2sel,cb1inc,cb2inc,dr/c,cr/c,ctxdisp

dfbr - dfbr cb1sel,cb2sel,reg,W/O1,W/O2,mode,cr/c,ctxdisp

di - DI - Disable Interrupt Processing

dupcbcast - DUPCBCAST mask, cell, r/c, ctx_disp

dwfb - dwfb cb1sel,cb2sel,cb1inc,cb2inc,cr/c,ctxdisp

ei - EI - Enable Interrupt Processing

fbcb - FBCB SRC1, RT/BR1/BR2/CS, B_all, B_r_c, r/c, CB/RB, cell, dup, ctx_disp

fbcbdr - FBCBDR SRC1, RT/BR1/BR2/CS, SRC2, B_all, B_r_c, r/c, CB/RB, cell, dup, ctx_disp

fbcbinc - FBCBINC SRC1, RT/BR1/BR2/CS, Incr_amount, r/c, CB/RB, cell, dup, ctx_disp

fbcbincrs - FBCBINCRS ireg, perm, all, c/r, cbs, ccb/rcb, cdb/rdb, word, dup, ctxt_disp

fbcbincs - FBCBINCS perm, all, c/r, cbs, incr, ccb/rcb, cdb/rdb, word, dup, ctxt_disp

fbcci - FBCCI SRC1, RT/BR1/BR2/CS, B_all, B_r_c, FB_disp, cell, dup, ctx_disp

fbcri - FBCRI SRC1, RT/BR1/BR2/CS, B_all, B_r_c, FB_disp, cell, dup, ctx_disp

fbrci - FBRCI SRC1, RT/BR1/BR2/CS, B_all, B_r_c, FB_disp, cell, dup, ctx_disp

fbrri - FBRRI SRC1, RT/BR1/BR2/CS, B_all, B_r_c, FB_disp, cell, dup, ctx_disp

fbwfb - fbwfb cb1sel,cb2sel,cb1inc,cb2inc,r0/1,cr/c,ctxdisp

iflush - IFLUSH

interleaver - INTLVR ireg, mode, ireg, i/d, size

jal - JAL DstReg, SrcReg1

jmp - JMP, label

ldctxt - LDCTXT SRC1, SRC2, r/c, r/c#, context#

ldfb - LDFB SRC1, byte#

ldui - LDUI DstReg, UnsImm

ldw - LDW DstReg, SrcReg1, Imm

loop - LOOP SrcReg1, label

loopi - LOOPI niter, label

lsl - LSL DstReg, SrcReg1, SrcReg2

lsli - LSLI DstReg, SrcReg1, UnsImm

lsr - LSR DstReg, SrcReg1, SrcReg2

lsri - LSRI DstReg, SrcReg1, UnsImm

mfbcb - MFBCB SRC1, RT/BR1/BR2/CS, SRC2, r/c, CB/RB, cell, dup, ctx_disp

mfbcbincrs - MFBCBINCRS ireg, mreg, perm, cbs, ccb/rcb, cdb/rdb, word, dup, ctxt_disp

mfbcbincs - MFBCBINCS ireg, perm, cbs, incr, ccb/rcb, cdb/rdb, word, dup, ctxt_disp

mfbcci - MFBCCI SRC1, RT/BR1/BR2/CS, SRC2, FB_disp, cell, dup, ctx_disp

mfbcri - MFBCRI SRC1, RT/BR1/BR2/CS, SRC2, FB_disp, cell, dup, ctx_disp

mfbrci - MFBRCI SRC1, RT/BR1/BR2/CS, SRC2, FB_disp, cell, dup, ctx_disp

mfbrri - MFBRRI SRC1, RT/BR1/BR2/CS, SRC2, FB_disp, cell, dup, ctx_disp

mrcfbcb - MRCFBCB SRC2, RT/BR1/BR2/CS, type, row#, r/c, CB/RB, cell, dup, ctx_disp

mul - MUL DstReg, SrcReg1, SrcReg2

muli - MULI DstReg, SrcReg1, UnsImm

mwfbinc - MWFBINC mreg, type, ccb/rcb, incr, length, rca_row, word, dup, ctxt_disp

mwfbincr - MWFBINCR ireg, mreg, type, ccb/rcb, length, rca_row, word, dup, ctxt_disp

nand - NAND DstReg, SrcReg1, SrcReg2

nandi - NANDI DstReg, SrcReg1, UnsImm

nop - nop

nor - NOR DstReg, SrcReg1, SrcReg2

nori - NORI DstReg, SrcReg1, UnsImm

or - OR DstReg, SrcReg1, SrcReg2

ori - ORI DstReg, SrcReg1, UnsImm

rcfbcb - RCFBCB RT/BR1/BR2/CS, type, B_all, B_r_c, row#, r/c, CB/RB, cell, dup, ctx_disp

rcrisc - RCRISC DEST, RT/BR1/BR2/CS, SRC1, column#, r/c, CB/RB, cell, dup, ctx_disp

rcxmode - RCXMODE SRC2, rd, wr, xmode, mask, FB_disp, row#, r/c, ctx_disp

reti - RETI SrcReg1

si - SI - Send software Interrupt