mirror of
https://github.com/autc04/Retro68.git
synced 2024-12-25 09:30:58 +00:00
935 lines
21 KiB
Scheme
935 lines
21 KiB
Scheme
; Lattice Mico32 CPU description. -*- Scheme -*-
|
||
; Copyright 2008-2013 Free Software Foundation, Inc.
|
||
; Contributed by Jon Beniston <jon@beniston.com>
|
||
;
|
||
; This file is part of the GNU Binutils.
|
||
;
|
||
; This program is free software; you can redistribute it and/or modify
|
||
; it under the terms of the GNU General Public License as published by
|
||
; the Free Software Foundation; either version 3 of the License, or
|
||
; (at your option) any later version.
|
||
;
|
||
; This program is distributed in the hope that it will be useful,
|
||
; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
; GNU General Public License for more details.
|
||
;
|
||
; You should have received a copy of the GNU General Public License
|
||
; along with this program; if not, write to the Free Software
|
||
; Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
|
||
; MA 02110-1301, USA.
|
||
|
||
(include "simplify.inc")
|
||
|
||
(define-arch
|
||
(name lm32) ; name of cpu family
|
||
(comment "Lattice Mico32")
|
||
(default-alignment aligned)
|
||
(insn-lsb0? #t)
|
||
(machs lm32)
|
||
(isas lm32)
|
||
)
|
||
|
||
|
||
; Instruction sets.
|
||
|
||
(define-isa
|
||
(name lm32)
|
||
(comment "Lattice Mico32 ISA")
|
||
(default-insn-word-bitsize 32)
|
||
(default-insn-bitsize 32)
|
||
(base-insn-bitsize 32)
|
||
(decode-assist (31 30 29 28 27 26))
|
||
)
|
||
|
||
|
||
; Cpu family definitions.
|
||
|
||
(define-cpu
|
||
; cpu names must be distinct from the architecture name and machine name
|
||
(name lm32bf)
|
||
(comment "Lattice Mico32 CPU")
|
||
(endian big)
|
||
(word-bitsize 32)
|
||
)
|
||
|
||
(define-mach
|
||
(name lm32)
|
||
(comment "Lattice Mico32 MACH")
|
||
(cpu lm32bf)
|
||
)
|
||
|
||
(define-model
|
||
(name lm32)
|
||
(comment "Lattice Mico32 reference implementation")
|
||
(mach lm32)
|
||
(unit u-exec "Execution unit" ()
|
||
1 1 () () () ())
|
||
)
|
||
|
||
|
||
; Hardware elements.
|
||
|
||
(dnh h-pc "Program counter" (PC) (pc) () () ())
|
||
|
||
(dnh h-gr "General purpose registers"
|
||
()
|
||
(register SI (32))
|
||
(keyword "" (
|
||
(gp 26) (fp 27) (sp 28) (ra 29) (ea 30) (ba 31)
|
||
(r0 0) (r1 1) (r2 2) (r3 3)
|
||
(r4 4) (r5 5) (r6 6) (r7 7)
|
||
(r8 8) (r9 9) (r10 10) (r11 11)
|
||
(r12 12) (r13 13) (r14 14) (r15 15)
|
||
(r16 16) (r17 17) (r18 18) (r19 19)
|
||
(r20 20) (r21 21) (r22 22) (r23 23)
|
||
(r24 24) (r25 25) (r26 26) (r27 27)
|
||
(r28 28) (r29 29) (r30 30) (r31 31)
|
||
)
|
||
)
|
||
() ()
|
||
)
|
||
|
||
(dnh h-csr "Control and status registers"
|
||
()
|
||
(register SI (32))
|
||
(keyword "" (
|
||
(IE 0) (IM 1) (IP 2)
|
||
(ICC 3) (DCC 4)
|
||
(CC 5)
|
||
(CFG 6)
|
||
(EBA 7)
|
||
(DC 8)
|
||
(DEBA 9)
|
||
(CFG2 10)
|
||
(JTX 14) (JRX 15)
|
||
(BP0 16) (BP1 17) (BP2 18) (BP3 19)
|
||
(WP0 24) (WP1 25) (WP2 26) (WP3 27)
|
||
(PSW 29) (TLBVADDR 30) (TLBPADDR 31) (TLBBADVADDR 31)
|
||
)
|
||
)
|
||
() ()
|
||
)
|
||
|
||
|
||
; Instruction fields.
|
||
|
||
(dnf f-opcode "opcode field" () 31 6)
|
||
(dnf f-r0 "register index 0 field" () 25 5)
|
||
(dnf f-r1 "register index 1 field" () 20 5)
|
||
(dnf f-r2 "register index 2 field" () 15 5)
|
||
(dnf f-resv0 "reserved" (RESERVED) 10 11)
|
||
(dnf f-shift "shift amount field" () 4 5)
|
||
(df f-imm "signed immediate field" () 15 16 INT #f #f)
|
||
(dnf f-uimm "unsigned immediate field" () 15 16)
|
||
(dnf f-csr "csr field" () 25 5)
|
||
(dnf f-user "user defined field" () 10 11)
|
||
(dnf f-exception "exception field" () 25 26)
|
||
|
||
(df f-branch "branch offset field" (PCREL-ADDR) 15 16 INT
|
||
((value pc) (sra SI (sub SI value pc) 2))
|
||
((value pc) (add SI pc (sra SI (sll SI value 16) 14)))
|
||
)
|
||
(df f-call "call offset field" (PCREL-ADDR) 25 26 INT
|
||
((value pc) (sra SI (sub SI value pc) 2))
|
||
((value pc) (add SI pc (sra SI (sll SI value 6) 4)))
|
||
)
|
||
|
||
|
||
; Operands.
|
||
|
||
(dnop r0 "register 0" () h-gr f-r0)
|
||
(dnop r1 "register 1" () h-gr f-r1)
|
||
(dnop r2 "register 2" () h-gr f-r2)
|
||
(dnop shift "shift amout" () h-uint f-shift)
|
||
(dnop imm "signed immediate" () h-sint f-imm)
|
||
(dnop uimm "unsigned immediate" () h-uint f-uimm)
|
||
(dnop branch "branch offset" () h-iaddr f-branch)
|
||
(dnop call "call offset" () h-iaddr f-call)
|
||
(dnop csr "csr" () h-csr f-csr)
|
||
(dnop user "user" () h-uint f-user)
|
||
(dnop exception "exception" () h-uint f-exception)
|
||
|
||
(define-operand
|
||
(name hi16)
|
||
(comment "high 16-bit immediate")
|
||
(attrs)
|
||
(type h-uint)
|
||
(index f-uimm)
|
||
(handlers (parse "hi16"))
|
||
)
|
||
|
||
(define-operand
|
||
(name lo16)
|
||
(comment "low 16-bit immediate")
|
||
(attrs)
|
||
(type h-uint)
|
||
(index f-uimm)
|
||
(handlers (parse "lo16"))
|
||
)
|
||
|
||
(define-operand
|
||
(name gp16)
|
||
(comment "gp relative 16-bit immediate")
|
||
(attrs)
|
||
(type h-sint)
|
||
(index f-imm)
|
||
(handlers (parse "gp16"))
|
||
)
|
||
|
||
(define-operand
|
||
(name got16)
|
||
(comment "got 16-bit immediate")
|
||
(attrs)
|
||
(type h-sint)
|
||
(index f-imm)
|
||
(handlers (parse "got16"))
|
||
)
|
||
|
||
(define-operand
|
||
(name gotoffhi16)
|
||
(comment "got offset high 16-bit immediate")
|
||
(attrs)
|
||
(type h-sint)
|
||
(index f-imm)
|
||
(handlers (parse "gotoff_hi16"))
|
||
)
|
||
|
||
(define-operand
|
||
(name gotofflo16)
|
||
(comment "got offset low 16-bit immediate")
|
||
(attrs)
|
||
(type h-sint)
|
||
(index f-imm)
|
||
(handlers (parse "gotoff_lo16"))
|
||
)
|
||
|
||
|
||
; Enumerations.
|
||
|
||
(define-normal-insn-enum
|
||
opcodes "opcodes" () OP_ f-opcode
|
||
(("ADD" 45)
|
||
("ADDI" 13)
|
||
("AND" 40)
|
||
("ANDI" 8)
|
||
("ANDHI" 24)
|
||
("B" 48)
|
||
("BI" 56)
|
||
("BE" 17)
|
||
("BG" 18)
|
||
("BGE" 19)
|
||
("BGEU" 20)
|
||
("BGU" 21)
|
||
("BNE" 23)
|
||
("CALL" 54)
|
||
("CALLI" 62)
|
||
("CMPE" 57)
|
||
("CMPEI" 25)
|
||
("CMPG" 58)
|
||
("CMPGI" 26)
|
||
("CMPGE" 59)
|
||
("CMPGEI" 27)
|
||
("CMPGEU" 60)
|
||
("CMPGEUI" 28)
|
||
("CMPGU" 61)
|
||
("CMPGUI" 29)
|
||
("CMPNE" 63)
|
||
("CMPNEI" 31)
|
||
("DIVU" 35)
|
||
("LB" 4)
|
||
("LBU" 16)
|
||
("LH" 7)
|
||
("LHU" 11)
|
||
("LW" 10)
|
||
("MODU" 49)
|
||
("MUL" 34)
|
||
("MULI" 2)
|
||
("NOR" 33)
|
||
("NORI" 1)
|
||
("OR" 46)
|
||
("ORI" 14)
|
||
("ORHI" 30)
|
||
("RAISE" 43)
|
||
("RCSR" 36)
|
||
("SB" 12)
|
||
("SEXTB" 44)
|
||
("SEXTH" 55)
|
||
("SH" 3)
|
||
("SL" 47)
|
||
("SLI" 15)
|
||
("SR" 37)
|
||
("SRI" 5)
|
||
("SRU" 32)
|
||
("SRUI" 0)
|
||
("SUB" 50)
|
||
("SW" 22)
|
||
("USER" 51)
|
||
("WCSR" 52)
|
||
("XNOR" 41)
|
||
("XNORI" 9)
|
||
("XOR" 38)
|
||
("XORI" 6)
|
||
)
|
||
)
|
||
|
||
|
||
; Instructions. Note: Reg-reg must come before reg-imm.
|
||
|
||
(dni add "add" ()
|
||
"add $r2,$r0,$r1"
|
||
(+ OP_ADD r0 r1 r2 (f-resv0 0))
|
||
(set r2 (add r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni addi "add immediate" ()
|
||
"addi $r1,$r0,$imm"
|
||
(+ OP_ADDI r0 r1 imm)
|
||
(set r1 (add r0 (ext SI (trunc HI imm))))
|
||
()
|
||
)
|
||
|
||
(dni and "and" ()
|
||
"and $r2,$r0,$r1"
|
||
(+ OP_AND r0 r1 r2 (f-resv0 0))
|
||
(set r2 (and r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni andi "and immediate" ()
|
||
"andi $r1,$r0,$uimm"
|
||
(+ OP_ANDI r0 r1 uimm)
|
||
(set r1 (and r0 (zext SI uimm)))
|
||
()
|
||
)
|
||
|
||
(dni andhii "and high immediate" ()
|
||
"andhi $r1,$r0,$hi16"
|
||
(+ OP_ANDHI r0 r1 hi16)
|
||
(set r1 (and r0 (sll SI hi16 16)))
|
||
()
|
||
)
|
||
|
||
(dni b "branch" ()
|
||
"b $r0"
|
||
(+ OP_B r0 (f-r1 0) (f-r2 0) (f-resv0 0))
|
||
(set pc (c-call USI "@cpu@_b_insn" r0 f-r0))
|
||
()
|
||
)
|
||
|
||
(dni bi "branch immediate" ()
|
||
"bi $call"
|
||
(+ OP_BI call)
|
||
(set pc (ext SI call))
|
||
()
|
||
)
|
||
|
||
(dni be "branch equal" ()
|
||
"be $r0,$r1,$branch"
|
||
(+ OP_BE r0 r1 branch)
|
||
(if (eq r0 r1)
|
||
(set pc branch)
|
||
)
|
||
()
|
||
)
|
||
|
||
(dni bg "branch greater" ()
|
||
"bg $r0,$r1,$branch"
|
||
(+ OP_BG r0 r1 branch)
|
||
(if (gt r0 r1)
|
||
(set pc branch)
|
||
)
|
||
()
|
||
)
|
||
|
||
(dni bge "branch greater or equal" ()
|
||
"bge $r0,$r1,$branch"
|
||
(+ OP_BGE r0 r1 branch)
|
||
(if (ge r0 r1)
|
||
(set pc branch)
|
||
)
|
||
()
|
||
)
|
||
|
||
(dni bgeu "branch greater or equal unsigned" ()
|
||
"bgeu $r0,$r1,$branch"
|
||
(+ OP_BGEU r0 r1 branch)
|
||
(if (geu r0 r1)
|
||
(set pc branch)
|
||
)
|
||
()
|
||
)
|
||
|
||
(dni bgu "branch greater unsigned" ()
|
||
"bgu $r0,$r1,$branch"
|
||
(+ OP_BGU r0 r1 branch)
|
||
(if (gtu r0 r1)
|
||
(set pc branch)
|
||
)
|
||
()
|
||
)
|
||
|
||
(dni bne "branch not equal" ()
|
||
"bne $r0,$r1,$branch"
|
||
(+ OP_BNE r0 r1 branch)
|
||
(if (ne r0 r1)
|
||
(set pc branch)
|
||
)
|
||
()
|
||
)
|
||
|
||
(dni call "call" ()
|
||
"call $r0"
|
||
(+ OP_CALL r0 (f-r1 0) (f-r2 0) (f-resv0 0))
|
||
(sequence ()
|
||
(set (reg h-gr 29) (add pc 4))
|
||
(set pc r0)
|
||
)
|
||
()
|
||
)
|
||
|
||
(dni calli "call immediate" ()
|
||
"calli $call"
|
||
(+ OP_CALLI call)
|
||
(sequence ()
|
||
(set (reg h-gr 29) (add pc 4))
|
||
(set pc (ext SI call))
|
||
)
|
||
()
|
||
)
|
||
|
||
(dni cmpe "compare equal" ()
|
||
"cmpe $r2,$r0,$r1"
|
||
(+ OP_CMPE r0 r1 r2 (f-resv0 0))
|
||
(set r2 (eq SI r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni cmpei "compare equal immediate" ()
|
||
"cmpei $r1,$r0,$imm"
|
||
(+ OP_CMPEI r0 r1 imm)
|
||
(set r1 (eq SI r0 (ext SI (trunc HI imm))))
|
||
()
|
||
)
|
||
|
||
(dni cmpg "compare greater than" ()
|
||
"cmpg $r2,$r0,$r1"
|
||
(+ OP_CMPG r0 r1 r2 (f-resv0 0))
|
||
(set r2 (gt SI r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni cmpgi "compare greater than immediate" ()
|
||
"cmpgi $r1,$r0,$imm"
|
||
(+ OP_CMPGI r0 r1 imm)
|
||
(set r1 (gt SI r0 (ext SI (trunc HI imm))))
|
||
()
|
||
)
|
||
|
||
(dni cmpge "compare greater or equal" ()
|
||
"cmpge $r2,$r0,$r1"
|
||
(+ OP_CMPGE r0 r1 r2 (f-resv0 0))
|
||
(set r2 (ge SI r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni cmpgei "compare greater or equal immediate" ()
|
||
"cmpgei $r1,$r0,$imm"
|
||
(+ OP_CMPGEI r0 r1 imm)
|
||
(set r1 (ge SI r0 (ext SI (trunc HI imm))))
|
||
()
|
||
)
|
||
|
||
(dni cmpgeu "compare greater or equal unsigned" ()
|
||
"cmpgeu $r2,$r0,$r1"
|
||
(+ OP_CMPGEU r0 r1 r2 (f-resv0 0))
|
||
(set r2 (geu SI r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni cmpgeui "compare greater or equal unsigned immediate" ()
|
||
"cmpgeui $r1,$r0,$uimm"
|
||
(+ OP_CMPGEUI r0 r1 uimm)
|
||
(set r1 (geu SI r0 (zext SI uimm)))
|
||
()
|
||
)
|
||
|
||
(dni cmpgu "compare greater than unsigned" ()
|
||
"cmpgu $r2,$r0,$r1"
|
||
(+ OP_CMPGU r0 r1 r2 (f-resv0 0))
|
||
(set r2 (gtu SI r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni cmpgui "compare greater than unsigned immediate" ()
|
||
"cmpgui $r1,$r0,$uimm"
|
||
(+ OP_CMPGUI r0 r1 uimm)
|
||
(set r1 (gtu SI r0 (zext SI uimm)))
|
||
()
|
||
)
|
||
|
||
(dni cmpne "compare not equal" ()
|
||
"cmpne $r2,$r0,$r1"
|
||
(+ OP_CMPNE r0 r1 r2 (f-resv0 0))
|
||
(set r2 (ne SI r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni cmpnei "compare not equal immediate" ()
|
||
"cmpnei $r1,$r0,$imm"
|
||
(+ OP_CMPNEI r0 r1 imm)
|
||
(set r1 (ne SI r0 (ext SI (trunc HI imm))))
|
||
()
|
||
)
|
||
|
||
(dni divu "unsigned divide" ()
|
||
"divu $r2,$r0,$r1"
|
||
(+ OP_DIVU r0 r1 r2 (f-resv0 0))
|
||
(set pc (c-call USI "@cpu@_divu_insn" pc f-r0 f-r1 f-r2))
|
||
()
|
||
)
|
||
|
||
(dni lb "load byte" ()
|
||
"lb $r1,($r0+$imm)"
|
||
(+ OP_LB r0 r1 imm)
|
||
(set r1 (ext SI (mem QI (add r0 (ext SI (trunc HI imm))))))
|
||
()
|
||
)
|
||
|
||
(dni lbu "load byte unsigned" ()
|
||
"lbu $r1,($r0+$imm)"
|
||
(+ OP_LBU r0 r1 imm)
|
||
(set r1 (zext SI (mem QI (add r0 (ext SI (trunc HI imm))))))
|
||
()
|
||
)
|
||
|
||
(dni lh "load halfword" ()
|
||
"lh $r1,($r0+$imm)"
|
||
(+ OP_LH r0 r1 imm)
|
||
(set r1 (ext SI (mem HI (add r0 (ext SI (trunc HI imm))))))
|
||
()
|
||
)
|
||
|
||
(dni lhu "load halfword unsigned" ()
|
||
"lhu $r1,($r0+$imm)"
|
||
(+ OP_LHU r0 r1 imm)
|
||
(set r1 (zext SI (mem HI (add r0 (ext SI (trunc HI imm))))))
|
||
()
|
||
)
|
||
|
||
(dni lw "load word" ()
|
||
"lw $r1,($r0+$imm)"
|
||
(+ OP_LW r0 r1 imm)
|
||
(set r1 (mem SI (add r0 (ext SI (trunc HI imm)))))
|
||
()
|
||
)
|
||
|
||
(dni modu "unsigned modulus" ()
|
||
"modu $r2,$r0,$r1"
|
||
(+ OP_MODU r0 r1 r2 (f-resv0 0))
|
||
(set pc (c-call USI "@cpu@_modu_insn" pc f-r0 f-r1 f-r2))
|
||
()
|
||
)
|
||
|
||
(dni mul "mulitply" ()
|
||
"mul $r2,$r0,$r1"
|
||
(+ OP_MUL r0 r1 r2 (f-resv0 0))
|
||
(set r2 (mul r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni muli "multiply immediate" ()
|
||
"muli $r1,$r0,$imm"
|
||
(+ OP_MULI r0 r1 imm)
|
||
(set r1 (mul r0 (ext SI (trunc HI imm))))
|
||
()
|
||
)
|
||
|
||
(dni nor "nor" ()
|
||
"nor $r2,$r0,$r1"
|
||
(+ OP_NOR r0 r1 r2 (f-resv0 0))
|
||
(set r2 (inv (or r0 r1)))
|
||
()
|
||
)
|
||
|
||
(dni nori "nor immediate" ()
|
||
"nori $r1,$r0,$uimm"
|
||
(+ OP_NORI r0 r1 uimm)
|
||
(set r1 (inv (or r0 (zext SI uimm))))
|
||
()
|
||
)
|
||
|
||
(dni or "or" ()
|
||
"or $r2,$r0,$r1"
|
||
(+ OP_OR r0 r1 r2 (f-resv0 0))
|
||
(set r2 (or r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni ori "or immediate" ()
|
||
"ori $r1,$r0,$lo16"
|
||
(+ OP_ORI r0 r1 lo16)
|
||
(set r1 (or r0 (zext SI lo16)))
|
||
()
|
||
)
|
||
|
||
(dni orhii "or high immediate" ()
|
||
"orhi $r1,$r0,$hi16"
|
||
(+ OP_ORHI r0 r1 hi16)
|
||
(set r1 (or r0 (sll SI hi16 16)))
|
||
()
|
||
)
|
||
|
||
(dni rcsr "read control or status register" ()
|
||
"rcsr $r2,$csr"
|
||
(+ OP_RCSR csr (f-r1 0) r2 (f-resv0 0))
|
||
(set r2 csr)
|
||
()
|
||
)
|
||
|
||
(dni sb "store byte" ()
|
||
"sb ($r0+$imm),$r1"
|
||
(+ OP_SB r0 r1 imm)
|
||
(set (mem QI (add r0 (ext SI (trunc HI imm)))) r1)
|
||
()
|
||
)
|
||
|
||
(dni sextb "sign extend byte" ()
|
||
"sextb $r2,$r0"
|
||
(+ OP_SEXTB r0 (f-r1 0) r2 (f-resv0 0))
|
||
(set r2 (ext SI (trunc QI r0)))
|
||
()
|
||
)
|
||
|
||
(dni sexth "sign extend half-word" ()
|
||
"sexth $r2,$r0"
|
||
(+ OP_SEXTH r0 (f-r1 0) r2 (f-resv0 0))
|
||
(set r2 (ext SI (trunc HI r0)))
|
||
()
|
||
)
|
||
|
||
(dni sh "store halfword" ()
|
||
"sh ($r0+$imm),$r1"
|
||
(+ OP_SH r0 r1 imm)
|
||
(set (mem HI (add r0 (ext SI (trunc HI imm)))) r1)
|
||
()
|
||
)
|
||
|
||
(dni sl "shift left" ()
|
||
"sl $r2,$r0,$r1"
|
||
(+ OP_SL r0 r1 r2 (f-resv0 0))
|
||
(set r2 (sll SI r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni sli "shift left immediate" ()
|
||
"sli $r1,$r0,$imm"
|
||
(+ OP_SLI r0 r1 imm)
|
||
(set r1 (sll SI r0 imm))
|
||
()
|
||
)
|
||
|
||
(dni sr "shift right" ()
|
||
"sr $r2,$r0,$r1"
|
||
(+ OP_SR r0 r1 r2 (f-resv0 0))
|
||
(set r2 (sra SI r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni sri "shift right immediate" ()
|
||
"sri $r1,$r0,$imm"
|
||
(+ OP_SRI r0 r1 imm)
|
||
(set r1 (sra SI r0 imm))
|
||
()
|
||
)
|
||
|
||
(dni sru "shift right unsigned" ()
|
||
"sru $r2,$r0,$r1"
|
||
(+ OP_SRU r0 r1 r2 (f-resv0 0))
|
||
(set r2 (srl SI r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni srui "shift right unsigned immediate" ()
|
||
"srui $r1,$r0,$imm"
|
||
(+ OP_SRUI r0 r1 imm)
|
||
(set r1 (srl SI r0 imm))
|
||
()
|
||
)
|
||
|
||
(dni sub "subtract" ()
|
||
"sub $r2,$r0,$r1"
|
||
(+ OP_SUB r0 r1 r2 (f-resv0 0))
|
||
(set r2 (sub r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni sw "store word" ()
|
||
"sw ($r0+$imm),$r1"
|
||
(+ OP_SW r0 r1 imm)
|
||
(set (mem SI (add r0 (ext SI (trunc HI imm)))) r1)
|
||
()
|
||
)
|
||
|
||
(dni user "user defined instruction" ()
|
||
"user $r2,$r0,$r1,$user"
|
||
(+ OP_USER r0 r1 r2 user)
|
||
(set r2 (c-call SI "@cpu@_user_insn" r0 r1 user))
|
||
()
|
||
)
|
||
|
||
(dni wcsr "write control or status register" ()
|
||
"wcsr $csr,$r1"
|
||
(+ OP_WCSR csr r1 (f-r2 0) (f-resv0 0))
|
||
(c-call VOID "@cpu@_wcsr_insn" f-csr r1)
|
||
()
|
||
)
|
||
|
||
(dni xor "xor" ()
|
||
"xor $r2,$r0,$r1"
|
||
(+ OP_XOR r0 r1 r2 (f-resv0 0))
|
||
(set r2 (xor r0 r1))
|
||
()
|
||
)
|
||
|
||
(dni xori "xor immediate" ()
|
||
"xori $r1,$r0,$uimm"
|
||
(+ OP_XORI r0 r1 uimm)
|
||
(set r1 (xor r0 (zext SI uimm)))
|
||
()
|
||
)
|
||
|
||
(dni xnor "xnor" ()
|
||
"xnor $r2,$r0,$r1"
|
||
(+ OP_XNOR r0 r1 r2 (f-resv0 0))
|
||
(set r2 (inv (xor r0 r1)))
|
||
()
|
||
)
|
||
|
||
(dni xnori "xnor immediate" ()
|
||
"xnori $r1,$r0,$uimm"
|
||
(+ OP_XNORI r0 r1 uimm)
|
||
(set r1 (inv (xor r0 (zext SI uimm))))
|
||
()
|
||
)
|
||
|
||
; Pseudo instructions
|
||
|
||
(dni break "breakpoint" ()
|
||
"break"
|
||
(+ OP_RAISE (f-exception 2))
|
||
(set pc (c-call USI "@cpu@_break_insn" pc))
|
||
()
|
||
)
|
||
|
||
(dni scall "system call" ()
|
||
"scall"
|
||
(+ OP_RAISE (f-exception 7))
|
||
(set pc (c-call USI "@cpu@_scall_insn" pc))
|
||
()
|
||
)
|
||
|
||
(dni bret "return from breakpoint" (ALIAS)
|
||
"bret"
|
||
(+ OP_B (f-r0 31) (f-r1 0) (f-r2 0) (f-resv0 0))
|
||
(set pc (c-call USI "@cpu@_bret_insn" r0))
|
||
()
|
||
)
|
||
|
||
(dni eret "return from exception" (ALIAS)
|
||
"eret"
|
||
(+ OP_B (f-r0 30) (f-r1 0) (f-r2 0) (f-resv0 0))
|
||
(set pc (c-call USI "@cpu@_eret_insn" r0))
|
||
()
|
||
)
|
||
|
||
(dni ret "return" (ALIAS)
|
||
"ret"
|
||
(+ OP_B (f-r0 29) (f-r1 0) (f-r2 0) (f-resv0 0))
|
||
(set pc r0)
|
||
()
|
||
)
|
||
|
||
(dni mv "move" (ALIAS)
|
||
"mv $r2,$r0"
|
||
(+ OP_OR r0 (f-r1 0) r2 (f-resv0 0))
|
||
(set r2 r0)
|
||
()
|
||
)
|
||
|
||
(dni mvi "move immediate" (ALIAS)
|
||
"mvi $r1,$imm"
|
||
(+ OP_ADDI (f-r0 0) r1 imm)
|
||
(set r1 (add r0 (ext SI (trunc HI imm))))
|
||
()
|
||
)
|
||
|
||
(dni mvui "move unsigned immediate" (ALIAS)
|
||
"mvu $r1,$lo16"
|
||
(+ OP_ORI (f-r0 0) r1 lo16)
|
||
(set r1 (zext SI lo16))
|
||
()
|
||
)
|
||
|
||
(dni mvhi "move high immediate" (ALIAS)
|
||
"mvhi $r1,$hi16"
|
||
(+ OP_ORHI (f-r0 0) r1 hi16)
|
||
(set r1 (or r0 (sll SI hi16 16)))
|
||
()
|
||
)
|
||
|
||
(dni mva "move address" (ALIAS)
|
||
"mva $r1,$gp16"
|
||
(+ OP_ADDI (f-r0 26) r1 gp16)
|
||
(set r1 (add r0 (ext SI (trunc HI gp16))))
|
||
()
|
||
)
|
||
|
||
(dni not "not" (ALIAS)
|
||
"not $r2,$r0"
|
||
(+ OP_XNOR r0 (f-r1 0) r2 (f-resv0 0))
|
||
(set r2 (inv r0))
|
||
()
|
||
)
|
||
|
||
(dni nop "nop" (ALIAS)
|
||
"nop"
|
||
(+ OP_ADDI (f-r0 0) (f-r1 0) (f-imm 0))
|
||
(set r0 r0)
|
||
()
|
||
)
|
||
|
||
(dni lbgprel "load byte gp relative" (ALIAS)
|
||
"lb $r1,$gp16"
|
||
(+ OP_LB (f-r0 26) r1 gp16)
|
||
(set r1 (ext SI (mem QI (add r0 (ext SI (trunc HI gp16))))))
|
||
()
|
||
)
|
||
|
||
(dni lbugprel "load byte unsigned gp relative" (ALIAS)
|
||
"lbu $r1,$gp16"
|
||
(+ OP_LBU (f-r0 26) r1 gp16)
|
||
(set r1 (zext SI (mem QI (add r0 (ext SI (trunc HI gp16))))))
|
||
()
|
||
)
|
||
|
||
(dni lhgprel "load halfword gp relative" (ALIAS)
|
||
"lh $r1,$gp16"
|
||
(+ OP_LH (f-r0 26) r1 gp16)
|
||
(set r1 (ext SI (mem HI (add r0 (ext SI (trunc HI gp16))))))
|
||
()
|
||
)
|
||
|
||
(dni lhugprel "load halfword unsigned gp relative" (ALIAS)
|
||
"lhu $r1,$gp16"
|
||
(+ OP_LHU (f-r0 26) r1 gp16)
|
||
(set r1 (zext SI (mem HI (add r0 (ext SI (trunc HI gp16))))))
|
||
()
|
||
)
|
||
|
||
(dni lwgprel "load word gp relative" (ALIAS)
|
||
"lw $r1,$gp16"
|
||
(+ OP_LW (f-r0 26) r1 gp16)
|
||
(set r1 (mem SI (add r0 (ext SI (trunc HI gp16)))))
|
||
()
|
||
)
|
||
|
||
(dni sbgprel "store byte gp relative" (ALIAS)
|
||
"sb $gp16,$r1"
|
||
(+ OP_SB (f-r0 26) r1 gp16)
|
||
(set (mem QI (add r0 (ext SI (trunc HI gp16)))) r1)
|
||
()
|
||
)
|
||
|
||
(dni shgprel "store halfword gp relative" (ALIAS)
|
||
"sh $gp16,$r1"
|
||
(+ OP_SH (f-r0 26) r1 gp16)
|
||
(set (mem HI (add r0 (ext SI (trunc HI gp16)))) r1)
|
||
()
|
||
)
|
||
|
||
(dni swgprel "store word gp relative" (ALIAS)
|
||
"sw $gp16,$r1"
|
||
(+ OP_SW (f-r0 26) r1 gp16)
|
||
(set (mem SI (add r0 (ext SI (trunc HI gp16)))) r1)
|
||
()
|
||
)
|
||
|
||
(dni lwgotrel "load word got relative" (ALIAS)
|
||
"lw $r1,(gp+$got16)"
|
||
(+ OP_LW (f-r0 26) r1 got16)
|
||
(set r1 (mem SI (add r0 (ext SI (trunc HI got16)))))
|
||
()
|
||
)
|
||
|
||
(dni orhigotoffi "or high got offset immediate" (ALIAS)
|
||
"orhi $r1,$r0,$gotoffhi16"
|
||
(+ OP_ORHI r0 r1 gotoffhi16)
|
||
(set r1 (or r0 (sll SI gotoffhi16 16)))
|
||
()
|
||
)
|
||
|
||
(dni addgotoff "add got offset" (ALIAS)
|
||
"addi $r1,$r0,$gotofflo16"
|
||
(+ OP_ADDI r0 r1 gotofflo16)
|
||
(set r1 (add r0 (ext SI (trunc HI gotofflo16))))
|
||
()
|
||
)
|
||
|
||
(dni swgotoff "store word got offset" (ALIAS)
|
||
"sw ($r0+$gotofflo16),$r1"
|
||
(+ OP_SW r0 r1 gotofflo16)
|
||
(set (mem SI (add r0 (ext SI (trunc HI gotofflo16)))) r1)
|
||
()
|
||
)
|
||
|
||
(dni lwgotoff "load word got offset" (ALIAS)
|
||
"lw $r1,($r0+$gotofflo16)"
|
||
(+ OP_LW r0 r1 gotofflo16)
|
||
(set r1 (mem SI (add r0 (ext SI (trunc HI gotofflo16)))))
|
||
()
|
||
)
|
||
|
||
(dni shgotoff "store half word got offset" (ALIAS)
|
||
"sh ($r0+$gotofflo16),$r1"
|
||
(+ OP_SH r0 r1 gotofflo16)
|
||
(set (mem HI (add r0 (ext SI (trunc HI gotofflo16)))) r1)
|
||
()
|
||
)
|
||
|
||
(dni lhgotoff "load half word got offset" (ALIAS)
|
||
"lh $r1,($r0+$gotofflo16)"
|
||
(+ OP_LH r0 r1 gotofflo16)
|
||
(set r1 (ext SI (mem HI (add r0 (ext SI (trunc HI gotofflo16))))))
|
||
()
|
||
)
|
||
|
||
(dni lhugotoff "load half word got offset unsigned" (ALIAS)
|
||
"lhu $r1,($r0+$gotofflo16)"
|
||
(+ OP_LHU r0 r1 gotofflo16)
|
||
(set r1 (zext SI (mem HI (add r0 (ext SI (trunc HI gotofflo16))))))
|
||
()
|
||
)
|
||
|
||
(dni sbgotoff "store byte got offset" (ALIAS)
|
||
"sb ($r0+$gotofflo16),$r1"
|
||
(+ OP_SB r0 r1 gotofflo16)
|
||
(set (mem QI (add r0 (ext SI (trunc HI gotofflo16)))) r1)
|
||
()
|
||
)
|
||
|
||
(dni lbgotoff "load byte got offset" (ALIAS)
|
||
"lb $r1,($r0+$gotofflo16)"
|
||
(+ OP_LB r0 r1 gotofflo16)
|
||
(set r1 (ext SI (mem QI (add r0 (ext SI (trunc HI gotofflo16))))))
|
||
()
|
||
)
|
||
|
||
(dni lbugotoff "load byte got offset unsigned" (ALIAS)
|
||
"lbu $r1,($r0+$gotofflo16)"
|
||
(+ OP_LBU r0 r1 gotofflo16)
|
||
(set r1 (zext SI (mem QI (add r0 (ext SI (trunc HI gotofflo16))))))
|
||
()
|
||
)
|