Instructions

• fr500 - FR500 cpu
• ALU - ALU
• FPU - FPU
• BR - Branch
• alphabetically

fr500 ALU - ALU

• add - add reg/reg
• addcc - add reg/reg, set icc
• addi - add reg/immed
• addicc - add reg/immed, set icc
• addx - Add reg/reg, with carry
• addxcc - Add reg/reg, use/set carry
• addxi - Add reg/immed, with carry
• addxicc - Add reg/immed, with carry
• and - and reg/reg
• andcc - and reg/reg, set icc
• andcr - and condition code regs
• andi - and reg/immed
• andicc - and reg/immed, set icc
• andncr - andn condition code regs
• bar - barrier
• bcnolr - integer ctrlr branch never
• bno - integer branch never
• bnolr - integer cclr branch never
• break - break trap
• cadd - conditional add
• caddcc - add, set icc
• cand - conditional and
• candcc - conditional and, set icc
• cckc - check integer cc carry set
• cckeq - check integer cc equal
• cckge - check integer cc greater or equal
• cckgt - check integer cc greater
• cckhi - check integer cc greater unsigned
• cckle - check integer cc less or equal
• cckls - check integer cc less or equal unsigned
• ccklt - check integer cc less
• cckn - check integer cc negative
• ccknc - check integer cc carry clear
• cckne - check integer cc not equal
• cckno - conditional check integer cc never
• ccknv - check integer cc overflow clear
• cckp - check integer cc positive
• cckra - conditional check integer cc always
• cckv - check integer cc overflow set
• cfckeq - check float cc equal
• cfckge - check float cc greater or equal
• cfckgt - check float cc greater
• cfckle - check float cc less or equal
• cfcklg - check float cc greater or less
• cfcklt - check float cc less
• cfckne - check float cc not equal
• cfckno - conditional check float cc never
• cfcko - check float cc ordered
• cfckra - conditional check float cc always
• cfcku - check float cc unordered
• cfckue - check float cc unordered or equal
• cfckug - check float cc unordered or greater
• cfckuge - check float cc unordered greater or equal
• cfckul - check float cc unordered or less
• cfckule - check float cc unordered less or equal
• ckc - check integer cc carry set
• ckeq - check integer cc equal
• ckge - check integer cc greater or equal
• ckgt - check integer cc greater
• ckhi - check integer cc greater unsigned
• ckle - check integer cc less or equal
• ckls - check integer cc less or equal unsigned
• cklt - check integer cc less
• ckn - check integer cc negative
• cknc - check integer cc carry clear
• ckne - check integer cc not equal
• ckno - check integer cc never
• cknv - check integer cc overflow clear
• ckp - check integer cc positive
• ckra - check integer cc always
• ckv - check integer cc overflow set
• cld - Load word
• cldbf - Load byte float
• cldbfu - Load byte float, update
• cldd - Load double word
• clddu - Load double word, update
• cldf - Load word float
• cldfu - Load word float, update
• cldhf - Load half float
• cldhfu - Load half float, update
• cldsb - Load signed byte
• cldsbu - Load signed byte, update
• cldsh - Load signed half
• cldshu - Load signed half, update
• cldu - Load word, update
• cldub - Load unsigned byte
• cldubu - Load unsigned byte, update
• clduh - Load unsigned half
• clduhu - Load unsigned half, update
• clrfa - Clear FR NE flag ALL
• clrga - Clear GR NE flag ALL
• clrgr - Clear GR NE flag
• cmaddhss - Conditional Media dual add signed with saturation
• cmaddhus - Conditional Media dual add unsigned with saturation
• cmand - conditional and reg/reg
• cmbtoh - Conditional media convert byte to halfword
• cmcpxis - Conditional Media dual complex imaginary signed with saturation
• cmcpxiu - Conditional Media dual complex imaginary unsigned with saturation
• cmcpxrs - Conditional Media dual complex real signed with saturation
• cmcpxru - Conditional Media dual complex real unsigned with saturation
• cmexpdhd - Conditional media expand halfword to double
• cmexpdhw - Conditional media expand halfword to word
• cmhtob - Conditional media convert halfword to byte
• cmmachs - Conditional Media dual multiply and accumulate signed
• cmmachu - Conditional Media dual multiply and accumulate unsigned
• cmmulhs - Conditional Media dual multiply signed
• cmmulhu - Conditional Media dual multiply unsigned
• cmnot - cmnot
• cmor - conditional or reg/reg
• cmovfg - transfer fr to gr
• cmovfgd - Conditional move FR to GR double
• cmovgf - transfer gr to fr
• cmovgfd - Conditional move GR to FR double
• cmqaddhss - Conditional Media quad add signed with saturation
• cmqaddhus - Conditional Media quad add unsigned with saturation
• cmqmachs - Conditional Media quad multiply and accumulate signed
• cmqmachu - Conditional media quad multiply and accumulate unsigned
• cmqmulhs - Conditional Media quad multiply signed
• cmqmulhu - Conditional Media quad multiply unsigned
• cmqsubhss - Conditional Media quad sub signed with saturation
• cmqsubhus - Conditional Media quad sub unsigned with saturation
• cmsubhss - Conditional Media dual sub signed with saturation
• cmsubhus - Conditional Media dual sub unsigned with saturation
• cmxor - conditional xor reg/reg
• cnot - conditional not
• commitfa - commit exceptions, any FR
• commitga - commit exceptions, any GR
• commitgr - commit exceptions, specific GR
• cor - conditional or
• corcc - conditional or , set icc
• cscan - conditional scan
• csdiv - conditional signed division
• csll - conditional shift left logical
• csllcc - shift left logical, set icc
• csmul - conditional signed multiply
• csmulcc - conditional signed multiply and set condition code
• csra - conditional shift right arith
• csracc - shift right arith , set icc
• csrl - conditional shift right logical
• csrlcc - shift right logical, set icc
• cst - Store word
• cstb - Store unsigned byte
• cstbf - Store byte float
• cstbfu - Store byte float, update index
• cstbu - Store unsigned byte, update index
• cstd - Store double word
• cstdu - Store double word, update index
• cstf - Store word float
• cstfu - Store word float, update index
• csth - Store unsigned half
• csthf - Store half float
• csthfu - Store half float, update index
• csthu - Store unsigned half, update index
• cstu - Store word, update index
• csub - conditional sub
• csubcc - sub, set icc
• cswap - Conditionally swap contents of memory with GR
• cudiv - conditional unsigned division
• cxor - conditional xor
• cxorcc - conditional xor, set icc
• dcf - Data cache flush
• dci - invalidate data cache
• dcpl - preload data cache
• dcul - unlock data cache
• fbno - float branch never
• fbnolr - float cclr branch never
• fcbnolr - float ctrlr branch never
• fckeq - check float cc equal
• fckge - check float cc greater or equal
• fckgt - check float cc greater
• fckle - check float cc less or equal
• fcklg - check float cc greater or less
• fcklt - check float cc less
• fckne - check float cc not equal
• fckno - check float cc never
• fcko - check float cc ordered
• fckra - check float cc always
• fcku - check float cc unordered
• fckue - check float cc unordered or equal
• fckug - check float cc unordered or greater
• fckuge - check float cc unordered greater or equal
• fckul - check float cc unordered or less
• fckule - check float cc unordered less or equal
• fnop - Floating point nop
• fteq - float trap equal
• ftge - float trap greater or equal
• ftgt - float trap greater
• ftieq - float trap equal
• ftige - float trap greater or equal
• ftigt - float trap greater
• ftile - float trap less or equal
• ftilg - float trap greater or less
• ftilt - float trap less
• ftine - float trap not equal
• ftino - float trap never
• ftio - float trap ordered
• ftira - float trap always
• ftiu - float trap unordered
• ftiue - float trap unordered or equal
• ftiug - float trap unordered or greater
• ftiuge - float trap unordered greater or equal
• ftiul - float trap unordered or less
• ftiule - float trap unordered less or equal
• ftle - float trap less or equal
• ftlg - float trap greater or less
• ftlt - float trap less
• ftne - float trap not equal
• ftno - flost trap never
• fto - float trap ordered
• ftra - float trap always
• ftu - float trap unordered
• ftue - float trap unordered or equal
• ftug - float trap unordered or greater
• ftuge - float trap unordered greater or equal
• ftul - float trap unordered or less
• ftule - float trap unordered less or equal
• ici - invalidate insn cache
• icpl - preload insn cache
• icul - unlock insn cache
• ld - Load word
• ldbf - Load byte float
• ldbfi - Load byte float
• ldbfu - Load byte float, update index
• ldd - Load double word
• lddi - Load double word
• lddu - Load double word, update index
• ldf - Load word float
• ldfi - Load word float
• ldfu - Load word float, update index
• ldhf - Load half float
• ldhfi - Load half float
• ldhfu - Load half float, update index
• ldi - Load word
• ldsb - Load signed byte
• ldsbi - Load signed byte
• ldsbu - Load signed byte, update index
• ldsh - Load signed half
• ldshi - Load signed half
• ldshu - Load signed half, update index
• ldu - Load word, update index
• ldub - Load unsigned byte
• ldubi - Load unsigned byte
• ldubu - Load unsigned byte, update index
• lduh - Load unsigned half
• lduhi - Load unsigned half
• lduhu - Load unsigned half, update index
• maddhss - Media dual add signed with saturation
• maddhus - Media dual add unsigned with saturation
• mand - and reg/reg
• maveh - Media dual average
• mbtoh - Media convert byte to halfword
• mclracc-0 - Media clear accumulator(s)
• mclracc-1 - Media clear accumulator(s)
• mcmpsh - Media dual compare signed
• mcmpuh - Media dual compare unsigned
• mcpxis - Media dual complex imaginary signed with saturation
• mcpxiu - Media dual complex imaginary unsigned with saturation
• mcpxrs - Media dual complex real signed with saturation
• mcpxru - Media dual complex real unsigned with saturation
• mcut - media accumulator cut reg
• mcuti - media accumulator cut immed
• mcutss - media accumulator cut reg with saturation
• mcutssi - media accumulator cut immed with saturation
• mdpackh - Media dual pack
• membar - memory barrier
• mexpdhd - Media expand halfword to double
• mexpdhw - Media expand halfword to word
• mhtob - Media convert halfword to byte
• mmachs - Media dual multiply and accumulate signed
• mmachu - Media dual multiply and accumulate unsigned
• mmrdhs - Media dual multiply and reduce signed
• mmrdhu - Media dual multiply and reduce unsigned
• mmulhs - Media dual multiply signed
• mmulhu - Media dual multiply unsigned
• mmulxhs - Media dual cross multiply signed
• mmulxhu - Media dual cross multiply unsigned
• mnop - Media nop
• mnot - mnot
• mor - or reg/reg
• movfg - transfer fr to gr
• movfgd - move FR for GR double
• movgf - transfer gr to fr
• movgfd - move GR for FR double
• movgs - transfer gr->spr
• movsg - transfer spr->gr
• mpackh - Media halfword pack
• mqaddhss - Media quad add signed with saturation
• mqaddhus - Media quad add unsigned with saturation
• mqcpxis - Media quad complex imaginary signed with saturation
• mqcpxiu - Media quad complex imaginary unsigned with saturation
• mqcpxrs - Media quad complex real signed with saturation
• mqcpxru - Media quad complex real unsigned with saturation
• mqmachs - Media quad multiply and accumulate signed
• mqmachu - Media quad multiply and accumulate unsigned
• mqmulhs - Media quad multiply signed
• mqmulhu - Media quad multiply unsigned
• mqmulxhs - Media quad cross multiply signed
• mqmulxhu - Media quad cross multiply unsigned
• mqsubhss - Media quad sub signed with saturation
• mqsubhus - Media quad sub unsigned with saturation
• mrdacc - Media read accumulator
• mrdaccg - Media read accumulator guard
• mrotli - rotate left reg/reg
• mrotri - rotate right reg/reg
• msaths - Media dual saturation signed
• msathu - Media dual saturation unsigned
• msllhi - Media dual shift left logical
• msrahi - Media dual shift right arithmetic
• msrlhi - Media dual shift right logical
• msubhss - Media dual sub signed with saturation
• msubhus - Media dual sub unsigned with saturation
• mtrap - media trap
• munpackh - Media halfword unpack
• mwcut - media cut
• mwcuti - media cut
• mwtacc - Media write accumulator
• mwtaccg - Media write accumulator guard
• mxor - xor reg/reg
• nandcr - nand condition code regs
• nandncr - nandn condition code regs
• nld - Load word
• nldbf - Load byte float
• nldbfi - Load byte float
• nldbfu - Load byte float, update index
• nldd - Load double word
• nlddi - Load double word
• nlddu - Load double word, update index
• nldf - Load word float
• nldfi - Load word float
• nldfu - Load word float, update index
• nldhf - Load half float
• nldhfi - Load half float
• nldhfu - Load half float, update index
• nldi - Load word
• nldsb - Load signed byte
• nldsbi - Load signed byte
• nldsbu - Load signed byte, update index
• nldsh - Load signed half
• nldshi - Load signed half
• nldshu - Load signed half, update index
• nldu - Load word, update index
• nldub - Load unsigned byte
• nldubi - Load unsigned byte
• nldubu - Load unsigned byte, update index
• nlduh - Load unsigned half
• nlduhi - Load unsigned half
• nlduhu - Load unsigned half, update index
• norcr - nor condition code regs
• norncr - norn condition code regs
• not - not
• notcr - not cccr register
• nsdiv - non excepting signed division
• nsdivi - non excepting signed division reg/immed
• nudiv - non excepting unsigned division
• nudivi - non excepting unsigned division reg/immed
• or - or reg/reg
• orcc - or reg/reg, set icc
• orcr - or condition code regs
• ori - or reg/immed
• oricc - or reg/immed, set icc
• orncr - orn condition code regs
• scan - scan
• scani - scan immediate
• sdiv - signed division
• sdivi - signed division reg/immed
• sethi - set high order bits
• setlo - set low order bits
• setlos - set low order bits and extend sign
• sll - shift left logical reg/reg
• sllcc - shift left logical reg/reg,set icc
• slli - shift left logical reg/immed
• sllicc - shift left logical reg/immed, set icc
• smul - signed multiply reg/reg
• smulcc - signed multiply reg/reg
• smuli - signed multiply reg/immed
• smulicc - signed multiply reg/immed
• sra - shift right arith reg/reg
• sracc - shift right arith reg/reg,set icc
• srai - shift right arith reg/immed
• sraicc - shift right arith reg/immed, set icc
• srl - shift right logical reg/reg
• srlcc - shift right logical reg/reg,set icc
• srli - shift right logical reg/immed
• srlicc - shift right logical reg/immed, set icc
• st - Store word
• stb - Store unsigned byte
• stbf - Store byte float
• stbfi - Store byte float
• stbfu - Store byte float, update index
• stbi - Store unsigned byte
• stbu - Store unsigned byte, update index
• std - Store double word
• stdi - Store double word
• stdu - Store double word, update index
• stf - Store word float
• stfi - Store word float
• stfu - Store word float, update index
• sth - Store unsigned half
• sthf - Store half float
• sthfi - Store half float
• sthfu - Store half float, update index
• sthi - Store unsigned half
• sthu - Store unsigned half, update index
• sti - Store word
• stu - Store word, update index
• sub - sub reg/reg
• subcc - sub reg/reg, set icc
• subi - sub reg/immed
• subicc - sub reg/immed, set icc
• subx - Sub reg/reg, with carry
• subxcc - Sub reg/reg, use/set carry
• subxi - Sub reg/immed, with carry
• subxicc - Sub reg/immed, with carry
• swap - Swap contents of memory with GR
• swapi - Swap contents of memory with GR
• tc - integer trap carry set
• teq - integer trap equal
• tge - integer trap greater or equal
• tgt - integer trap greater
• thi - integer trap greater unsigned
• tic - integer trap carry set
• tieq - integer trap equal
• tige - integer trap greater or equal
• tigt - integer trap greater
• tihi - integer trap greater unsigned
• tile - integer trap less or equal
• tils - integer trap less or equal unsigned
• tilt - integer trap less
• tin - integer trap negative
• tinc - integer trap carry clear
• tine - integer trap not equal
• tino - integer trap never
• tinv - integer trap overflow clear
• tip - integer trap positive
• tira - integer trap always
• tiv - integer trap overflow set
• tle - integer trap less or equal
• tls - integer trap less or equal unsigned
• tlt - integer trap less
• tn - integer trap negative
• tnc - integer trap carry clear
• tne - integer trap not equal
• tno - integer trap never
• tnv - integer trap overflow clear
• tp - integer trap positive
• tra - integer trap always
• tv - integer trap overflow set
• udiv - unsigned division reg/reg
• udivi - unsigned division reg/immed
• umul - unsigned multiply reg/reg
• umulcc - unsigned multiply reg/reg
• umuli - unsigned multiply reg/immed
• umulicc - unsigned multiply reg/immed
• xor - xor reg/reg
• xorcc - xor reg/reg, set icc
• xorcr - xor condition code regs
• xori - xor reg/immed
• xoricc - xor reg/immed, set icc

