Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/mltree/mltree-basis.sig
ViewVC logotype

View of /sml/trunk/src/MLRISC/mltree/mltree-basis.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 731 - (download) (as text) (annotate)
Fri Nov 10 22:57:45 2000 UTC (18 years, 9 months ago) by leunga
File size: 1316 byte(s)

A new x86 floating point code generator.  By default it is off.
See HISTORY for details.   CVS tag=leunga-20001110-new-x86-fp
signature MLTREE_BASIS =
sig
 
  datatype cond = LT | LTU | LE | LEU | EQ | NE | GE | GEU | GT | GTU 

  datatype fcond = ? | !<=> | == | ?= | !<> | !?>= | < | ?< | !>= | !?> |
                   <= | ?<= | !> | !?<= | > | ?> | !<= | !?< | >= | ?>= |
                   !< | !?= | <> | != | !? | <=> | ?<> 

  datatype rounding_mode = TO_NEAREST | TO_NEGINF | TO_POSINF | TO_ZERO

  datatype ext = SIGN_EXTEND | ZERO_EXTEND

  type attribs = word

  type misc_op = {name:string,attribs:attribs,hash:word}

  (* Should be datatypes, but FLINT does not optimize them well *)
  type ty = int
  type fty = int

  (* Invert the conditional when swapping the two arguments
   * of the comparision.  IMPORTANT: this is not the negation!
   *)
  val swapCond : cond -> cond

  (* Invert the conditional when swapping the two arguments
   * of the comparision.  IMPORTANT: this is not the negation!
   *)
  val swapFcond : fcond -> fcond

  (* This is the negation! *)
  val negateCond : cond -> cond

  (* hashing functions *)
  val hashCond         : cond -> word
  val hashFcond        : fcond -> word
  val hashRoundingMode : rounding_mode -> word

  (* pretty printing *)
  val condToString         : cond -> string
  val fcondToString        : fcond -> string
  val roundingModeToString : rounding_mode -> string
 
end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0