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

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

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

revision 1119, Wed Mar 6 15:52:44 2002 UTC revision 1120, Wed Mar 6 17:16:36 2002 UTC
# Line 1  Line 1 
1    (* mltree-basis.sig
2     *
3     * COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies
4     *)
5    
6  signature MLTREE_BASIS =  signature MLTREE_BASIS =
7  sig  sig
8    
# Line 9  Line 14 
14                  | SETCC                  | SETCC
15                  | MISC_COND of {name:string, hash:word, attribs:word ref}                  | MISC_COND of {name:string, hash:word, attribs:word ref}
16    
17    datatype fcond = ? | !<=> | == | ?= | !<> | !?>= | < | ?< | !>= | !?> |  (* Floating-point conditions; the semantics follow the IEEE specification and
18                     <= | ?<= | !> | !?<= | > | ?> | !<= | !?< | >= | ?>= |   * are determined by four properties:  GT -- greater than, EQ -- equal,
19                     !< | !?= | <> | != | !? | <=> | ?<> | SETFCC |   * LT -- less than, UO -- unordered.  In the table below, we have a column
20                    MISC_FCOND of {name:string, hash:word, attribs:word ref}   * for each of these properties and one for the negation of the operator.
21     *)
22      datatype fcond        (* GT   EQ   LT   UO   negation *)
23                            (* ---  ---  ---  ---  -------- *)
24        = ==                (*  F    T    F    F      ?<>   *)
25        | ?<>               (*  T    F    T    T      ==    *)
26        | >                 (*  T    F    F    F      ?<=   *)
27        | >=                (*  T    T    F    F      ?<    *)
28        | <                 (*  F    F    F    F      ?>=   *)
29        | <=                (*  F    T    F    F      ?>    *)
30        | ?                 (*  F    F    F    T      <=>   *)
31        | <>                (*  T    F    T    F      ?=    *)
32        | <=>               (*  T    T    T    F      ?     *)
33        | ?>                (*  T    F    F    T      <=    *)
34        | ?>=               (*  T    T    F    T      <     *)
35        | ?<                (*  F    F    F    T      >=    *)
36        | ?<=               (*  F    T    F    T      >     *)
37        | ?=                (*  F    T    F    T      <>    *)
38        | SETFCC
39        | MISC_FCOND of {name:string, hash:word, attribs:word ref}
40    
41    datatype rounding_mode = TO_NEAREST | TO_NEGINF | TO_POSINF | TO_ZERO    datatype rounding_mode = TO_NEAREST | TO_NEGINF | TO_POSINF | TO_ZERO
42    

Legend:
Removed from v.1119  
changed lines
  Added in v.1120

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