fr500 FPU - FPU

• cfabss - Conditional floating point absolute value, single
• cfadds - cond add single
• cfcmps - Conditional compare single, float
• cfdivs - cond div single
• cfitos - Conditional convert Integer to Single
• cfmas - conditional parallel mul/add, single
• cfmovs - Conditional move Single Float
• cfmss - conditional parallel mul/sub, single
• cfmuls - cond mul single
• cfnegs - Conditional floating point negate, single
• cfsqrts - Conditional square root single
• cfstoi - Conditional convert Single to Integer
• cfsubs - cond sub single
• clddf - Load double float
• clddfu - Load double float, update
• clrfr - Clear FR NE flag
• commitfr - commit exceptions, specific FR
• cstdf - Store double float
• cstdfu - Store double float, update index
• fabss - Float absolute value, single
• fadds - add single float
• fcmps - compare single float
• fdadds - dual add, single
• fdcmps - float dual compare single
• fdivs - div single float
• fdmulcs - Float dual cross multiply single
• fdmuls - dual mul, single
• fdsads - dual add/sub, single
• fdsubs - dual sub, single
• fitos - Convert Integer to Single
• fmas - parallel mul/add, single
• fmovs - Move Single Float
• fmss - parallel mul/sub, single
• fmuls - mul single float
• fnegs - Floating point negate, single
• fsqrts - Square root single
• fstoi - Convert Single to Integer
• fsubs - sub single float
• lddf - Load double float
• lddfi - Load double float
• lddfu - Load double float, update index
• nfadds - ne add single
• nfdadds - ne dual add, single
• nfdivs - ne div single
• nfdmulcs - NE float dual cross multiply single
• nfdmuls - ne dual mul, single
• nfdsads - ne dual add/sub, single
• nfdsubs - ne dual sub, single
• nfitos - NE convert Integer to Single
• nfmas - ne parallel mul/add,single
• nfmss - ne parallel mul/sub,single
• nfmuls - ne mul single
• nfsqrts - Non exception square root, single
• nfstoi - NE convert Single to Integer
• nfsubs - ne sub single
• nlddf - Load double float
• nlddfi - Load double float
• nlddfu - Load double float, update index
• stdf - Store double float
• stdfi - Store double float
• stdfu - Store double float,update index

fr500 BR - Branch

• bc - integer branch carry set
• bcclr - integer ctrlr branch carry set
• bceqlr - integer ctrlr branch equal
• bcgelr - integer ctrlr branch greater equal
• bcgtlr - integer ctrlr branch greater
• bchilr - integer ctrlr branch greater unsigned
• bclelr - integer ctrlr branch less equal
• bclr - integer cclr branch carry set
• bclslr - integer ctrlr branch less equal unsigned
• bcltlr - integer ctrlr branch less
• bcnclr - integer ctrlr branch carry clear
• bcnelr - integer ctrlr branch not equal
• bcnlr - integer ctrlr branch negative
• bcnvlr - integer ctrlr branch overflow clear
• bcplr - integer ctrlr branch positive
• bcralr - integer ctrlr branch always
• bctrlr - LCR conditional branch to lr
• bcvlr - integer ctrlr branch overflow set
• beq - integer branch equal
• beqlr - integer cclr branch equal
• bge - integer branch greater or equal
• bgelr - integer cclr branch greater or equal
• bgt - integer branch greater
• bgtlr - integer cclr branch greater
• bhi - integer branch greater unsigned
• bhilr - integer cclr branch greater unsigned
• ble - integer branch less or equal
• blelr - integer cclr branch less or equal
• bls - integer branch less or equal unsigned
• blslr - integer cclr branch less or equal unsigned
• blt - integer branch less
• bltlr - integer cclr branch less
• bn - integer branch negative
• bnc - integer branch carry clear
• bnclr - integer cclr branch carry clear
• bne - integer branch not equal
• bnelr - integer cclr branch not equal
• bnlr - integer cclr branch negative
• bnv - integer branch overflow clear
• bnvlr - integer cclr branch overflow clear
• bp - integer branch positive
• bplr - integer cclr branch positive
• bra - integer branch equal
• bralr - integer cclr branch always
• bv - integer branch overflow set
• bvlr - integer cclr branch overflow set
• call - call and link
• callil - call immediate and link
• calll - call and link
• ccalll - conditional call and link
• cjmpl - conditional jump and link
• fbeq - float branch equal
• fbeqlr - float cclr branch equal
• fbge - float branch greater or equal
• fbgelr - float branch greater or equal
• fbgt - float branch greater
• fbgtlr - float branch greater
• fble - float branch less or equal
• fblelr - float branch less or equal
• fblg - float branch less or greater
• fblglr - float branch less or greater
• fblt - float branch less
• fbltlr - float branch less
• fbne - float branch not equal
• fbnelr - float cclr branch not equal
• fbo - float branch ordered
• fbolr - float branch ordered
• fbra - float branch equal
• fbralr - float cclr branch always
• fbu - float branch unordered
• fbue - float branch unordered or equal
• fbuelr - float branch unordered or equal
• fbug - float branch unordered or greater
• fbuge - float branch unordered, greater,equal
• fbugelr - float branch unordered, greater, equal
• fbuglr - float branch unordered or greater
• fbul - float branch unordered or less
• fbule - float branch unordered, less or equal
• fbulelr - float branch unordered, less or equal
• fbullr - float branch unordered or less
• fbulr - float branch unordered
• fcbeqlr - float cclr branch equal
• fcbgelr - float branch greater or equal
• fcbgtlr - float branch greater
• fcblelr - float branch less or equal
• fcblglr - float branch less or greater
• fcbltlr - float branch less
• fcbnelr - float cclr branch not equal
• fcbolr - float branch ordered
• fcbralr - float ctrlr branch always
• fcbuelr - float branch unordered or equal
• fcbugelr - float branch unordered, greater, equal
• fcbuglr - float branch unordered or greater
• fcbulelr - float branch unordered, less or equal
• fcbullr - float branch unordered or less
• fcbulr - float branch unordered
• jmpil - jump immediate and link
• jmpl - jump and link
• rett - return from trap

