| ; 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 (sub (xor (sll (and value #xffff) 2) | 
 | 					 #x20000) | 
 | 				    #x20000))) | 
 | ) | 
 | (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 (sub (xor (sll (and value #x3ffffff) 2) | 
 | 					 #x8000000) | 
 | 				    #x8000000))) | 
 | ) | 
 |  | 
 |  | 
 | ; 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)))))) | 
 |         () | 
 | ) |