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-basis.sml
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/mltree/mltree-basis.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 409 - (view) (download)

1 : monnier 409 structure MLTreeBasis : MLTREE_BASIS =
2 :     struct
3 :    
4 :     datatype cond = LT | LTU | LE | LEU | EQ | NE | GE | GEU | GT | GTU
5 :    
6 :     datatype fcond = ? | !<=> | == | ?= | !<> | !?>= | < | ?< | !>= | !?> |
7 :     <= | ?<= | !> | !?<= | > | ?> | !<= | !?< | >= | ?>= |
8 :     !< | !?= | <> | != | !? | <=> | ?<>
9 :    
10 :     datatype ext = SIGN_EXTEND | ZERO_EXTEND
11 :    
12 :     datatype rounding_mode = TO_NEAREST | TO_NEGINF | TO_POSINF | TO_ZERO
13 :    
14 :     type attribs = word
15 :    
16 :     type misc_op = {ty:int,name:string,attribs:attribs,hash:word}
17 :    
18 :     (* Should be datatypes, but FLINT does not optimize them well *)
19 :     type ty = int
20 :     type fty = int
21 :    
22 :     end

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