fr500 fr500 - FR500 cpu

• add - add reg/reg
• addcc - add reg/reg, set icc
• addi - add reg/immed
• addicc - add reg/immed, set icc
• addx - Add reg/reg, with carry
• addxcc - Add reg/reg, use/set carry
• addxi - Add reg/immed, with carry
• addxicc - Add reg/immed, with carry
• and - and reg/reg
• andcc - and reg/reg, set icc
• andcr - and condition code regs
• andi - and reg/immed
• andicc - and reg/immed, set icc
• andncr - andn condition code regs
• bar - barrier
• bc - integer branch carry set
• bcclr - integer ctrlr branch carry set
• bceqlr - integer ctrlr branch equal
• bcgelr - integer ctrlr branch greater equal
• bcgtlr - integer ctrlr branch greater
• bchilr - integer ctrlr branch greater unsigned
• bclelr - integer ctrlr branch less equal
• bclr - integer cclr branch carry set
• bclslr - integer ctrlr branch less equal unsigned
• bcltlr - integer ctrlr branch less
• bcnclr - integer ctrlr branch carry clear
• bcnelr - integer ctrlr branch not equal
• bcnlr - integer ctrlr branch negative
• bcnolr - integer ctrlr branch never
• bcnvlr - integer ctrlr branch overflow clear
• bcplr - integer ctrlr branch positive
• bcralr - integer ctrlr branch always
• bctrlr - LCR conditional branch to lr
• bcvlr - integer ctrlr branch overflow set
• beq - integer branch equal
• beqlr - integer cclr branch equal
• bge - integer branch greater or equal
• bgelr - integer cclr branch greater or equal
• bgt - integer branch greater
• bgtlr - integer cclr branch greater
• bhi - integer branch greater unsigned
• bhilr - integer cclr branch greater unsigned
• ble - integer branch less or equal
• blelr - integer cclr branch less or equal
• bls - integer branch less or equal unsigned
• blslr - integer cclr branch less or equal unsigned
• blt - integer branch less
• bltlr - integer cclr branch less
• bn - integer branch negative
• bnc - integer branch carry clear
• bnclr - integer cclr branch carry clear
• bne - integer branch not equal
• bnelr - integer cclr branch not equal
• bnlr - integer cclr branch negative
• bno - integer branch never
• bnolr - integer cclr branch never
• bnv - integer branch overflow clear
• bnvlr - integer cclr branch overflow clear
• bp - integer branch positive
• bplr - integer cclr branch positive
• bra - integer branch equal
• bralr - integer cclr branch always
• break - break trap
• bv - integer branch overflow set
• bvlr - integer cclr branch overflow set
• cadd - conditional add
• caddcc - add, set icc
• call - call and link
• callil - call immediate and link
• calll - call and link
• cand - conditional and
• candcc - conditional and, set icc
• ccalll - conditional call and link
• cckc - check integer cc carry set
• cckeq - check integer cc equal
• cckge - check integer cc greater or equal
• cckgt - check integer cc greater
• cckhi - check integer cc greater unsigned
• cckle - check integer cc less or equal
• cckls - check integer cc less or equal unsigned
• ccklt - check integer cc less
• cckn - check integer cc negative
• ccknc - check integer cc carry clear
• cckne - check integer cc not equal
• cckno - conditional check integer cc never
• ccknv - check integer cc overflow clear
• cckp - check integer cc positive
• cckra - conditional check integer cc always
• cckv - check integer cc overflow set
• cfabss - Conditional floating point absolute value, single
• cfadds - cond add single
• cfckeq - check float cc equal
• cfckge - check float cc greater or equal
• cfckgt - check float cc greater
• cfckle - check float cc less or equal
• cfcklg - check float cc greater or less
• cfcklt - check float cc less
• cfckne - check float cc not equal
• cfckno - conditional check float cc never
• cfcko - check float cc ordered
• cfckra - conditional check float cc always
• cfcku - check float cc unordered
• cfckue - check float cc unordered or equal
• cfckug - check float cc unordered or greater
• cfckuge - check float cc unordered greater or equal
• cfckul - check float cc unordered or less
• cfckule - check float cc unordered less or equal
• cfcmps - Conditional compare single, float
• cfdivs - cond div single
• cfitos - Conditional convert Integer to Single
• cfmas - conditional parallel mul/add, single
• cfmovs - Conditional move Single Float
• cfmss - conditional parallel mul/sub, single
• cfmuls - cond mul single
• cfnegs - Conditional floating point negate, single
• cfsqrts - Conditional square root single
• cfstoi - Conditional convert Single to Integer
• cfsubs - cond sub single
• cjmpl - conditional jump and link
• ckc - check integer cc carry set
• ckeq - check integer cc equal
• ckge - check integer cc greater or equal
• ckgt - check integer cc greater
• ckhi - check integer cc greater unsigned
• ckle - check integer cc less or equal
• ckls - check integer cc less or equal unsigned
• cklt - check integer cc less
• ckn - check integer cc negative
• cknc - check integer cc carry clear
• ckne - check integer cc not equal
• ckno - check integer cc never
• cknv - check integer cc overflow clear
• ckp - check integer cc positive
• ckra - check integer cc always
• ckv - check integer cc overflow set
• cld - Load word
• cldbf - Load byte float
• cldbfu - Load byte float, update
• cldd - Load double word
• clddf - Load double float
• clddfu - Load double float, update
• clddu - Load double word, update
• cldf - Load word float
• cldfu - Load word float, update
• cldhf - Load half float
• cldhfu - Load half float, update
• cldsb - Load signed byte
• cldsbu - Load signed byte, update
• cldsh - Load signed half
• cldshu - Load signed half, update
• cldu - Load word, update
• cldub - Load unsigned byte
• cldubu - Load unsigned byte, update
• clduh - Load unsigned half
• clduhu - Load unsigned half, update
• clrfa - Clear FR NE flag ALL
• clrfr - Clear FR NE flag
• clrga - Clear GR NE flag ALL
• clrgr - Clear GR NE flag
• cmaddhss - Conditional Media dual add signed with saturation
• cmaddhus - Conditional Media dual add unsigned with saturation
• cmand - conditional and reg/reg
• cmbtoh - Conditional media convert byte to halfword
• cmcpxis - Conditional Media dual complex imaginary signed with saturation
• cmcpxiu - Conditional Media dual complex imaginary unsigned with saturation
• cmcpxrs - Conditional Media dual complex real signed with saturation
• cmcpxru - Conditional Media dual complex real unsigned with saturation
• cmexpdhd - Conditional media expand halfword to double
• cmexpdhw - Conditional media expand halfword to word
• cmhtob - Conditional media convert halfword to byte
• cmmachs - Conditional Media dual multiply and accumulate signed
• cmmachu - Conditional Media dual multiply and accumulate unsigned
• cmmulhs - Conditional Media dual multiply signed
• cmmulhu - Conditional Media dual multiply unsigned
• cmnot - cmnot
• cmor - conditional or reg/reg
• cmovfg - transfer fr to gr
• cmovfgd - Conditional move FR to GR double
• cmovgf - transfer gr to fr
• cmovgfd - Conditional move GR to FR double
• cmqaddhss - Conditional Media quad add signed with saturation
• cmqaddhus - Conditional Media quad add unsigned with saturation
• cmqmachs - Conditional Media quad multiply and accumulate signed
• cmqmachu - Conditional media quad multiply and accumulate unsigned
• cmqmulhs - Conditional Media quad multiply signed
• cmqmulhu - Conditional Media quad multiply unsigned
• cmqsubhss - Conditional Media quad sub signed with saturation
• cmqsubhus - Conditional Media quad sub unsigned with saturation
• cmsubhss - Conditional Media dual sub signed with saturation
• cmsubhus - Conditional Media dual sub unsigned with saturation
• cmxor - conditional xor reg/reg
• cnot - conditional not
• commitfa - commit exceptions, any FR
• commitfr - commit exceptions, specific FR
• commitga - commit exceptions, any GR
• commitgr - commit exceptions, specific GR
• cor - conditional or
• corcc - conditional or , set icc
• cscan - conditional scan
• csdiv - conditional signed division
• csll - conditional shift left logical
• csllcc - shift left logical, set icc
• csmul - conditional signed multiply
• csmulcc - conditional signed multiply and set condition code
• csra - conditional shift right arith
• csracc - shift right arith , set icc
• csrl - conditional shift right logical
• csrlcc - shift right logical, set icc
• cst - Store word
• cstb - Store unsigned byte
• cstbf - Store byte float
• cstbfu - Store byte float, update index
• cstbu - Store unsigned byte, update index
• cstd - Store double word
• cstdf - Store double float
• cstdfu - Store double float, update index
• cstdu - Store double word, update index
• cstf - Store word float
• cstfu - Store word float, update index
• csth - Store unsigned half
• csthf - Store half float
• csthfu - Store half float, update index
• csthu - Store unsigned half, update index
• cstu - Store word, update index
• csub - conditional sub
• csubcc - sub, set icc
• cswap - Conditionally swap contents of memory with GR
• cudiv - conditional unsigned division
• cxor - conditional xor
• cxorcc - conditional xor, set icc
• dcf - Data cache flush
• dci - invalidate data cache
• dcpl - preload data cache
• dcul - unlock data cache
• fabss - Float absolute value, single
• fadds - add single float
• fbeq - float branch equal
• fbeqlr - float cclr branch equal
• fbge - float branch greater or equal
• fbgelr - float branch greater or equal
• fbgt - float branch greater
• fbgtlr - float branch greater
• fble - float branch less or equal
• fblelr - float branch less or equal
• fblg - float branch less or greater
• fblglr - float branch less or greater
• fblt - float branch less
• fbltlr - float branch less
• fbne - float branch not equal
• fbnelr - float cclr branch not equal
• fbno - float branch never
• fbnolr - float cclr branch never
• fbo - float branch ordered
• fbolr - float branch ordered
• fbra - float branch equal
• fbralr - float cclr branch always
• fbu - float branch unordered
• fbue - float branch unordered or equal
• fbuelr - float branch unordered or equal
• fbug - float branch unordered or greater
• fbuge - float branch unordered, greater,equal
• fbugelr - float branch unordered, greater, equal
• fbuglr - float branch unordered or greater
• fbul - float branch unordered or less
• fbule - float branch unordered, less or equal
• fbulelr - float branch unordered, less or equal
• fbullr - float branch unordered or less
• fbulr - float branch unordered
• fcbeqlr - float cclr branch equal
• fcbgelr - float branch greater or equal
• fcbgtlr - float branch greater
• fcblelr - float branch less or equal
• fcblglr - float branch less or greater
• fcbltlr - float branch less
• fcbnelr - float cclr branch not equal
• fcbnolr - float ctrlr branch never
• fcbolr - float branch ordered
• fcbralr - float ctrlr branch always
• fcbuelr - float branch unordered or equal
• fcbugelr - float branch unordered, greater, equal
• fcbuglr - float branch unordered or greater
• fcbulelr - float branch unordered, less or equal
• fcbullr - float branch unordered or less
• fcbulr - float branch unordered
• fckeq - check float cc equal
• fckge - check float cc greater or equal
• fckgt - check float cc greater
• fckle - check float cc less or equal
• fcklg - check float cc greater or less
• fcklt - check float cc less
• fckne - check float cc not equal
• fckno - check float cc never
• fcko - check float cc ordered
• fckra - check float cc always
• fcku - check float cc unordered
• fckue - check float cc unordered or equal
• fckug - check float cc unordered or greater
• fckuge - check float cc unordered greater or equal
• fckul - check float cc unordered or less
• fckule - check float cc unordered less or equal
• fcmps - compare single float
• fdadds - dual add, single
• fdcmps - float dual compare single
• fdivs - div single float
• fdmulcs - Float dual cross multiply single
• fdmuls - dual mul, single
• fdsads - dual add/sub, single
• fdsubs - dual sub, single
• fitos - Convert Integer to Single
• fmas - parallel mul/add, single
• fmovs - Move Single Float
• fmss - parallel mul/sub, single
• fmuls - mul single float
• fnegs - Floating point negate, single
• fnop - Floating point nop
• fsqrts - Square root single
• fstoi - Convert Single to Integer
• fsubs - sub single float
• fteq - float trap equal
• ftge - float trap greater or equal
• ftgt - float trap greater
• ftieq - float trap equal
• ftige - float trap greater or equal
• ftigt - float trap greater
• ftile - float trap less or equal
• ftilg - float trap greater or less
• ftilt - float trap less
• ftine - float trap not equal
• ftino - float trap never
• ftio - float trap ordered
• ftira - float trap always
• ftiu - float trap unordered
• ftiue - float trap unordered or equal
• ftiug - float trap unordered or greater
• ftiuge - float trap unordered greater or equal
• ftiul - float trap unordered or less
• ftiule - float trap unordered less or equal
• ftle - float trap less or equal
• ftlg - float trap greater or less
• ftlt - float trap less
• ftne - float trap not equal
• ftno - flost trap never
• fto - float trap ordered
• ftra - float trap always
• ftu - float trap unordered
• ftue - float trap unordered or equal
• ftug - float trap unordered or greater
• ftuge - float trap unordered greater or equal
• ftul - float trap unordered or less
• ftule - float trap unordered less or equal
• ici - invalidate insn cache
• icpl - preload insn cache
• icul - unlock insn cache
• jmpil - jump immediate and link
• jmpl - jump and link
• ld - Load word
• ldbf - Load byte float
• ldbfi - Load byte float
• ldbfu - Load byte float, update index
• ldd - Load double word
• lddf - Load double float
• lddfi - Load double float
• lddfu - Load double float, update index
• lddi - Load double word
• lddu - Load double word, update index
• ldf - Load word float
• ldfi - Load word float
• ldfu - Load word float, update index
• ldhf - Load half float
• ldhfi - Load half float
• ldhfu - Load half float, update index
• ldi - Load word
• ldsb - Load signed byte
• ldsbi - Load signed byte
• ldsbu - Load signed byte, update index
• ldsh - Load signed half
• ldshi - Load signed half
• ldshu - Load signed half, update index
• ldu - Load word, update index
• ldub - Load unsigned byte
• ldubi - Load unsigned byte
• ldubu - Load unsigned byte, update index
• lduh - Load unsigned half
• lduhi - Load unsigned half
• lduhu - Load unsigned half, update index
• maddhss - Media dual add signed with saturation
• maddhus - Media dual add unsigned with saturation
• mand - and reg/reg
• maveh - Media dual average
• mbtoh - Media convert byte to halfword
• mclracc-0 - Media clear accumulator(s)
• mclracc-1 - Media clear accumulator(s)
• mcmpsh - Media dual compare signed
• mcmpuh - Media dual compare unsigned
• mcpxis - Media dual complex imaginary signed with saturation
• mcpxiu - Media dual complex imaginary unsigned with saturation
• mcpxrs - Media dual complex real signed with saturation
• mcpxru - Media dual complex real unsigned with saturation
• mcut - media accumulator cut reg
• mcuti - media accumulator cut immed
• mcutss - media accumulator cut reg with saturation
• mcutssi - media accumulator cut immed with saturation
• mdpackh - Media dual pack
• membar - memory barrier
• mexpdhd - Media expand halfword to double
• mexpdhw - Media expand halfword to word
• mhtob - Media convert halfword to byte
• mmachs - Media dual multiply and accumulate signed
• mmachu - Media dual multiply and accumulate unsigned
• mmrdhs - Media dual multiply and reduce signed
• mmrdhu - Media dual multiply and reduce unsigned
• mmulhs - Media dual multiply signed
• mmulhu - Media dual multiply unsigned
• mmulxhs - Media dual cross multiply signed
• mmulxhu - Media dual cross multiply unsigned
• mnop - Media nop
• mnot - mnot
• mor - or reg/reg
• movfg - transfer fr to gr
• movfgd - move FR for GR double
• movgf - transfer gr to fr
• movgfd - move GR for FR double
• movgs - transfer gr->spr
• movsg - transfer spr->gr
• mpackh - Media halfword pack
• mqaddhss - Media quad add signed with saturation
• mqaddhus - Media quad add unsigned with saturation
• mqcpxis - Media quad complex imaginary signed with saturation
• mqcpxiu - Media quad complex imaginary unsigned with saturation
• mqcpxrs - Media quad complex real signed with saturation
• mqcpxru - Media quad complex real unsigned with saturation
• mqmachs - Media quad multiply and accumulate signed
• mqmachu - Media quad multiply and accumulate unsigned
• mqmulhs - Media quad multiply signed
• mqmulhu - Media quad multiply unsigned
• mqmulxhs - Media quad cross multiply signed
• mqmulxhu - Media quad cross multiply unsigned
• mqsubhss - Media quad sub signed with saturation
• mqsubhus - Media quad sub unsigned with saturation
• mrdacc - Media read accumulator
• mrdaccg - Media read accumulator guard
• mrotli - rotate left reg/reg
• mrotri - rotate right reg/reg
• msaths - Media dual saturation signed
• msathu - Media dual saturation unsigned
• msllhi - Media dual shift left logical
• msrahi - Media dual shift right arithmetic
• msrlhi - Media dual shift right logical
• msubhss - Media dual sub signed with saturation
• msubhus - Media dual sub unsigned with saturation
• mtrap - media trap
• munpackh - Media halfword unpack
• mwcut - media cut
• mwcuti - media cut
• mwtacc - Media write accumulator
• mwtaccg - Media write accumulator guard
• mxor - xor reg/reg
• nandcr - nand condition code regs
• nandncr - nandn condition code regs
• nfadds - ne add single
• nfdadds - ne dual add, single
• nfdivs - ne div single
• nfdmulcs - NE float dual cross multiply single
• nfdmuls - ne dual mul, single
• nfdsads - ne dual add/sub, single
• nfdsubs - ne dual sub, single
• nfitos - NE convert Integer to Single
• nfmas - ne parallel mul/add,single
• nfmss - ne parallel mul/sub,single
• nfmuls - ne mul single
• nfsqrts - Non exception square root, single
• nfstoi - NE convert Single to Integer
• nfsubs - ne sub single
• nld - Load word
• nldbf - Load byte float
• nldbfi - Load byte float
• nldbfu - Load byte float, update index
• nldd - Load double word
• nlddf - Load double float
• nlddfi - Load double float
• nlddfu - Load double float, update index
• nlddi - Load double word
• nlddu - Load double word, update index
• nldf - Load word float
• nldfi - Load word float
• nldfu - Load word float, update index
• nldhf - Load half float
• nldhfi - Load half float
• nldhfu - Load half float, update index
• nldi - Load word
• nldsb - Load signed byte
• nldsbi - Load signed byte
• nldsbu - Load signed byte, update index
• nldsh - Load signed half
• nldshi - Load signed half
• nldshu - Load signed half, update index
• nldu - Load word, update index
• nldub - Load unsigned byte
• nldubi - Load unsigned byte
• nldubu - Load unsigned byte, update index
• nlduh - Load unsigned half
• nlduhi - Load unsigned half
• nlduhu - Load unsigned half, update index
• norcr - nor condition code regs
• norncr - norn condition code regs
• not - not
• notcr - not cccr register
• nsdiv - non excepting signed division
• nsdivi - non excepting signed division reg/immed
• nudiv - non excepting unsigned division
• nudivi - non excepting unsigned division reg/immed
• or - or reg/reg
• orcc - or reg/reg, set icc
• orcr - or condition code regs
• ori - or reg/immed
• oricc - or reg/immed, set icc
• orncr - orn condition code regs
• rett - return from trap
• scan - scan
• scani - scan immediate
• sdiv - signed division
• sdivi - signed division reg/immed
• sethi - set high order bits
• setlo - set low order bits
• setlos - set low order bits and extend sign
• sll - shift left logical reg/reg
• sllcc - shift left logical reg/reg,set icc
• slli - shift left logical reg/immed
• sllicc - shift left logical reg/immed, set icc
• smul - signed multiply reg/reg
• smulcc - signed multiply reg/reg
• smuli - signed multiply reg/immed
• smulicc - signed multiply reg/immed
• sra - shift right arith reg/reg
• sracc - shift right arith reg/reg,set icc
• srai - shift right arith reg/immed
• sraicc - shift right arith reg/immed, set icc
• srl - shift right logical reg/reg
• srlcc - shift right logical reg/reg,set icc
• srli - shift right logical reg/immed
• srlicc - shift right logical reg/immed, set icc
• st - Store word
• stb - Store unsigned byte
• stbf - Store byte float
• stbfi - Store byte float
• stbfu - Store byte float, update index
• stbi - Store unsigned byte
• stbu - Store unsigned byte, update index
• std - Store double word
• stdf - Store double float
• stdfi - Store double float
• stdfu - Store double float,update index
• stdi - Store double word
• stdu - Store double word, update index
• stf - Store word float
• stfi - Store word float
• stfu - Store word float, update index
• sth - Store unsigned half
• sthf - Store half float
• sthfi - Store half float
• sthfu - Store half float, update index
• sthi - Store unsigned half
• sthu - Store unsigned half, update index
• sti - Store word
• stu - Store word, update index
• sub - sub reg/reg
• subcc - sub reg/reg, set icc
• subi - sub reg/immed
• subicc - sub reg/immed, set icc
• subx - Sub reg/reg, with carry
• subxcc - Sub reg/reg, use/set carry
• subxi - Sub reg/immed, with carry
• subxicc - Sub reg/immed, with carry
• swap - Swap contents of memory with GR
• swapi - Swap contents of memory with GR
• tc - integer trap carry set
• teq - integer trap equal
• tge - integer trap greater or equal
• tgt - integer trap greater
• thi - integer trap greater unsigned
• tic - integer trap carry set
• tieq - integer trap equal
• tige - integer trap greater or equal
• tigt - integer trap greater
• tihi - integer trap greater unsigned
• tile - integer trap less or equal
• tils - integer trap less or equal unsigned
• tilt - integer trap less
• tin - integer trap negative
• tinc - integer trap carry clear
• tine - integer trap not equal
• tino - integer trap never
• tinv - integer trap overflow clear
• tip - integer trap positive
• tira - integer trap always
• tiv - integer trap overflow set
• tle - integer trap less or equal
• tls - integer trap less or equal unsigned
• tlt - integer trap less
• tn - integer trap negative
• tnc - integer trap carry clear
• tne - integer trap not equal
• tno - integer trap never
• tnv - integer trap overflow clear
• tp - integer trap positive
• tra - integer trap always
• tv - integer trap overflow set
• udiv - unsigned division reg/reg
• udivi - unsigned division reg/immed
• umul - unsigned multiply reg/reg
• umulcc - unsigned multiply reg/reg
• umuli - unsigned multiply reg/immed
• umulicc - unsigned multiply reg/immed
• xor - xor reg/reg
• xorcc - xor reg/reg, set icc
• xorcr - xor condition code regs
• xori - xor reg/immed
• xoricc - xor reg/immed, set icc

