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/x86/mltree/x86.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/x86/mltree/x86.sml

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

revision 900, Tue Aug 14 15:10:12 2001 UTC revision 909, Fri Aug 24 17:48:53 2001 UTC
# Line 71  Line 71 
71    structure W32 = Word32    structure W32 = Word32
72    structure LE = I.LabelExp    structure LE = I.LabelExp
73    structure A = MLRiscAnnotations    structure A = MLRiscAnnotations
74      structure CFG = ExtensionComp.CFG
75    structure CB = CellsBasis    structure CB = CellsBasis
76    
77    type instrStream = (I.instruction,C.cellset) T.stream    type instrStream = (I.instruction,C.cellset,CFG.cfg) T.stream
78    type mltreeStream = (T.stm,T.mlrisc list) T.stream    type mltreeStream = (T.stm,T.mlrisc list,CFG.cfg) T.stream
79    
80    datatype kind = REAL | INTEGER    datatype kind = REAL | INTEGER
81    
# Line 147  Line 148 
148        fun trap() =        fun trap() =
149        let val jmp =        let val jmp =
150              case !trapLabel of              case !trapLabel of
151                NONE => let val label = Label.newLabel "trap"                NONE => let val label = Label.label "trap" ()
152                            val jmp   = I.JCC{cond=I.O,                            val jmp   = I.JCC{cond=I.O,
153                                              opnd=I.ImmedLabel(T.LABEL label)}                                              opnd=I.ImmedLabel(T.LABEL label)}
154                        in  trapLabel := SOME(jmp, label); jmp end                        in  trapLabel := SOME(jmp, label); jmp end
# Line 554  Line 555 
555                       let val pow = T.LI(T.I.fromInt(32,log2 w))                       let val pow = T.LI(T.I.fromInt(32,log2 w))
556                       in  if signed then                       in  if signed then
557                           (* signed; simulate round towards zero *)                           (* signed; simulate round towards zero *)
558                           let val label = Label.newLabel ""                           let val label = Label.anon()
559                               val reg1  = expr e1                               val reg1  = expr e1
560                               val opnd1 = I.Direct reg1                               val opnd1 = I.Direct reg1
561                           in  if setZeroBit e1 then ()                           in  if setZeroBit e1 then ()

Legend:
Removed from v.900  
changed lines
  Added in v.909

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