This is the mail archive of the
cgen@sources.redhat.com
mailing list for the CGEN project.
powerpc cpu description
- To: <cgen at sources dot redhat dot com>
- Subject: powerpc cpu description
- From: Johan Rydberg <johan at rydberg dot com>
- Date: Thu, 25 Oct 2001 21:25:48 +0200 (MEST)
Hi!
Since I'm currently unemployed (that's a hint for you RedHat ppl :)) I
have written a draft for a PowerPC cpu description. Comments are more
than welcome!
brgds
johan
--
Johan Rydberg
$ ON F$ERROR("LANGUAGE","ENGLISH","IN_MESSAGE").GT.F$ERROR("NORMAL") -
THEN EXCUSE/OBJECT=ME
; CPU description for PowerPC family. -*- Scheme -*-
; Copyright 2001 Free Software Foundation, Inc.
; Contributed by Johan Rydberg, jrydberg@opencores.org
;
; 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 2 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
; Notes:
; Remaining todo is to implement floating point insns.
; Remaining todo is to implement string integer insns.
; Remaining todo is to add timing/unit information.
; Remaining todo is to add insn-level attrs for insns. (partly done)
; Remaining todo is to add arch-level attrs for insns. (partly done)
; Remaining todo is to verify insns.
; Remaining todo is to clean up this file.
(include "simplify.inc")
(define-arch
(name powerpc)
(comment "PowerPC family")
(insn-lsb0? #f)
(machs ppc603)
(isas ppcisa)
)
(define-isa
(name ppcisa)
(base-insn-bitsize 32)
(decode-assist (0 1 2 3 4 5))
)
(define-cpu
(name ppc603)
(comment "PowerPC 603")
(endian big)
(word-bitsize 32)
)
(define-mach
(name ppc603)
(comment "PowerPC 603")
(cpu ppc603)
(bfd-name "powerpc:603")
)
; ??? Incomplete. Pipeline and unit info wrong.
(define-model
(name ppc603e)
(comment "PowerPC 603e")
(attrs)
(mach ppc603)
;(pipeline all "" () ((fetch) (decode) (execute) (writeback)))
(unit u-exec "Execution Unit" () 1 1 () () () ())
(unit u-iu "Integer unit" () 1 1 () () () ())
(unit u-sru "System Register Unit" () 1 1 () () () ())
(unit u-fpu "Floating Point Unit" () 1 1 () () () ())
(unit u-lsu "Load/Store Unit" () 1 1 () () () ())
(unit u-bpu "Branch Unit" () 1 1 () () () ())
)
; Attributes.
; An attribute to describe which architecture level an insn belongs to.
(define-attr
(for insn)
(type enum)
(name ARCH-LEVEL)
(comment "insn arch selection")
(values UISA OEA VEA)
)
; An attribute to describe if a insn is supervisor-level only.
(define-attr
(for insn)
(type enum)
(name INSN-LEVEL)
(comment "insn level selection")
(values USER SUPERVISOR)
)
; Instruction fields.
; Attributes:
; PCREL-ADDR: pc relative value (for reloc and disassembly purposes)
; ABS-ADDR: absolute address (for reloc and disassembly purposes?)
; RESERVED: bits are not used to decode insn, must be all 0
; All of the fields for a I-FORM format instruction.
(dnf f-opcd "primary opcode field" () 0 6)
(dnf f-aa "aa bit" () 30 1)
(dnf f-lk "lk bit" () 31 1)
; ??? encode/decode RTL for absolute-address?
(df f-li "li" (ABS-ADDR) 6 24 INT #f #f)
; Extra fields needed for a B-FORM format instruction.
(dnf f-bo "bo" () 6 5)
(dnf f-bi "bi" () 11 5)
(df f-bd "bd" (ABS-ADDR) 16 14 INT #f #f)
; Extra fields needed for a D-FORM format instruction.
(df f-simm "16-bit signed imm" () 16 16 INT #f #f)
(dnf f-uimm "16-bit unsigned imm" () 16 16)
(df f-d "16-bit signed disp" () 16 16 INT #f #f)
(dnf f-l "l" () 10 1)
(dnf f-rd "gpr destination" () 6 5)
(dnf f-ra "gpr source/destination" () 11 5)
(dnf f-rs "gpr source" () 6 5)
(dnf f-crfd "crfd" () 6 3)
(dnf f-to "to" () 6 5)
; Extra fields needed for a X-FORM instruction.
(dnf f-xo "extended opcode field" () 22 9)
(dnf f-rb "gpr source" () 16 5)
(dnf f-oe "oe bit" () 21 1)
(dnf f-rc "rc bit" () 31 1)
(dnf f-mb "mask begin" () 21 5)
(dnf f-me "mask end" () 26 5)
(dnf f-sh "shift value" () 16 5)
(dnf f-crfs "crfs" () 6 3)
(dnf f-sr "sr" () 12 4)
; FIXME Srm IMM, NB
; Extra fields needed for a XL-FORM instruction.
(dnf f-crba "cond bit a" () 11 5)
(dnf f-crbb "cond bit b" () 16 5)
(dnf f-crbd "cond bit d" () 6 5)
; FIXME XFX-FORM, A-FORM, XFL-FORM
(dnf f-spr "spr" () 11 10)
(dnf f-tbr "tbr" () 11 10)
; Rest;
(dnf f-bit9 "FIXME" () 9 1)
(dnf f-res/9-1 "reserved" (RESERVED) 9 1)
(dnf f-res/9-2 "reserved" (RESERVED) 9 2)
(dnf f-res/14-2 "reserved" (RESERVED) 14 2)
(dnf f-res/11-1 "reserved" (RESERVED) 11 1)
; Enums.
; insn-opcode
(define-normal-insn-enum insn-opcd "primary opcode" () OPCD_ f-opcd
(.map .str (.iota 64))
)
(define-normal-insn-enum insn-xof "extended opcode" () XOF_ f-xo
(.map .str (.iota 1024))
)
; Macros that can be used in get/set for hardware pieces.
(define-pmacro (bit-set? reg bit) (and (srl reg bit) #x1))
(define-pmacro (bit-set reg bit) (set reg (or reg (sll (const 1) bit))))
(define-pmacro (bit-clr reg bit) (set reg (and reg (not (sll (const 1) bit)))))
(define-pmacro (emit-exception exc) (set pc (c-call IAI "@cpu@_trap" exc)))
; Hardware pieces
(dnh h-pc "program counter" (PC PROFILE) (pc) () () ())
(define-hardware
(name h-gpr)
(comment "general purpose registers")
(attrs PROFILE)
(type register WI (32))
(indices keyword ""
; Normal register names
((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)
; We also support simple integers
("0" 0) ("1" 1) ("2" 2) ("3" 3) ("4" 4) ("5" 5) ("6" 6) ("7" 7)
("8" 8) ("9" 9) ("10" 10) ("11" 11) ("12" 12) ("13" 13) ("14" 14) ("15" 15)
("16" 16) ("17" 17) ("18" 18) ("19" 19) ("20" 20) ("21" 21) ("22" 22) ("23" 23)
("24" 24) ("25" 25) ("26" 26) ("27" 27) ("28" 28) ("29" 29) ("30" 30) ("31" 31)))
(get (index)
(cond WI
((eq index (const 0)) (const 0))
(else (raw-reg h-gpr index))))
)
(define-hardware
(name h-spr)
(comment "special purpose registers")
(attrs PROFILE)
(type register WI (1024))
; ??? should we really check if we're in supervisor mode here,
; and if we should; is this the correct way?
(get (index)
(cond WI
; Registers above 10 can only be accessed in
; supervisor mode (i.e., msr have bit 17 set)
((gt index (const 10))
(cond WI
((bit-set? (reg h-msr) 17) (emit-exception #x7))
(else (raw-reg h-spr index))))
; All other registers are accessable from user mode
(else (raw-reg h-spr index))))
; ??? NYI setter
)
(define-hardware
(name h-tbr)
(comment "time base registers")
(attrs PROFILE)
(type register WI (2)) ; ???
; ??? should we really check if we're in supervisor mode here,
; and if we should; is this the correct way?
(get (index)
(cond WI
((eq index (const 268)) (raw-reg h-spr 284))
((eq index (const 269)) (raw-reg h-spr 285))
(else (const 0)))) ; ??? undefined result
; ??? NYI setter
)
(define-hardware
(name h-sr)
(comment "segment registers")
(attrs PROFILE)
(type register WI (16))
)
(define-hardware
(name h-fpr)
(comment "floating point registers")
(attrs PROFILE)
(type register DF (32))
; (get (index) (cond WI
; ((eq index (const 0)) (const 0))
; (else (raw-reg h-gpr index))))
)
(define-hardware
(name h-cr)
(comment "condition register")
(attrs PROFILE)
(type register WI)
)
(define-hardware
(name h-cr/s)
(comment "condition register split into 4 parts")
(attrs PROFILE)
(type register QI (8))
(indices keyword ""
((cr0 0) (cr1 1) (cr2 2) (cr3 3) (cr4 4) (cr5 5) (cr6 6) (cr7 7)
("0" 0) ("1" 1) ("2" 2) ("3" 3) ("4" 4) ("5" 5) ("6" 6) ("7" 7)))
; ??? check if this work.
(get (index)
(and (srl (reg h-cr) (mul index (const 4))) #xf))
(set (index value)
(set (reg h-cr)
(or (and (reg h-cr) (sll #xf (mul index (const 4))))
(sll value (mul index (const 4))))))
)
(define-hardware
(name h-rc)
(comment "record bit")
(type immediate (UINT 1))
(values keyword "" (("" 0) ("." 1)))
)
(define-hardware
(name h-oe)
(comment "overflow bit")
(type immediate (UINT 1))
(values keyword "" (("" 0) ("o" 1)))
)
(define-hardware
(name h-aa)
(comment "absolute address bit")
(type immediate (UINT 1))
(values keyword "" (("" 0) ("a" 1)))
)
(define-hardware
(name h-lk)
(comment "link bit")
(type immediate (UINT 1))
(values keyword "" (("" 0) ("l" 1)))
)
; ??? These are actually a part of the XER register.
(dsh h-xer-so "xer/so bit" () (register BI))
(dsh h-xer-ov "xer/ov bit" () (register BI))
(dsh h-xer-ca "xer/ca bit" () (register BI))
; ??? These are actually a part of the CR0 register.
(dsh h-cr0-lt "cr0 lt bit" () (register BI))
(dsh h-cr0-gt "cr0 gt bit" () (register BI))
(dsh h-cr0-eq "cr0 eq bit" () (register BI))
(dsh h-cr0-so "cr0 so bit" () (register BI))
; ??? These are actually special purpose registers.
(dsh h-lr "lr reg" () (register WI))
(dsh h-ctr "ctr reg" () (register WI))
(dsh h-msr "msr reg" () (register WI))
; Instruction Operands.
; These entries provide a layer between the assembler and the raw hardware
; description, and are used to refer to hardware elements in the semantic
; code. Usually there's a bit of over-specification, but in more complicated
; instruction sets there isn't.
; Operand fields for a I-FORM format instruction.
(dnop lk "lk bit" () h-lk f-lk)
(dnop aa "aa bit" () h-aa f-aa)
(dnop li "li" () h-iaddr f-li)
; Operand fields for a B-FORM format instruction.
(dnop bo "???" () h-uint f-bo)
(dnop bi "???" () h-uint f-bi)
(dnop bd "bd" () h-iaddr f-bd)
; Operand fields for a D-FORM format instruction.
(dnop ra "source register" () h-gpr f-ra)
(dnop rd "destination register" () h-gpr f-rd)
(dnop rs "destination register" () h-gpr f-rs)
(dnop simm "16 bit signed imm" () h-sint f-simm)
(dnop uimm "16 bit unsigned imm" () h-uint f-uimm)
(dnop crfd "cond reg dst" () h-cr/s f-crfd)
(dnop d "16-bit signed disp" () h-sint f-d)
(dnop l "???" () h-uint f-l)
(dnop to "to" () h-uint f-to)
; Operand fields for a X-FORM format instruction.
(dnop rb "source register" () h-gpr f-rb)
(dnop rc "rc bit" () h-rc f-rc) ; XXX
(dnop oe "oe bit" () h-oe f-oe) ; XXX
(dnop mb "mask begin" () h-uint f-mb)
(dnop me "mask end" () h-uint f-me)
(dnop sh "shift value" () h-uint f-sh)
(dnop crfs "cond reg src" () h-cr/s f-crfs)
(dnop sr "segment reg" () h-sr f-sr)
; Operand fields for a XL-FORM format instruction.
(dnop crba "crba" () h-uint f-crba)
(dnop crbb "crbb" () h-uint f-crbb)
(dnop crbd "crbd" () h-uint f-crbd)
; Other operand fields.
(dnop spr "spr" () h-spr f-spr)
(dnop tbr "tbr" () h-tbr f-tbr)
(dnop xer-so "xer/so bit" () h-xer-so f-nil)
(dnop xer-ov "xer/ov bit" () h-xer-ov f-nil)
(dnop xer-ca "xer/ca bit" () h-xer-ca f-nil)
(dnop cr0-lt "cr0 lt bit" () h-cr0-lt f-nil)
(dnop cr0-gt "cr0 gt bit" () h-cr0-gt f-nil)
(dnop cr0-eq "cr0 eq bit" () h-cr0-eq f-nil)
(dnop cr0-so "cr0 so bit" () h-cr0-so f-nil)
(dnop lr "lr" () h-lr f-nil)
(dnop ctr "ctr" () h-ctr f-nil)
; Misc macros.
; Macro for setting overflow bits in xer register.
(define-pmacro (set-ov-bits value)
(sequence ()
(if VOID (eq alu-ov (const 1))
(if VOID (eq xer-so (const 0))
(set-quiet xer-so alu-ov)))
(set-quiet xer-ov alu-ov))
)
; Macro for setting carry bit in xer register.
(define-pmacro (set-ca-bits value) (set-quiet xer-ca value))
; Macro for setting condition bits in cr0 register.
(define-pmacro (set-cond-bits result)
(sequence ()
(set-quiet cr0-lt (lt (ext SI result) (const 0)))
(set-quiet cr0-eq (eq (ext SI result) (const 0)))
(set-quiet cr0-gt (gt (ext SI result) (const 0)))
(set-quiet cr0-so xer-so))
)
(define-pmacro (align-check ea align)
(if (ne (const 0) (and ea (sub align 1)))
(emit-exception #x1)))
; Instruction definitions.
(define-pmacro (alu-op3 name opcd xof sem-op)
(dni name (.str name) ()
(.str name "$oe$rc $rd,$ra,$rb")
(+ opcd xof rd ra rb oe rc)
(sequence ((BI alu-ov) (BI alu-ca))
(sem-op rd ra rb)
(if oe (set-ov-bits alu-ov))
(if rc (set-cond-bits rd)))
()
)
)
(define-pmacro (alu-op2 name opcd xof sem-op)
(dni name (.str name) ()
(.str name "$oe$rc $rd,$ra")
(+ opcd xof rd ra (f-rb 0) oe rc)
(sequence ((BI alu-ov) (BI alu-ca))
(sem-op rd ra)
(if oe (set-ov-bits alu-ov))
(if rc (set-cond-bits rd)))
()
)
)
(define-pmacro (alu-opimm name opcd sem-op)
(dni (.sym name) (.str name) ()
(.str name " $rd,$ra,$simm")
(+ opcd rd ra simm)
(sequence ((BI alu-ov) (BI alu-ca))
(sem-op rd ra simm))
()
)
)
(define-pmacro (mult/reg-op name opcd xof sem-op)
(dni name (.str name) ()
(.str name "$rc $rd,$ra,$rb")
(+ opcd xof rd ra rb (f-oe 0) rc)
(sequence ()
(sem-op rd ra rb)
(if rc (set-cond-bits rd)))
()
)
)
(define-pmacro (mult/imm-op name opcd sem-op)
(dni name (.str name) ()
(.str name " $rd,$ra,$simm")
(+ opcd rd ra simm)
(sequence ()
(sem-op rd ra simm)
(if rc (set-cond-bits rd)))
()
)
)
(define-pmacro (alu-add dst src1 src2 src3)
(sequence WI ()
(set alu-ov (add-oflag src1 src2 src3))
(set alu-ca (add-cflag src1 src2 src3))
(set dst (addc src1 src2 src3)))
)
(define-pmacro (alu-sub dst src1 src2 src3)
(sequence WI ()
(set alu-ca (sub-cflag src1 src2 src3))
(set dst (subc src1 src2 src3)))
)
(define-pmacro (mulhw-expr dst expr1 expr2)
(sequence ((DI res))
(set res (mul (ext DI expr1) (ext DI expr2)))
(set dst (trunc SI (srl res (const 32)))))
)
(define-pmacro (mulhwu-expr dst expr1 expr2)
(sequence ((DI res))
(set res (mul (zext DI expr1) (zext DI expr2)))
(set dst (trunc SI (srl res (const 32)))))
)
(define-pmacro (mull-expr dst expr1 expr2)
(sequence ()
(set dst (mul expr1 expr2)))
)
(define-pmacro (add-expr dst src1 src2) (alu-add dst src1 src2 (const 0)))
(define-pmacro (addc-expr dst src1 src2)
(sequence () (alu-add dst src1 src2 (const 0)) (set-ca-bits alu-ca)))
(define-pmacro (adde-expr dst src1 src2)
(sequence () (alu-add dst src1 src2 xer-ca) (set-ca-bits alu-ca)))
(define-pmacro (addme-expr dst src1)
(sequence () (alu-add dst src1 (const -1) xer-ca) (set-ca-bits alu-ca)))
(define-pmacro (addze-expr dst src1)
(sequence () (alu-add dst src1 (const 0) xer-ca) (set-ca-bits alu-ca)))
(define-pmacro (addis-expr dst src imm)
(alu-add dst src (sll imm (const 16)) (const 0)))
(define-pmacro (addi-expr dst src imm) (alu-add dst src imm (const 0)))
(define-pmacro (addic-expr dst src imm)
(sequence () (alu-add dst src imm (const 0)) (set-ca-bits alu-ca)))
(define-pmacro (addicp-expr dst src imm)
(sequence () (alu-add dst src imm (const 0))
(set-ca-bits alu-ca) (set-cond-bits dst)))
(define-pmacro (subf-expr dst src1 src2) (alu-add dst (not src1) src2 (const 0)))
(define-pmacro (subfe-expr dst src1 src2)
(sequence () (alu-add dst (not src1) src2 xer-ca) (set-ca-bits alu-ca)))
(define-pmacro (subfc-expr dst src1 src2)
(sequence () (alu-add dst (not src1) src2 (const 0)) (set-ca-bits alu-ca)))
(define-pmacro (subfic-expr dst src imm)
(sequence () (alu-add dst (not src) (add imm (const 1)) (const 0)) (set-ca-bits alu-ca)))
(define-pmacro (subfme-expr dst src1)
(sequence () (alu-add dst (not src1) (const -1) xer-ca) (set-ca-bits alu-ca)))
(define-pmacro (subfze-expr dst src1)
(sequence () (alu-add dst (not src1) (const 0) xer-ca) (set-ca-bits alu-ca)))
(define-pmacro (neg-expr dst src1) (alu-add dst (not src1) (const 1) (const 0)))
; ??? These two does not handle overflow as they should!
(define-pmacro (divw-expr dst src1 src2) (set dst (div src1 src2)))
(define-pmacro (divwu-expr dst src1 src2) (set dst (udiv src1 src2)))
(alu-op3 add OPCD_31 XOF_266 add-expr)
(alu-op3 addc OPCD_31 XOF_10 addc-expr)
(alu-op3 adde OPCD_31 XOF_138 adde-expr)
(alu-op2 addme OPCD_31 XOF_234 addme-expr)
(alu-op2 addze OPCD_31 XOF_202 addze-expr)
(alu-opimm addic OPCD_12 addic-expr)
(alu-opimm addic. OPCD_13 addicp-expr)
(alu-opimm addi OPCD_14 addi-expr)
(alu-opimm addis OPCD_15 addis-expr)
(alu-op2 neg OPCD_31 XOF_104 neg-expr)
(alu-op3 subf OPCD_31 XOF_40 subf-expr)
(alu-op3 subfc OPCD_31 XOF_8 subfc-expr)
(alu-op3 subfe OPCD_31 XOF_136 subfe-expr)
(alu-op2 subfme OPCD_31 XOF_232 subfme-expr)
(alu-op2 subfze OPCD_31 XOF_200 subfze-expr)
(alu-op3 divw OPCD_31 XOF_491 divw-expr)
(alu-op3 divwu OPCD_31 XOF_459 divwu-expr)
(alu-opimm subfic OPCD_8 subfic-expr)
(mult/reg-op mulhw OPCD_31 XOF_75 mulhw-expr)
(mult/reg-op mulhwu OPCD_31 XOF_11 mulhwu-expr)
(mult/imm-op mulli OPCD_7 mull-expr)
(alu-op3 mullw OPCD_31 XOF_235 mull-expr)
; Simplified mnmemonics for addi:
(dnmi li "li" () "li $rd,$simm"
(emit addi rd (ra 0) simm)) ; addi %rd,0,%simm
(dnmi la "la" () "la $rd,$simm($ra)"
(emit addi rd ra simm))
(dnmi subi "subi" () "subi $rd,$ra,$simm"
(emit addi rd ra simm))
; Compare insns
(define-pmacro (cmp-norm name xof1 xof2 sem-op1 sem-op2)
(begin
(dni (.sym name) (.str name) ()
(.str name " $crfd,$l,$ra,$rb")
(+ OPCD_31 xof1 crfd (f-bit9 0) l ra rb (f-oe 0) (f-rc 0))
(set crfd (sem-op1 ra rb)) ; FIXME xer-so
()
)
(dni (.sym name l) (.str name l) ()
(.str name "l $crfd,$l,$ra,$rb")
(+ OPCD_31 xof2 crfd (f-bit9 0) l ra rb (f-oe 0) (f-rc 0))
(set crfd (sem-op2 ra rb)) ; FIXME xer-so
()
)
)
)
(define-pmacro (cmp-imm name1 name2 opcd1 opcd2 sem-op1 sem-op2)
(begin
(dni (.sym name1 x) (.str name1 x) ()
(.str name1 " $crfd,$l,$ra,$simm")
(+ opcd1 crfd (f-bit9 0) l ra simm)
(set crfd (sem-op1 ra simm)) ; FIXME xer-so
()
)
(dni (.sym name2 x) (.str name2 x) ()
(.str name2 " $crfd,$l,$ra,$uimm")
(+ opcd2 crfd (f-bit9 0) l ra uimm)
(set crfd (sem-op2 ra uimm)) ; FIXME xer-so
()
)
)
)
(define-pmacro (cmp-expr/s a b)
(cond QI
((lt SI a b) (const #x4))
((gt SI a b) (const #x2))
(else (const #x1))))
(define-pmacro (cmp-expr/u a b)
(cond QI
((ltu USI a b) (const #x4))
((gtu USI a b) (const #x2))
(else (const #x1))))
(cmp-imm cmpi cmpli OPCD_11 OPCD_10 cmp-expr/s cmp-expr/u)
(cmp-norm cmp XOF_0 XOF_32 cmp-expr/s cmp-expr/u)
; Logical insns
(define-pmacro (logic-op3 name opcd xof sem-op)
(dni name (.str name x) ()
(.str name "$rc $ra,$rs,$rb")
(+ opcd xof rs ra rb (f-oe 0) rc)
(sequence ((BI alu-ov) (BI alu-ca))
(sem-op ra rs rb)
(if rc (set-cond-bits ra)))
()
)
)
(define-pmacro (ext-op2 name opcd xof sem-op)
(dni name (.str name) ()
(.str name "$rc $ra,$rs")
(+ opcd xof rs ra (f-rb 0) (f-oe 0) rc)
(sequence ((BI alu-ov) (BI alu-ca))
(sem-op ra rs)
(if rc (set-cond-bits ra)))
()
)
)
(define-pmacro (logic-opimm name opcd sem-op)
(dni (.sym name) (.str name) ()
(.str name " $ra,$rs,$uimm")
(+ opcd rs ra uimm)
(sequence ((BI alu-ov) (BI alu-ca))
(sem-op ra rs uimm))
()
)
)
(define-pmacro (and-expr dst src1 src2) (set dst (and src1 src2)))
(define-pmacro (andc-expr dst src1 src2) (set dst (and src1 (not src2))))
(define-pmacro (andi-expr dst src1 src2)
(sequence () (set dst (and src1 src2)) (set-cond-bits dst)))
(define-pmacro (andis-expr dst src1 src2)
(sequence () (set dst (and src1 (sll src2 (const 16)))) (set-cond-bits dst)))
(define-pmacro (or-expr dst src1 src2) (set dst (or src1 src2)))
(define-pmacro (orc-expr dst src1 src2) (set dst (or src1 (not src2))))
(define-pmacro (ori-expr dst src1 src2) (set dst (or src1 src2)))
(define-pmacro (oris-expr dst src1 src2) (set dst (or src1 (sll src2 (const 16)))))
(define-pmacro (nor-expr dst src1 src2) (set dst (not (or src1 src2))))
(define-pmacro (nand-expr dst src1 src2) (set dst (not (and src1 src2))))
(define-pmacro (eqv-expr dst src1 src2) (set dst (not (xor src1 src2))))
(define-pmacro (xor-expr dst src1 src2) (set dst (xor src1 src2)))
(define-pmacro (xori-expr dst src1 src2) (set dst (xor src1 src2)))
(define-pmacro (xoris-expr dst src1 src2) (set dst (xor src1 (sll src2 (const 16)))))
(define-pmacro (extsb-expr dst src) (set dst (ext SI (trunc QI src))))
(define-pmacro (extsh-expr dst src) (set dst (ext SI (trunc HI src))))
(logic-op3 and OPCD_31 XOF_28 and-expr)
(logic-op3 andc OPCD_31 XOF_60 andc-expr)
(logic-opimm andi. OPCD_28 andi-expr)
(logic-opimm andis. OPCD_29 andis-expr)
(logic-op3 or OPCD_31 XOF_444 or-expr)
(logic-op3 orc OPCD_31 XOF_412 orc-expr)
(logic-op3 nor OPCD_31 XOF_124 nor-expr)
(logic-op3 nand OPCD_31 XOF_476 nand-expr)
(logic-op3 eqv OPCD_31 XOF_284 eqv-expr)
(logic-op3 xor OPCD_31 XOF_316 xor-expr)
(logic-opimm xori OPCD_26 xori-expr)
(logic-opimm xoris OPCD_27 xoris-expr)
(logic-opimm ori OPCD_24 ori-expr)
(logic-opimm oris OPCD_25 oris-expr)
(ext-op2 extsb OPCD_31 XOF_954 extsb-expr)
(ext-op2 extsh OPCD_31 XOF_922 extsh-expr)
; FIXME cntlzwx???
; Integer Rotate and Shift Instructions
; The rotate and shift insns employ a mask generator. The mask is 32 bits
; long and consists of 1 bits from a start bit, MB, through and including
; a stop bit, ME, and 0 bits elsewhere. If MB > ME, the 1 bits wrap around
; from position 31 to 0.
; ??? does this work?
(define-pmacro (gen-bit-mask mb me)
(xor (sub (sll (const 1) mb) (const 1)) (sub (sll (const 2) me) (const 1))))
(define-pmacro (mask-gen mb me)
(cond WI
; mb <= me
((le mb me) (gen-bit-mask mb me))
; else
(else (or (gen-bit-mask mb 31) (gen-bit-mask 0 me)))))
(define-pmacro (rotate/imm-op5 name opcd sem-op)
(dni name (.str name) ()
(.str name "$rc $ra,$rs,$sh,$mb,$me")
(+ opcd rs ra sh mb me rc)
(sequence ((BI alu-ov) (BI alu-ca))
(sem-op ra rs sh mb me)
(if rc (set-cond-bits ra)))
()
)
)
(define-pmacro (rotate/reg-op5 name opcd sem-op)
(dni name (.str name) ()
(.str name "$rc $ra,$rs,$rb,$mb,$me")
(+ opcd rs ra rb mb me rc)
(sequence ((BI alu-ov) (BI alu-ca))
(sem-op ra rs (and rb #x1f) mb me)
(if rc (set-cond-bits ra)))
()
)
)
(define-pmacro (shift/imm-op3 name opcd xof sem-op)
(dni name (.str name) ()
(.str name "$rc $ra,$rs,$sh")
(+ opcd xof rs ra sh (f-oe 0) rc)
(sequence ((BI alu-ov) (BI alu-ca))
(set ra (sem-op rs sh))
(if rc (set-cond-bits ra)))
()
)
)
(define-pmacro (shift/reg-op3 name opcd xof sem-op)
(dni name (.str name) ()
(.str name "$rc $ra,$rs,$rb")
(+ opcd xof rs ra rb (f-oe 0) rc)
(sequence ((BI alu-ov) (BI alu-ca))
(set ra (sem-op rs (and rb #x3f)))
(if rc (set-cond-bits ra)))
()
)
)
(define-pmacro (rlwimi-expr dst src sh mb me)
(sequence ((WI m) (WI r))
(set r (rol src sh))
(set m (mask-gen mb me))
(set dst (or (and r m) (and src (not m))))))
(define-pmacro (rlwinm-expr dst src sh mb me)
(sequence ((WI m) (WI r))
(set r (rol src sh))
(set m (mask-gen mb me))
(set dst (and r m))))
(rotate/imm-op5 rlwimi OPCD_20 rlwimi-expr)
(rotate/imm-op5 rlwinm OPCD_21 rlwinm-expr)
(rotate/reg-op5 rlwnm OPCD_23 rlwinm-expr)
(shift/reg-op3 slw OPCD_31 XOF_24 sll)
(shift/reg-op3 sraw OPCD_31 XOF_792 sra)
(shift/imm-op3 srawi OPCD_31 XOF_824 sra)
(shift/imm-op3 srw OPCD_31 XOF_536 srl)
; Load insns.
(define-pmacro (load/imm-op name opcd1 opcd2 mode sem)
(begin
(dni (.sym name) (.str name) ()
(.str name " $rd,$d($ra)")
(+ opcd1 rd ra d)
(sequence ()
(set rd (sem SI (mem mode (add ra d)))))
()
)
(dni (.sym name u) (.str name u) ()
(.str name "u $rd,$d($ra)")
(+ opcd2 rd ra d)
(sequence ()
(set rd (sem SI (mem mode (add ra d))))
(set ra (add ra d)))
()
)
)
)
(define-pmacro (load/reg-op name xof1 xof2 mode sem)
(begin
(dni (.sym name ux) (.str name u) ()
(.str name "ux $rd,$ra,$rb")
(+ OPCD_31 xof1 rd ra rb (f-oe 0) (f-rc 0))
(sequence ()
(set rd (sem SI (mem mode (add ra rb))))
(set ra (add ra rb)))
()
)
(dni (.sym name x) (.str name x) ()
(.str name "x $rd,$ra,$rb")
(+ OPCD_31 xof2 rd ra rb (f-oe 0) (f-rc 0))
(sequence ()
(set rd (sem SI (mem mode (add ra rb))))
(set ra (add ra rb)))
()
)
)
)
(load/imm-op lbz OPCD_34 OPCD_35 QI zext)
(load/reg-op lbz XOF_119 XOF_87 QI zext)
(load/imm-op lha OPCD_42 OPCD_43 HI ext)
(load/reg-op lha XOF_375 XOF_343 HI ext)
(load/imm-op lhz OPCD_40 OPCD_41 HI zext)
(load/reg-op lhz XOF_311 XOF_279 HI zext)
(load/imm-op lwz OPCD_32 OPCD_33 SI zext)
(load/reg-op lwz XOF_55 XOF_23 SI zext)
; ??? a pmacro for these?
(define-pmacro (nop-mem-expr dst-expr ea-expr mode)
(set dst-expr (mem mode ea-expr)))
(define-pmacro (load/reverse name xof mode sem-op)
(dni name (.str name) ()
(.str name " $rd,$ra,$rb")
(+ OPCD_31 xof rd ra rb (f-oe 0) (f-rc 0))
(sem-op rd (add ra rb) mode)
()
)
)
(load/reverse lhbrx XOF_790 HI nop-mem-expr)
(load/reverse lwbrx XOF_534 WI nop-mem-expr)
(load/reverse lwarx XOF_20 WI nop-mem-expr)
(define-pmacro (lmw-sem-op ea n)
(sequence ()
(set (reg h-gpr n) (mem WI ea))
(set ea (add ea (const 4)))
(set n (add n (const 1))))
)
(dni lmw "lmw" ()
"lmw $rd,$d($ra)"
(+ OPCD_46 rd ra d)
(sequence ((AI ea) (SI n))
(set ea (add ra d))
(set n (regno rd))
(align-check ea #x4) ; EA must be aligned.
(if (ge (const 0) n) (lmw-sem-op ea n)) ; needed?
(if (ge (const 1) n) (lmw-sem-op ea n))
(if (ge (const 2) n) (lmw-sem-op ea n))
(if (ge (const 3) n) (lmw-sem-op ea n))
(if (ge (const 4) n) (lmw-sem-op ea n))
(if (ge (const 5) n) (lmw-sem-op ea n))
(if (ge (const 6) n) (lmw-sem-op ea n))
(if (ge (const 7) n) (lmw-sem-op ea n))
(if (ge (const 8) n) (lmw-sem-op ea n))
(if (ge (const 9) n) (lmw-sem-op ea n))
(if (ge (const 10) n) (lmw-sem-op ea n))
(if (ge (const 11) n) (lmw-sem-op ea n))
(if (ge (const 12) n) (lmw-sem-op ea n))
(if (ge (const 13) n) (lmw-sem-op ea n))
(if (ge (const 14) n) (lmw-sem-op ea n))
(if (ge (const 15) n) (lmw-sem-op ea n))
(if (ge (const 16) n) (lmw-sem-op ea n))
(if (ge (const 17) n) (lmw-sem-op ea n))
(if (ge (const 18) n) (lmw-sem-op ea n))
(if (ge (const 19) n) (lmw-sem-op ea n))
(if (ge (const 20) n) (lmw-sem-op ea n))
(if (ge (const 21) n) (lmw-sem-op ea n))
(if (ge (const 22) n) (lmw-sem-op ea n))
(if (ge (const 23) n) (lmw-sem-op ea n))
(if (ge (const 24) n) (lmw-sem-op ea n))
(if (ge (const 25) n) (lmw-sem-op ea n))
(if (ge (const 26) n) (lmw-sem-op ea n))
(if (ge (const 27) n) (lmw-sem-op ea n))
(if (ge (const 28) n) (lmw-sem-op ea n))
(if (ge (const 29) n) (lmw-sem-op ea n))
(if (ge (const 30) n) (lmw-sem-op ea n))
(if (ge (const 31) n) (lmw-sem-op ea n)))
()
)
; FIXME lswi
; FIXME lswx
; Store insns.
(define-pmacro (store/imm-op name opcd1 opcd2 mode)
(begin
(dni (.sym name) (.str name) ()
(.str name " $rs,$d($ra)")
(+ opcd1 rs ra d)
(sequence ()
(set (mem mode (add ra d)) rs))
()
)
(dni (.sym name u) (.str name u) ()
(.str name "u $rs,$d($ra)")
(+ opcd2 rs ra d)
(sequence ()
(set (mem mode (add ra d)) rs)
(set ra (add ra d)))
()
)
)
)
(define-pmacro (store/reg-op name xof1 xof2 mode)
(begin
(dni (.sym name ux) (.str name u) ()
(.str name "ux $rs,$ra,$rb")
(+ OPCD_31 xof1 rs ra rb (f-oe 0) (f-rc 0))
(sequence ()
(set (mem mode (add ra rb)) rs)
(set ra (add ra rb)))
()
)
(dni (.sym name x) (.str name x) ()
(.str name "x $rd,$ra,$rb")
(+ OPCD_31 xof2 rs ra rb (f-oe 0) (f-rc 0))
(sequence ()
(set (mem mode (add ra rb)) rs)
(set ra (add ra rb)))
()
)
)
)
(store/imm-op stb OPCD_38 OPCD_39 QI)
(store/reg-op stb XOF_247 XOF_215 QI)
(store/imm-op sth OPCD_44 OPCD_45 HI)
(store/reg-op sth XOF_439 XOF_407 HI)
; FIXME sthbrx
; FIXME stswi
; FIXME stswx
; FIXME stwbrx
; FIXME stwcx.
(store/imm-op stw OPCD_36 OPCD_37 HI)
(store/reg-op stw XOF_183 XOF_151 HI)
(define-pmacro (stmw-sem-op ea n)
(sequence ()
(set (mem WI ea) (reg h-gpr n))
(set ea (add ea (const 4)))
(set n (add n (const 1))))
)
(dni stmw "stmw" ()
"stmw $rs,$d($ra)"
(+ OPCD_47 rs ra d)
(sequence ((AI ea) (SI n))
(set ea (add ra d))
(set n (regno rs))
(align-check ea #x4) ; EA must be aligned.
(if (ge (const 0) n) (stmw-sem-op ea n)) ; needed?
(if (ge (const 1) n) (stmw-sem-op ea n))
(if (ge (const 2) n) (stmw-sem-op ea n))
(if (ge (const 3) n) (stmw-sem-op ea n))
(if (ge (const 4) n) (stmw-sem-op ea n))
(if (ge (const 5) n) (stmw-sem-op ea n))
(if (ge (const 6) n) (stmw-sem-op ea n))
(if (ge (const 7) n) (stmw-sem-op ea n))
(if (ge (const 8) n) (stmw-sem-op ea n))
(if (ge (const 9) n) (stmw-sem-op ea n))
(if (ge (const 10) n) (stmw-sem-op ea n))
(if (ge (const 11) n) (stmw-sem-op ea n))
(if (ge (const 12) n) (stmw-sem-op ea n))
(if (ge (const 13) n) (stmw-sem-op ea n))
(if (ge (const 14) n) (stmw-sem-op ea n))
(if (ge (const 15) n) (stmw-sem-op ea n))
(if (ge (const 16) n) (stmw-sem-op ea n))
(if (ge (const 17) n) (stmw-sem-op ea n))
(if (ge (const 18) n) (stmw-sem-op ea n))
(if (ge (const 19) n) (stmw-sem-op ea n))
(if (ge (const 20) n) (stmw-sem-op ea n))
(if (ge (const 21) n) (stmw-sem-op ea n))
(if (ge (const 22) n) (stmw-sem-op ea n))
(if (ge (const 23) n) (stmw-sem-op ea n))
(if (ge (const 24) n) (stmw-sem-op ea n))
(if (ge (const 25) n) (stmw-sem-op ea n))
(if (ge (const 26) n) (stmw-sem-op ea n))
(if (ge (const 27) n) (stmw-sem-op ea n))
(if (ge (const 28) n) (stmw-sem-op ea n))
(if (ge (const 29) n) (stmw-sem-op ea n))
(if (ge (const 30) n) (stmw-sem-op ea n))
(if (ge (const 31) n) (stmw-sem-op ea n)))
()
)
; Trap insns.
(define-pmacro (trap/reg-op name opcd xof sem-op)
(dni name (.str name) ()
(.str name " $to,$ra,$rb")
(+ opcd xof to ra rb (f-oe 0) (f-rc 0))
(sem-op to ra rb)
()
)
)
(define-pmacro (trap/imm-op name opcd sem-op)
(dni name (.str name) ()
(.str name " $to,$ra,$simm")
(+ opcd to ra simm)
(sem-op to ra simm)
()
)
)
(define-pmacro (tw-expr to expr1 expr2)
(sequence ()
(if (lt expr1 expr2) (if (bit-set? to 0) (emit-exception #x7)))
(if (gt expr1 expr2) (if (bit-set? to 1) (emit-exception #x7)))
(if (eq expr1 expr2) (if (bit-set? to 2) (emit-exception #x7)))
(if (ltu expr1 expr2) (if (bit-set? to 3) (emit-exception #x7)))
(if (gtu expr1 expr2) (if (bit-set? to 4) (emit-exception #x7))))
)
(trap/reg-op tw OPCD_31 XOF_4 tw-expr)
(trap/imm-op twi OPCD_3 tw-expr)
(dni sc "sc" ((ARCH-LEVEL OEA))
"sc"
(+ OPCD_17 XOF_1 (f-rd 0) (f-ra 0) (f-rb 0) (f-oe 0) (f-rc 0))
(emit-exception #xc)
()
)
(dni rfi "rfi" ((ARCH-LEVEL OEA) (INSN-LEVEL SUPERVISOR))
"rfi"
(+ OPCD_19 XOF_50 (f-rd 0) (f-ra 0) (f-rb 0) (f-oe 0) (f-rc 0))
(set pc (c-call IAI "@cpu@_rfi"))
()
)
; Branch insns.
(define-pmacro (branch-via-reg reg)
(sequence ()
(if lk (set lr (add pc 4)))
(set pc reg))
)
(define-pmacro (branch-via-addr taddr)
(sequence ()
(if lk (set lr (add pc 4)))
(set pc
(cond IAI
((eq (ifield f-aa) (const 1)) (sll taddr (const 2)))
((eq (ifield f-aa) (const 0)) (add pc (sll taddr (const 2)))))))
)
(dni b "b" ()
"b${lk}${aa} $li"
(+ OPCD_18 li aa lk)
(branch-via-addr li)
()
)
; FIXME These are not implemented yet!
(define-pmacro (bctr-expr bo bi) (sequence () (branch-via-reg ctr)))
(define-pmacro (blr-expr bo bi) (sequence () (branch-via-reg lr)))
(define-pmacro (bc-expr bo bi bd) (sequence () (branch-via-addr bd)))
(define-pmacro (cond/reg-branch name xof sem-op)
(dni (.sym name) (.str name) ()
(.str name "${lk} $bo,$bi")
(+ OPCD_19 xof bo bi (f-rb 0) (f-oe 0) lk) ; FIXME oe???
(sequence ()
(sem-op bo bi))
()
)
)
(define-pmacro (cond/disp-branch name opcd sem-op)
(dni (.sym name) (.str name) ()
(.str name "${lk}${aa} $bo,$bi,$bd")
(+ opcd bo bi bd lk aa)
(sequence ()
(sem-op bo bi bd))
()
)
)
(cond/reg-branch bcctr XOF_528 bctr-expr)
(cond/reg-branch bclr XOF_16 blr-expr)
(cond/disp-branch bc OPCD_16 bc-expr)
; Condition register insns.
(define-pmacro (cr-op name xof sem-op)
(dni name (.str name) ()
(.str name " $crbd,$crba,$crbb")
(+ OPCD_19 xof crbd crba crbb (f-oe 0) (f-rc 0))
(sequence ((BI result))
(set result
(sem-op (bit-set? (reg h-cr) crba)
(bit-set? (reg h-cr) crbb)))
(if result
(bit-set (reg h-cr) crbd)
(bit-clr (reg h-cr) crbd)))
()
)
)
(define-pmacro (move/cr-op name opcd xof sem-op)
(dni name (.str name) ()
(.str name " $crfd,$crfs")
(+ opcd xof crfd crfs (f-res/9-2 0) (f-res/14-2 0) (f-rb 0) (f-oe 0) (f-rc 0))
(sem-op crfd crfs)
()
)
)
(define-pmacro (move/xer-op name opcd xof sem-op)
(dni name (.str name) ()
(.str name " $crfd")
(+ opcd xof crfd (f-ra 0) (f-res/9-2 0) (f-rb 0) (f-oe 0) (f-rc 0))
(sem-op crfd)
()
)
)
(define-pmacro (crandc-expr a b) (and a (not b)))
(define-pmacro (creqv-expr a b) (not (xor a b))) ; ???
(define-pmacro (crandc-expr a b) (and a (not b)))
(define-pmacro (crnand-expr a b) (not (and a b)))
(define-pmacro (crnor-expr a b) (not (or a b)))
(define-pmacro (crorc-expr a b) (or a (not b)))
(cr-op crand XOF_257 and)
(cr-op cror XOF_449 or)
(cr-op crxor XOF_193 xor)
(cr-op crandc XOF_129 crandc-expr)
(cr-op creqv XOF_289 creqv-expr)
(cr-op crnand XOF_225 crnand-expr)
(cr-op crnor XOF_33 crnor-expr)
(cr-op crorc XOF_417 crorc-expr)
(define-pmacro (mcrf-expr dst src) (set dst src))
(define-pmacro (mcrxr-expr dst) (set dst (and (reg h-spr 1) #xf)))
(move/cr-op mcrf OPCD_19 XOF_0 mcrf-expr)
(move/xer-op mcrxr OPCD_31 XOF_512 mcrxr-expr)
(dni mfcr "mfcr" ()
"mfcr $rd"
(+ OPCD_31 XOF_19 rd (f-ra 0) (f-rb 0) (f-oe 0) (f-rc 0))
(set rd (reg h-cr))
()
)
; Cache related insns.
(define-pmacro (cache-op name xof attrs)
(dni name (.str name) attrs
(.str name " $ra,$rb")
(+ OPCD_31 xof ra rb (f-rd 0) (f-oe 0) (f-rc 0))
(nop)
()
)
)
(define-pmacro (sync-op name opcd xof attrs)
(dni name (.str name) attrs
(.str name)
(+ opcd xof (f-ra 0) (f-rb 0) (f-rd 0) (f-oe 0) (f-rc 0))
(nop)
()
)
)
(define-pmacro (tlb-op name xof)
(dni name (.str name) ((ARCH-LEVEL OEA) (INSN-LEVEL SUPERVISOR))
(.str name " $rb")
(+ OPCD_31 xof (f-ra 0) (f-rd 0) rb (f-oe 0) (f-rc 0))
(nop)
()
)
)
(cache-op dcba XOF_758 ((ARCH-LEVEL VEA)))
(cache-op dcbf XOF_86 ((ARCH-LEVEL VEA)))
(cache-op dcbi XOF_470 ((ARCH-LEVEL OEA) (INSN-LEVEL SUPERVISOR)))
(cache-op dcbst XOF_54 ((ARCH-LEVEL VEA)))
(cache-op dcbt XOF_278 ((ARCH-LEVEL VEA)))
(cache-op dcbtst XOF_246 ((ARCH-LEVEL VEA)))
(cache-op dcbz XOF_1014 ((ARCH-LEVEL VEA)))
(cache-op icbi XOF_982 ((ARCH-LEVEL VEA)))
(sync-op isync OPCD_19 XOF_150 ((ARCH-LEVEL VEA)))
(sync-op sync OPCD_31 XOF_598 ((ARCH-LEVEL UISA)))
(sync-op tlbia OPCD_31 XOF_370 ((ARCH-LEVEL OEA) (INSN-LEVEL SUPERVISOR)))
(sync-op tlbsync OPCD_31 XOF_566 ((ARCH-LEVEL OEA) (INSN-LEVEL SUPERVISOR)))
(tlb-op tlbie XOF_306)
; External Control insns.
(define-pmacro (extern-op name xof arg1)
(dni name (.str name) ((ARCH-LEVEL VEA))
(.str name " $" arg1 ",$ra,$rb")
(+ OPCD_31 xof arg1 ra rb (f-oe 0) (f-rc 0))
(nop)
()
)
)
(extern-op eciwx XOF_310 rd)
(extern-op ecowx XOF_438 rs)
(dni eieio "eieio" ((ARCH-LEVEL VEA))
"eieio"
(+ OPCD_31 XOF_854 (f-rd 0) (f-ra 0) (f-rb 0) (f-oe 0) (f-rc 0))
(nop)
()
)
; Special Register insns.
; Move from/to Machine State Register
(define-pmacro (move/msr-op name xof sem-op)
(dni name (.str name) ((ARCH-LEVEL OEA))
(.str name " $rd")
(+ OPCD_31 xof rd (f-ra 0) (f-rb 0) (f-oe 0) (f-rc 0))
(sem-op rd)
()
)
)
(define-pmacro (move/spr-op name xof arg1 sem-op)
(dni name (.str name) ((ARCH-LEVEL OEA))
(.str name " $" arg1 ",$spr") ; ???
(+ OPCD_31 xof arg1 spr (f-oe 0) (f-rc 0))
(sem-op arg1 spr)
()
)
)
(define-pmacro (move/sr-op name xof arg1 arg2 sem-op)
(dni name (.str name) ((ARCH-LEVEL OEA) (INSN-LEVEL SUPERVISOR))
(.str name " $" arg1 ",$" arg2) ; ???
(+ OPCD_31 xof arg1 arg2 (f-res/11-1 0) (f-rb 0) (f-oe 0) (f-rc 0))
(sem-op arg1 arg2)
()
)
)
(define-pmacro (move/tbr-op name xof sem-op)
(dni name (.str name) ((ARCH-LEVEL VEA))
(.str name " $rd,$tbr")
(+ OPCD_31 xof rd tbr (f-oe 0) (f-rc 0))
(sem-op rd tbr)
()
)
)
(define-pmacro (mfmsr-expr dst) (set dst (reg h-msr)))
(define-pmacro (mtmsr-expr src) (set (reg h-msr) src))
(define-pmacro (mfspr-expr dst spr) (set dst spr))
(define-pmacro (mtspr-expr src spr) (set spr src))
(define-pmacro (mtsr-expr expr1 expr2) (set expr1 expr2))
(define-pmacro (mfsr-expr expr1 expr2) (set expr1 expr2))
(move/msr-op mfmsr XOF_83 mfmsr-expr)
(move/msr-op mtmsr XOF_146 mtmsr-expr)
(move/spr-op mfspr XOF_339 rd mfspr-expr)
(move/spr-op mtspr XOF_467 rs mtspr-expr)
(move/sr-op mtsr XOF_210 sr rs mtsr-expr)
(move/sr-op mfsr XOF_595 rd sr mfsr-expr)
; ??? NYA mtsrin mfsrin
(move/tbr-op mftb XOF_371 set)