Individual instructions descriptions

add - add reg/reg

• machines: base


• syntax: add$pack $GRi,$GRj,$GRk


• 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-pack	f-GRk	f-op	f-GRi	f-ICCi_1-null	f-ope2	f-GRj
  pack	GRk	0x0	GRi	0x0	0x0	GRj



• semantics:

  (set GRk (add GRi GRj))
  

• execution unit(s):
  
  
  • fr500: u-integer

addcc - add reg/reg, set icc

• machines: base


• syntax: addcc$pack $GRi,$GRj,$GRk,$ICCi_1


• 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-pack	f-GRk	f-op	f-GRi	f-ICCi_1	f-ope2	f-GRj
  pack	GRk	0x0	GRi	ICCi_1	0x1	GRj



• semantics:

  (sequence
    ((BI tmp) (QI cc) (SI result))
    (set cc ICCi_1)
    (set tmp (add-oflag GRi GRj 0))
    (if (eq tmp 0)
        (set cc (and cc 13))
        (set cc (or cc 2)))
    (set tmp (add-cflag GRi GRj 0))
    (if (eq tmp 0)
        (set cc (and cc 14))
        (set cc (or cc 1)))
    (set result (add GRi GRj))
    (if (eq result 0)
        (set cc (or (and cc 7) 4))
        (if (lt result 0)
            (set cc (or (and cc 11) 8))
            (set cc (and cc 3))))
    (set GRk result)
    (set ICCi_1 cc))
  

