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

SCM Repository

[smlnj] Diff of /sml/trunk/src/MLRISC/mltree/mltree-mult.sig
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/mltree/mltree-mult.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 476, Wed Nov 10 22:59:58 1999 UTC revision 545, Thu Feb 24 13:56:44 2000 UTC
# Line 16  Line 16 
16    
17     val multiply : {r:C.cell,i:int,d:C.cell} -> I.instruction list     val multiply : {r:C.cell,i:int,d:C.cell} -> I.instruction list
18    
    (* The semantics of roundToZero{r,i,d} is:  
     *   if r >= 0 then d <- r  
     *   else d <- r + i  
     *)  
   
19     val divide   : { mode:T.Basis.rounding_mode,     val divide   : { mode:T.Basis.rounding_mode,
20                      roundToZero : {ty:T.ty,r:C.cell,i:int,d:C.cell}                      stm :('s,'r,'f,'c) T.stm -> unit
21                                      -> unit                    } -> {r:C.cell,i:int,d:C.cell} -> I.instruction list
                   } ->  
                   {r:C.cell,i:int,d:C.cell} -> I.instruction list  
22    
23  end  end

Legend:
Removed from v.476  
changed lines
  Added in v.545

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