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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 545 - (view) (download) (as text)

1 : monnier 409 (*
2 :     * Let's generate good multiplication/division code!
3 :     *
4 :     * -- Allen
5 :     *)
6 :     signature MLTREE_MULT_DIV =
7 :     sig
8 :    
9 :     structure T : MLTREE
10 :     structure I : INSTRUCTIONS
11 :     structure C : CELLS
12 :     sharing C = I.C
13 :     sharing I.Constant = T.Constant
14 :    
15 :     exception TooComplex
16 :    
17 : monnier 429 val multiply : {r:C.cell,i:int,d:C.cell} -> I.instruction list
18 : monnier 409
19 : monnier 475 val divide : { mode:T.Basis.rounding_mode,
20 : george 545 stm :('s,'r,'f,'c) T.stm -> unit
21 :     } -> {r:C.cell,i:int,d:C.cell} -> I.instruction list
22 : monnier 409
23 :     end

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