• execution unit(s):
  
  
  • fr500: u-integer

addi - add reg/immed

• machines: base


• syntax: addi$pack $GRi,$s12,$GRk


• 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-pack	f-GRk	f-op	f-GRi	f-d12
  pack	GRk	0x10	GRi	s12



• semantics:

  (set GRk (add GRi s12))
  

• execution unit(s):
  
  
  • fr500: u-integer

addicc - add reg/immed, set icc

• machines: base


• syntax: addicc$pack $GRi,$s10,$GRk,$ICCi_1


• 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-pack	f-GRk	f-op	f-GRi	f-ICCi_1	f-s10
  pack	GRk	0x11	GRi	ICCi_1	s10



• semantics:

  (sequence
    ((BI tmp) (QI cc) (SI result))
    (set cc ICCi_1)
    (set tmp (add-oflag GRi s10 0))
    (if (eq tmp 0)
        (set cc (and cc 13))
        (set cc (or cc 2)))
    (set tmp (add-cflag GRi s10 0))
    (if (eq tmp 0)
        (set cc (and cc 14))
        (set cc (or cc 1)))
    (set result (add GRi s10))
    (if (eq result 0)
        (set cc (or (and cc 7) 4))
        (if (lt result 0)
            (set cc (or (and cc 11) 8))
            (set cc (and cc 3))))
    (set GRk result)
    (set ICCi_1 cc))
  

• execution unit(s):
  
  
  • fr500: u-integer

addx - Add reg/reg, with carry

• machines: base


• syntax: addx$pack $GRi,$GRj,$GRk,$ICCi_1


• 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-pack	f-GRk	f-op	f-GRi	f-ICCi_1	f-ope2	f-GRj
  pack	GRk	0x0	GRi	ICCi_1	0x2	GRj



• semantics:

  (set GRk
       (addc GRi GRj (trunc BI (and ICCi_1 1))))
  

• execution unit(s):
  
  
  • fr500: u-integer

addxcc - Add reg/reg, use/set carry

• machines: base


• syntax: addxcc$pack $GRi,$GRj,$GRk,$ICCi_1


• 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-pack	f-GRk	f-op	f-GRi	f-ICCi_1	f-ope2	f-GRj
  pack	GRk	0x0	GRi	ICCi_1	0x3	GRj



• semantics:

  (sequence
    ((WI tmp) (QI cc))
    (set cc ICCi_1)
    (set tmp (addc GRi GRj (trunc BI (and cc 1))))
    (if (eq (add-oflag GRi GRj (trunc BI (and cc 1))) 0)
        (set cc (and cc 13))
        (set cc (or cc 2)))
    (if (eq (add-cflag GRi GRj (trunc BI (and cc 1))) 0)
        (set cc (and cc 14))
        (set cc (or cc 1)))
    (if (eq tmp 0)
        (set cc (or (and cc 7) 4))
        (if (lt tmp 0)
            (set cc (or (and cc 11) 8))
            (set cc (and cc 3))))
    (set GRk tmp)
    (set ICCi_1 cc))
  

• execution unit(s):
  
  
  • fr500: u-integer

addxi - Add reg/immed, with carry

• machines: base


• syntax: addxi$pack $GRi,$s10,$GRk,$ICCi_1


• 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-pack	f-GRk	f-op	f-GRi	f-ICCi_1	f-s10
  pack	GRk	0x12	GRi	ICCi_1	s10



• semantics:

  (set GRk
       (addc GRi s10 (trunc BI (and ICCi_1 1))))
  

• execution unit(s):
  
  
  • fr500: u-integer

addxicc - Add reg/immed, with carry

• machines: base


• syntax: addxicc$pack $GRi,$s10,$GRk,$ICCi_1


• 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-pack	f-GRk	f-op	f-GRi	f-ICCi_1	f-s10
  pack	GRk	0x13	GRi	ICCi_1	s10



• semantics:

  (sequence
    ((WI tmp) (QI cc))
    (set cc ICCi_1)
    (set tmp (addc GRi s10 (trunc BI (and cc 1))))
    (if (eq (add-oflag GRi s10 (trunc BI (and cc 1))) 0)
        (set cc (and cc 13))
        (set cc (or cc 2)))
    (if (eq (add-cflag GRi s10 (trunc BI (and cc 1))) 0)
        (set cc (and cc 14))
        (set cc (or cc 1)))
    (if (eq tmp 0)
        (set cc (or (and cc 7) 4))
        (if (lt tmp 0)
            (set cc (or (and cc 11) 8))
            (set cc (and cc 3))))
    (set GRk tmp)
    (set ICCi_1 cc))
  

• execution unit(s):
  
  
  • fr500: u-integer

and - and reg/reg

• machines: base


• syntax: and$pack $GRi,$GRj,$GRk


• 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-pack	f-GRk	f-op	f-GRi	f-ICCi_1-null	f-ope2	f-GRj
  pack	GRk	0x1	GRi	0x0	0x0	GRj



• semantics:

  (set GRk (and GRi GRj))
  

• execution unit(s):
  
  
  • fr500: u-integer

andcc - and reg/reg, set icc

• machines: base


• syntax: andcc$pack $GRi,$GRj,$GRk,$ICCi_1


• 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-pack	f-GRk	f-op	f-GRi	f-ICCi_1	f-ope2	f-GRj
  pack	GRk	0x1	GRi	ICCi_1	0x1	GRj



• semantics:

  (sequence
    ((SI tmp))
    (set tmp (and GRi GRj))
    (set GRk tmp)
    (if (eq tmp 0)
        (set ICCi_1 (or (and ICCi_1 7) 4))
        (if (lt tmp 0)
            (set ICCi_1 (or (and ICCi_1 11) 8))
            (set ICCi_1 (and ICCi_1 3)))))
  

