(* Opcodes for the simple primitives. *)

local open Fnlib Prim Opcodes in

val opcode_for_primitive = fn
    Pupdate => UPDATE
  | Praise => RAISE
  | Pnot => BOOLNOT
  | Ptag_of => TAGOF
  | Paddint => ADDINT
  | Psubint => SUBINT
  | Pmulint => MULINT
  | Pdivint => DIVINT
  | Pmodint => MODINT
  | Pandint => ANDINT
  | Porint => ORINT
  | Pxorint => XORINT
  | Pshiftleftint => SHIFTLEFTINT
  | Pshiftrightintsigned => SHIFTRIGHTINTSIGNED
  | Pshiftrightintunsigned => SHIFTRIGHTINTUNSIGNED
  | Pintoffloat => INTOFFLOAT
  | Pstringlength => STRINGLENGTH
  | Pgetstringchar => GETSTRINGCHAR
  | Psetstringchar => SETSTRINGCHAR
  | Pmakevector => MAKEVECTOR
  | Pvectlength => VECTLENGTH
  | Pgetvectitem => GETVECTITEM
  | Psetvectitem => SETVECTITEM
  | Psmlnegint => SMLNEGINT
  | Psmlsuccint => SMLSUCCINT
  | Psmlpredint => SMLPREDINT
  | Psmladdint => SMLADDINT
  | Psmlsubint => SMLSUBINT
  | Psmlmulint => SMLMULINT
  | Psmldivint => SMLDIVINT
  | Psmlmodint => SMLMODINT
  | Pmakerefvector => MAKEREFVECTOR
  | Psmlquotint => SMLQUOTINT
  | Psmlremint   => SMLREMINT
  | Pswap => SWAP
  | _ => fatalError "opcode_for_primitive"
;

val opcode_for_float_primitive = fn
    Pfloatofint => FLOATOFINT
  | Psmlnegfloat => SMLNEGFLOAT
  | Psmladdfloat => SMLADDFLOAT
  | Psmlsubfloat => SMLSUBFLOAT
  | Psmlmulfloat => SMLMULFLOAT
  | Psmldivfloat => SMLDIVFLOAT
;

end;