• execution unit(s):
  
  
  • fr500: u-integer

andcr - and condition code regs

• machines: base


• syntax: andcr$pack $CRi,$CRj,$CRk


• 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-pack	f-misc-null-6	f-CRk	f-op	f-misc-null-7	f-CRi	f-ope1	f-misc-null-8	f-CRj
  pack	0x0	CRk	0xa	0x0	CRi	0x8	0x0	CRj



• semantics:

  (set CRk (c-call UQI "@cpu@_cr_logic" 0 CRi CRj))
  

andi - and reg/immed

• machines: base


• syntax: andi$pack $GRi,$s12,$GRk


• 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-pack	f-GRk	f-op	f-GRi	f-d12
  pack	GRk	0x20	GRi	s12



• semantics:

  (set GRk (and GRi s12))
  

• execution unit(s):
  
  
  • fr500: u-integer

andicc - and reg/immed, set icc

• machines: base


• syntax: andicc$pack $GRi,$s10,$GRk,$ICCi_1


• 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-pack	f-GRk	f-op	f-GRi	f-ICCi_1	f-s10
  pack	GRk	0x21	GRi	ICCi_1	s10



• semantics:

  (sequence
    ((SI tmp))
    (set tmp (and GRi s10))
    (set GRk tmp)
    (if (eq tmp 0)
        (set ICCi_1 (or (and ICCi_1 7) 4))
        (if (lt tmp 0)
            (set ICCi_1 (or (and ICCi_1 11) 8))
            (set ICCi_1 (and ICCi_1 3)))))
  

• execution unit(s):
  
  
  • fr500: u-integer

andncr - andn condition code regs

• machines: base


• syntax: andncr$pack $CRi,$CRj,$CRk


• 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-pack	f-misc-null-6	f-CRk	f-op	f-misc-null-7	f-CRi	f-ope1	f-misc-null-8	f-CRj
  pack	0x0	CRk	0xa	0x0	CRi	0x10	0x0	CRj



• semantics:

  (set CRk (c-call UQI "@cpu@_cr_logic" 5 CRi CRj))
  

bar - barrier

• machines: base


• syntax: bar$pack


• 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-pack	f-rd-null	f-op	f-rs-null	f-ope1	f-GRj-null
  pack	0x0	0x3	0x0	0x3e	0x0



• semantics:

  (nop)
  

• execution unit(s):
  
  
  • fr500: u-barrier

bc - integer branch carry set

• machines: base


• syntax: bc$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0x1	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (trunc BI (and ICCi_2 1)) (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcclr - integer ctrlr branch carry set

• machines: base


• syntax: bcclr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0x1	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (trunc BI (and ICCi_2 1))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bceqlr - integer ctrlr branch equal

• machines: base


• syntax: bceqlr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0x4	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (trunc BI (srl (and ICCi_2 4) 2))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcgelr - integer ctrlr branch greater equal

• machines: base


• syntax: bcgelr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0xb	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (not (xor (trunc BI (srl (and ICCi_2 8) 3))
                    (trunc BI (srl (and ICCi_2 2) 1))))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcgtlr - integer ctrlr branch greater

• machines: base


• syntax: bcgtlr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0xf	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (not (orif (trunc BI (srl (and ICCi_2 4) 2))
                     (xor (trunc BI (srl (and ICCi_2 8) 3))
                          (trunc BI (srl (and ICCi_2 2) 1)))))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bchilr - integer ctrlr branch greater unsigned

• machines: base


• syntax: bchilr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0xd	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (not (orif (trunc BI (and ICCi_2 1))
                     (trunc BI (srl (and ICCi_2 4) 2))))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bclelr - integer ctrlr branch less equal

• machines: base


• syntax: bclelr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0x7	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (orif (trunc BI (srl (and ICCi_2 4) 2))
                (xor (trunc BI (srl (and ICCi_2 8) 3))
                     (trunc BI (srl (and ICCi_2 2) 1))))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bclr - integer cclr branch carry set

• machines: base


• syntax: bclr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x1	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (trunc BI (and ICCi_2 1))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bclslr - integer ctrlr branch less equal unsigned

• machines: base


• syntax: bclslr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0x5	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (orif (trunc BI (and ICCi_2 1))
                (trunc BI (srl (and ICCi_2 4) 2)))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcltlr - integer ctrlr branch less

• machines: base


• syntax: bcltlr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0x3	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (xor (trunc BI (srl (and ICCi_2 8) 3))
               (trunc BI (srl (and ICCi_2 2) 1)))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcnclr - integer ctrlr branch carry clear

• machines: base


• syntax: bcnclr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0x9	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (not (trunc BI (and ICCi_2 1)))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcnelr - integer ctrlr branch not equal

• machines: base


• syntax: bcnelr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0xc	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (not (trunc BI (srl (and ICCi_2 4) 2)))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcnlr - integer ctrlr branch negative

• machines: base


• syntax: bcnlr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0x6	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (trunc BI (srl (and ICCi_2 8) 3))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcnolr - integer ctrlr branch never

• machines: base


• syntax: bcnolr$pack$hint_not_taken


• 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-pack	f-int-cc	f-ICCi_2-null	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x0	0x0	0xe	hint_not_taken	0x3	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint_not_taken)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcnvlr - integer ctrlr branch overflow clear

• machines: base


• syntax: bcnvlr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0xa	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (not (trunc BI (srl (and ICCi_2 2) 1)))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcplr - integer ctrlr branch positive

• machines: base


• syntax: bcplr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0xe	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (not (trunc BI (srl (and ICCi_2 8) 3)))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcralr - integer ctrlr branch always

• machines: base


• syntax: bcralr$pack $ccond$hint_taken


• 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-pack	f-int-cc	f-ICCi_2-null	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0x8	0x0	0xe	hint_taken	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint_taken)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (eq ccond 0)
          (if (ne tmp 0) (set pc (reg h-spr 272)))
          (if (eq tmp 0) (set pc (reg h-spr 272))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bctrlr - LCR conditional branch to lr

• machines: base


• syntax: bctrlr$pack $ccond,$hint


• 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-pack	f-cond-null	f-ICCi_2-null	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0x0	0x0	0xe	hint	0x1	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (eq ccond 0)
          (if (ne tmp 0) (set pc (reg h-spr 272)))
          (if (eq tmp 0) (set pc (reg h-spr 272))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bcvlr - integer ctrlr branch overflow set

• machines: base


• syntax: bcvlr$pack $ICCi_2,$ccond,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond	f-s12-null
  pack	0x2	ICCi_2	0xe	hint	0x3	ccond	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (sequence
      ((SI tmp))
      (set tmp (sub (reg h-spr 273) 1))
      (set (reg h-spr 273) tmp)
      (if (trunc BI (srl (and ICCi_2 2) 1))
          (if (eq ccond 0)
              (if (ne tmp 0) (set pc (reg h-spr 272)))
              (if (eq tmp 0) (set pc (reg h-spr 272)))))))
  

• execution unit(s):
  
  
  • fr500: u-branch

beq - integer branch equal

• machines: base


• syntax: beq$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0x4	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (trunc BI (srl (and ICCi_2 4) 2))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

beqlr - integer cclr branch equal

• machines: base


• syntax: beqlr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x4	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (trunc BI (srl (and ICCi_2 4) 2))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bge - integer branch greater or equal

• machines: base


• syntax: bge$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0xb	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (not (xor (trunc BI (srl (and ICCi_2 8) 3))
                  (trunc BI (srl (and ICCi_2 2) 1))))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bgelr - integer cclr branch greater or equal

• machines: base


• syntax: bgelr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0xb	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (not (xor (trunc BI (srl (and ICCi_2 8) 3))
                  (trunc BI (srl (and ICCi_2 2) 1))))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bgt - integer branch greater

• machines: base


• syntax: bgt$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0xf	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (not (orif (trunc BI (srl (and ICCi_2 4) 2))
                   (xor (trunc BI (srl (and ICCi_2 8) 3))
                        (trunc BI (srl (and ICCi_2 2) 1)))))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bgtlr - integer cclr branch greater

• machines: base


• syntax: bgtlr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0xf	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (not (orif (trunc BI (srl (and ICCi_2 4) 2))
                   (xor (trunc BI (srl (and ICCi_2 8) 3))
                        (trunc BI (srl (and ICCi_2 2) 1)))))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bhi - integer branch greater unsigned

• machines: base


• syntax: bhi$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0xd	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (not (orif (trunc BI (and ICCi_2 1))
                   (trunc BI (srl (and ICCi_2 4) 2))))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bhilr - integer cclr branch greater unsigned

• machines: base


• syntax: bhilr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0xd	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (not (orif (trunc BI (and ICCi_2 1))
                   (trunc BI (srl (and ICCi_2 4) 2))))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

ble - integer branch less or equal

• machines: base


• syntax: ble$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0x7	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (orif (trunc BI (srl (and ICCi_2 4) 2))
              (xor (trunc BI (srl (and ICCi_2 8) 3))
                   (trunc BI (srl (and ICCi_2 2) 1))))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

blelr - integer cclr branch less or equal

• machines: base


• syntax: blelr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x7	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (orif (trunc BI (srl (and ICCi_2 4) 2))
              (xor (trunc BI (srl (and ICCi_2 8) 3))
                   (trunc BI (srl (and ICCi_2 2) 1))))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bls - integer branch less or equal unsigned

• machines: base


• syntax: bls$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0x5	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (orif (trunc BI (and ICCi_2 1))
              (trunc BI (srl (and ICCi_2 4) 2)))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

blslr - integer cclr branch less or equal unsigned

• machines: base


• syntax: blslr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x5	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (orif (trunc BI (and ICCi_2 1))
              (trunc BI (srl (and ICCi_2 4) 2)))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

blt - integer branch less

• machines: base


• syntax: blt$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0x3	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (xor (trunc BI (srl (and ICCi_2 8) 3))
             (trunc BI (srl (and ICCi_2 2) 1)))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bltlr - integer cclr branch less

• machines: base


• syntax: bltlr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x3	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (xor (trunc BI (srl (and ICCi_2 8) 3))
             (trunc BI (srl (and ICCi_2 2) 1)))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bn - integer branch negative

• machines: base


• syntax: bn$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0x6	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (trunc BI (srl (and ICCi_2 8) 3))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bnc - integer branch carry clear

• machines: base


• syntax: bnc$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0x9	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (not (trunc BI (and ICCi_2 1)))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bnclr - integer cclr branch carry clear

• machines: base


• syntax: bnclr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x9	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (not (trunc BI (and ICCi_2 1)))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bne - integer branch not equal

• machines: base


• syntax: bne$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0xc	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (not (trunc BI (srl (and ICCi_2 4) 2)))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bnelr - integer cclr branch not equal

• machines: base


• syntax: bnelr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0xc	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (not (trunc BI (srl (and ICCi_2 4) 2)))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bnlr - integer cclr branch negative

• machines: base


• syntax: bnlr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x6	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (trunc BI (srl (and ICCi_2 8) 3))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bno - integer branch never

• machines: base


• syntax: bno$pack$hint_not_taken


• 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-pack	f-int-cc	f-ICCi_2-null	f-op	f-hint	f-label16-null
  pack	0x0	0x0	0x6	hint_not_taken	0x0



• semantics:

  (c-call
    VOID
    "@cpu@_model_branch"
    label16
    hint_not_taken)
  

• execution unit(s):
  
  
  • fr500: u-branch

bnolr - integer cclr branch never

• machines: base


• syntax: bnolr$pack$hint_not_taken


• 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-pack	f-int-cc	f-ICCi_2-null	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x0	0x0	0xe	hint_not_taken	0x2	0x0	0x0



• semantics:

  (c-call
    VOID
    "@cpu@_model_branch"
    (reg h-spr 272)
    hint_not_taken)
  

• execution unit(s):
  
  
  • fr500: u-branch

bnv - integer branch overflow clear

• machines: base


• syntax: bnv$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0xa	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (not (trunc BI (srl (and ICCi_2 2) 1)))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bnvlr - integer cclr branch overflow clear

• machines: base


• syntax: bnvlr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0xa	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (not (trunc BI (srl (and ICCi_2 2) 1)))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bp - integer branch positive

• machines: base


• syntax: bp$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0xe	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (not (trunc BI (srl (and ICCi_2 8) 3)))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bplr - integer cclr branch positive

• machines: base


• syntax: bplr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0xe	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (not (trunc BI (srl (and ICCi_2 8) 3)))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

bra - integer branch equal

• machines: base


• syntax: bra$pack $hint_taken$label16


• 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-pack	f-int-cc	f-ICCi_2-null	f-op	f-hint	f-label16
  pack	0x8	0x0	0x6	hint_taken	label16



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      label16
      hint_taken)
    (set pc label16))
  

• execution unit(s):
  
  
  • fr500: u-branch

bralr - integer cclr branch always

• machines: base


• syntax: bralr$pack$hint_taken


• 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-pack	f-int-cc	f-ICCi_2-null	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x8	0x0	0xe	hint_taken	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint_taken)
    (set pc (reg h-spr 272)))
  

• execution unit(s):
  
  
  • fr500: u-branch

break - break trap

• machines: base


• syntax: break$pack


• 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-pack	f-rd-null	f-op	f-rs-null	f-misc-null-3	f-ope4	f-GRj-null
  pack	0x0	0x4	0x0	0x0	0x3	0x0



• semantics:

  (sequence
    ()
    (clobber (reg h-spr 2))
    (clobber bpsr_bs)
    (clobber bpsr_bet)
    (clobber psr_s)
    (clobber psr_et)
    (clobber tbr_tt)
    (c-call VOID "frv_break"))
  

bv - integer branch overflow set

• machines: base


• syntax: bv$pack $ICCi_2,$hint,$label16


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-label16
  pack	0x2	ICCi_2	0x6	hint	label16



• semantics:

  (sequence
    ()
    (c-call VOID "@cpu@_model_branch" label16 hint)
    (if (trunc BI (srl (and ICCi_2 2) 1))
        (set pc label16)))
  

• execution unit(s):
  
  
  • fr500: u-branch

bvlr - integer cclr branch overflow set

• machines: base


• syntax: bvlr$pack $ICCi_2,$hint


• 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-pack	f-int-cc	f-ICCi_2	f-op	f-hint	f-ope3	f-ccond-null	f-s12-null
  pack	0x2	ICCi_2	0xe	hint	0x2	0x0	0x0



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_model_branch"
      (reg h-spr 272)
      hint)
    (if (trunc BI (srl (and ICCi_2 2) 1))
        (set pc (reg h-spr 272))))
  

• execution unit(s):
  
  
  • fr500: u-branch

cadd - conditional add

• machines: base


• syntax: cadd$pack $GRi,$GRj,$GRk,$CCi,$cond


• 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-pack	f-GRk	f-op	f-GRi	f-CCi	f-cond	f-ope4	f-GRj
  pack	GRk	0x58	GRi	CCi	cond	0x0	GRj



• semantics:

  (if (eq CCi (or cond 2)) (set GRk (add GRi GRj)))
  

• execution unit(s):
  
  
  • fr500: u-integer

caddcc - add, set icc

• machines: base


• syntax: caddcc$pack $GRi,$GRj,$GRk,$CCi,$cond


• 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-pack	f-GRk	f-op	f-GRi	f-CCi	f-cond	f-ope4	f-GRj
  pack	GRk	0x59	GRi	CCi	cond	0x0	GRj



• semantics:

  (if (eq CCi (or cond 2))
      (sequence
        ((BI tmp) (QI cc) (SI result))
        (set cc (reg h-iccr (and (index-of CCi) 3)))
        (set tmp (add-oflag GRi GRj 0))
        (if (eq tmp 0)
            (set cc (and cc 13))
            (set cc (or cc 2)))
        (set tmp (add-cflag GRi GRj 0))
        (if (eq tmp 0)
            (set cc (and cc 14))
            (set cc (or cc 1)))
        (set result (add GRi GRj))
        (if (eq result 0)
            (set cc (or (and cc 7) 4))
            (if (lt result 0)
                (set cc (or (and cc 11) 8))
                (set cc (and cc 3))))
        (set GRk result)
        (set (reg h-iccr (and (index-of CCi) 3)) cc)))
  

• execution unit(s):
  
  
  • fr500: u-integer

call - call and link

• machines: base


• syntax: call$pack $label24


• 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-pack	f-op	f-label24
  pack	0xf	label24



• semantics:

  (sequence
    ()
    (c-call
      VOID
      "@cpu@_set_write_next_vliw_addr_to_LR"
      1)
    (set pc label24)
    (c-call VOID "@cpu@_model_branch" pc 2))
  

• execution unit(s):
  
  
  • fr500: u-branch

callil - call immediate and link

• machines: base


• syntax: callil$pack @($GRi,$s12)


• 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-pack	f-misc-null-1	f-LI-on	f-op	f-GRi	f-d12
  pack	0x0	0x1	0xd	GRi	s12



• semantics:

  (sequence
    ()
    (if (eq LI 1)
        (c-call
          VOID
          "@cpu@_set_write_next_vliw_addr_to_LR"
          1))
    (set pc (and (add GRi s12) 4294967292))
    (c-call VOID "@cpu@_model_branch" pc 2))
  

• execution unit(s):
  
  
  • fr500: u-branch

calll - call and link

• machines: base


• syntax: calll$pack $callann($GRi,$GRj)


• 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-pack	f-misc-null-1	f-LI-on	f-op	f-GRi	f-misc-null-2	f-GRj
  pack	0x0	0x1	0xc	GRi	0x0	GRj



• semantics:

  (sequence
    ()
    (if (eq LI 1)
        (c-call
          VOID
          "@cpu@_set_write_next_vliw_addr_to_LR"
          1))
    (set pc (and (add GRi GRj) 4294967292))
    (c-call VOID "@cpu@_model_branch" pc 2))
  

• execution unit(s):
  
  
  • fr500: u-branch

cand - conditional and

• machines: base


• syntax: cand$pack $GRi,$GRj,$GRk,$CCi,$cond


• 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-pack	f-GRk	f-op	f-GRi	f-CCi	f-cond	f-ope4	f-GRj
  pack	GRk	0x5a	GRi	CCi	cond	0x0	GRj



• semantics:

  (if (eq CCi (or cond 2)) (set GRk (and GRi GRj)))
  

• execution unit(s):
  
  
  • fr500: u-integer

candcc - conditional and, set icc

• machines: base


• syntax: candcc$pack $GRi,$GRj,$GRk,$CCi,$cond


• 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-pack	f-GRk	f-op	f-GRi	f-CCi	f-cond	f-ope4	f-GRj
  pack	GRk	0x5b	GRi	CCi	cond	0x0	GRj



• semantics:

  (if (eq CCi (or cond 2))
      (sequence
        ((SI tmp))
        (set tmp (and GRi GRj))
        (set GRk tmp)
        (if (eq tmp 0)
            (set (reg h-iccr (and (index-of CCi) 3))
                 (or (and (reg h-iccr (and (index-of CCi) 3)) 7)
                     4))
            (if (lt tmp 0)
                (set (reg h-iccr (and (index-of CCi) 3))
                     (or (and (reg h-iccr (and (index-of CCi) 3)) 11)
                         8))
                (set (reg h-iccr (and (index-of CCi) 3))
                     (and (reg h-iccr (and (index-of CCi) 3)) 3))))))
  

• execution unit(s):
  
  
  • fr500: u-integer

ccalll - conditional call and link

• machines: base


• syntax: ccalll$pack @($GRi,$GRj),$CCi,$cond


• 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-pack	f-misc-null-1	f-LI-on	f-op	f-GRi	f-CCi	f-cond	f-ope4	f-GRj
  pack	0x0	0x1	0x6a	GRi	CCi	cond	0x2	GRj



• semantics:

  (if (eq CCi (or cond 2))
      (sequence
        ()
        (if (eq LI 1)
            (c-call
              VOID
              "@cpu@_set_write_next_vliw_addr_to_LR"
              1))
        (set pc (and (add GRi GRj) 4294967292))
        (c-call VOID "@cpu@_model_branch" pc 2)))
  

• execution unit(s):
  
  
  • fr500: u-branch

cckc - check integer cc carry set

• machines: base


• syntax: cckc$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0x1	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (trunc BI (and ICCi_3 1))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckeq - check integer cc equal

• machines: base


• syntax: cckeq$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0x4	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (trunc BI (srl (and ICCi_3 4) 2))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckge - check integer cc greater or equal

• machines: base


• syntax: cckge$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0xb	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (not (xor (trunc BI (srl (and ICCi_3 8) 3))
                    (trunc BI (srl (and ICCi_3 2) 1))))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckgt - check integer cc greater

• machines: base


• syntax: cckgt$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0xf	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (not (orif (trunc BI (srl (and ICCi_3 4) 2))
                     (xor (trunc BI (srl (and ICCi_3 8) 3))
                          (trunc BI (srl (and ICCi_3 2) 1)))))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckhi - check integer cc greater unsigned

• machines: base


• syntax: cckhi$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0xd	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (not (orif (trunc BI (and ICCi_3 1))
                     (trunc BI (srl (and ICCi_3 4) 2))))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckle - check integer cc less or equal

• machines: base


• syntax: cckle$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0x7	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and ICCi_3 4) 2))
                (xor (trunc BI (srl (and ICCi_3 8) 3))
                     (trunc BI (srl (and ICCi_3 2) 1))))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckls - check integer cc less or equal unsigned

• machines: base


• syntax: cckls$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0x5	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (and ICCi_3 1))
                (trunc BI (srl (and ICCi_3 4) 2)))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

ccklt - check integer cc less

• machines: base


• syntax: ccklt$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0x3	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (xor (trunc BI (srl (and ICCi_3 8) 3))
               (trunc BI (srl (and ICCi_3 2) 1)))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckn - check integer cc negative

• machines: base


• syntax: cckn$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0x6	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (trunc BI (srl (and ICCi_3 8) 3))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

ccknc - check integer cc carry clear

• machines: base


• syntax: ccknc$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0x9	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (not (trunc BI (and ICCi_3 1)))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckne - check integer cc not equal

• machines: base


• syntax: cckne$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0xc	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (not (trunc BI (srl (and ICCi_3 4) 2)))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckno - conditional check integer cc never

• machines: base


• syntax: cckno$pack $CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3-null
  pack	0x0	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	0x0



• semantics:

  (if (eq CCi (or cond 2))
      (set CRj_int 2)
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

ccknv - check integer cc overflow clear

• machines: base


• syntax: ccknv$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0xa	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (not (trunc BI (srl (and ICCi_3 2) 1)))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckp - check integer cc positive

• machines: base


• syntax: cckp$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0xe	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (not (trunc BI (srl (and ICCi_3 8) 3)))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckra - conditional check integer cc always

• machines: base


• syntax: cckra$pack $CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3-null
  pack	0x8	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	0x0



• semantics:

  (if (eq CCi (or cond 2))
      (set CRj_int 3)
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cckv - check integer cc overflow set

• machines: base


• syntax: cckv$pack $ICCi_3,$CRj_int,$CCi,$cond


• 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-pack	f-int-cc	f-CRj_int	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-ICCi_3
  pack	0x2	CRj_int	0x6a	0x0	CCi	cond	0x0	0x0	ICCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (trunc BI (srl (and ICCi_3 2) 1))
          (set CRj_int 3)
          (set CRj_int 2))
      (set CRj_int 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfabss - Conditional floating point absolute value, single

• machines: simple tomcat fr500 fr550 frv


• syntax: cfabss$pack $FRj,$FRk,$CCi,$cond


• 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-pack	f-FRk	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-FRj
  pack	FRk	0x6c	0x0	CCi	cond	0x2	FRj



• semantics:

  (if (eq CCi (or cond 2)) (set FRk (abs FRj)))
  

• execution unit(s):
  
  
  • fr500: u-float-arith

cfadds - cond add single

• machines: simple tomcat fr500 fr550 frv


• syntax: cfadds$pack $FRi,$FRj,$FRk,$CCi,$cond


• 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-pack	f-FRk	f-op	f-FRi	f-CCi	f-cond	f-ope4	f-FRj
  pack	FRk	0x6d	FRi	CCi	cond	0x0	FRj



• semantics:

  (if (eq CCi (or cond 2)) (set FRk (add FRi FRj)))
  

• execution unit(s):
  
  
  • fr500: u-float-arith

cfckeq - check float cc equal

• machines: base


• syntax: cfckeq$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0x8	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (trunc BI (srl (and FCCi_3 8) 3))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckge - check float cc greater or equal

• machines: base


• syntax: cfckge$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0xa	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and FCCi_3 8) 3))
                (trunc BI (srl (and FCCi_3 2) 1)))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckgt - check float cc greater

• machines: base


• syntax: cfckgt$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0x2	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (trunc BI (srl (and FCCi_3 2) 1))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckle - check float cc less or equal

• machines: base


• syntax: cfckle$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0xc	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and FCCi_3 8) 3))
                (trunc BI (srl (and FCCi_3 4) 2)))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfcklg - check float cc greater or less

• machines: base


• syntax: cfcklg$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0x6	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and FCCi_3 4) 2))
                (trunc BI (srl (and FCCi_3 2) 1)))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfcklt - check float cc less

• machines: base


• syntax: cfcklt$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0x4	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (trunc BI (srl (and FCCi_3 4) 2))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckne - check float cc not equal

• machines: base


• syntax: cfckne$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0x7	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and FCCi_3 4) 2))
                (orif (trunc BI (srl (and FCCi_3 2) 1))
                      (trunc BI (and FCCi_3 1))))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckno - conditional check float cc never

• machines: base


• syntax: cfckno$pack $CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3-null
  pack	0x0	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	0x0



• semantics:

  (if (eq CCi (or cond 2))
      (set CRj_float 2)
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfcko - check float cc ordered

• machines: base


• syntax: cfcko$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0xe	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and FCCi_3 8) 3))
                (orif (trunc BI (srl (and FCCi_3 4) 2))
                      (trunc BI (srl (and FCCi_3 2) 1))))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckra - conditional check float cc always

• machines: base


• syntax: cfckra$pack $CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3-null
  pack	0xf	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	0x0



• semantics:

  (if (eq CCi (or cond 2))
      (set CRj_float 3)
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfcku - check float cc unordered

• machines: base


• syntax: cfcku$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0x1	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (trunc BI (and FCCi_3 1))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckue - check float cc unordered or equal

• machines: base


• syntax: cfckue$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0x9	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and FCCi_3 8) 3))
                (trunc BI (and FCCi_3 1)))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckug - check float cc unordered or greater

• machines: base


• syntax: cfckug$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0x3	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and FCCi_3 2) 1))
                (trunc BI (and FCCi_3 1)))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckuge - check float cc unordered greater or equal

• machines: base


• syntax: cfckuge$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0xb	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and FCCi_3 8) 3))
                (orif (trunc BI (srl (and FCCi_3 2) 1))
                      (trunc BI (and FCCi_3 1))))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckul - check float cc unordered or less

• machines: base


• syntax: cfckul$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0x5	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and FCCi_3 4) 2))
                (trunc BI (and FCCi_3 1)))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfckule - check float cc unordered less or equal

• machines: base


• syntax: cfckule$pack $FCCi_3,$CRj_float,$CCi,$cond


• 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-pack	f-flt-cc	f-CRj_float	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-misc-null-9	f-FCCi_3
  pack	0xd	CRj_float	0x6a	0x0	CCi	cond	0x1	0x0	FCCi_3



• semantics:

  (if (eq CCi (or cond 2))
      (if (orif (trunc BI (srl (and FCCi_3 8) 3))
                (orif (trunc BI (srl (and FCCi_3 4) 2))
                      (trunc BI (and FCCi_3 1))))
          (set CRj_float 3)
          (set CRj_float 2))
      (set CRj_float 0))
  

• execution unit(s):
  
  
  • fr500: u-check

cfcmps - Conditional compare single, float

• machines: simple tomcat fr500 fr550 frv


• syntax: cfcmps$pack $FRi,$FRj,$FCCi_2,$CCi,$cond


• 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-pack	f-cond-null	f-FCCi_2	f-op	f-FRi	f-CCi	f-cond	f-ope4	f-FRj
  pack	0x0	FCCi_2	0x6d	FRi	CCi	cond	0x2	FRj



• semantics:

  (if (eq CCi (or cond 2))
      (if (gt FRi FRj)
          (set FCCi_2 2)
          (if (eq FRi FRj)
              (set FCCi_2 8)
              (if (lt FRi FRj) (set FCCi_2 4) (set FCCi_2 1)))))
  

• execution unit(s):
  
  
  • fr500: u-float-compare

cfdivs - cond div single

• machines: simple tomcat fr500 fr550 frv


• syntax: cfdivs$pack $FRi,$FRj,$FRk,$CCi,$cond


• 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-pack	f-FRk	f-op	f-FRi	f-CCi	f-cond	f-ope4	f-FRj
  pack	FRk	0x6e	FRi	CCi	cond	0x1	FRj



• semantics:

  (if (eq CCi (or cond 2)) (set FRk (div FRi FRj)))
  

• execution unit(s):
  
  
  • fr500: u-float-div

cfitos - Conditional convert Integer to Single

• machines: simple tomcat fr500 fr550 frv


• syntax: cfitos$pack $FRintj,$FRk,$CCi,$cond


• 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-pack	f-FRk	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-FRj
  pack	FRk	0x6b	0x0	CCi	cond	0x0	FRintj



• semantics:

  (if (eq CCi (or cond 2))
      (set FRk (float SF FRintj)))
  

• execution unit(s):
  
  
  • fr500: u-float-convert

cfmas - conditional parallel mul/add, single

• machines: simple tomcat fr500 fr550 frv


• syntax: cfmas$pack $FRi,$FRj,$FRk,$CCi,$cond


• 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-pack	f-FRk	f-op	f-FRi	f-CCi	f-cond	f-ope4	f-FRj
  pack	FRk	0x6f	FRi	CCi	cond	0x2	FRj



• semantics:

  (if (eq CCi (or cond 2))
      (sequence
        ()
        (set FRk (mul FRi FRj))
        (set (reg h-fr (add (index-of FRk) 1))
             (add (reg h-fr (add (index-of FRi) 1))
                  (reg h-fr (add (index-of FRj) 1))))))
  

• execution unit(s):
  
  
  • fr500: u-float-dual-arith

cfmovs - Conditional move Single Float

• machines: simple tomcat fr500 fr550 frv


• syntax: cfmovs$pack $FRj,$FRk,$CCi,$cond


• 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-pack	f-FRk	f-op	f-rs-null	f-CCi	f-cond	f-ope4	f-FRj
  pack	FRk	0x6c	0x0	CCi	cond	0x0	FRj



• semantics:

  (if (eq CCi (or cond 2)) (set FRk FRj))
  

• execution unit(s):
  
  
  • fr500: u-fr2fr

cfmss - conditional parallel mul/sub, single

• machines: simple tomcat fr500 fr550 frv


• syntax: cfmss$pack $FRi,$FRj,$FRk,$CCi,$cond


• 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-pack	f-FRk	f-op	f-FRi	f-CCi	f-cond	f-ope4	f-FRj
  pack	FRk	0x6f	FRi	CCi	cond	0x3	FRj



• semantics:

  (if (eq CCi (or cond 2))
      (sequence
        ()
        (set FRk (mul FRi FRj))
        (set (reg h-fr (add (index-of FRk) 1))
             (sub (reg h-fr (add (index-of FRi) 1))
                  (reg h-fr (add (index-of FRj) 1))))))
  

• execution unit(s):
  
  
  • fr500: u-float-dual-arith