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/instructions/x86Props.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/x86/instructions/x86Props.sml

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

revision 1100, Thu Feb 28 17:33:42 2002 UTC revision 1101, Thu Feb 28 17:35:18 2002 UTC
# Line 132  Line 132 
132    
133    fun negateConditional (I.ANNOTATION{i,a}, lab) =    fun negateConditional (I.ANNOTATION{i,a}, lab) =
134          I.ANNOTATION{i=negateConditional(i,lab), a=a}          I.ANNOTATION{i=negateConditional(i,lab), a=a}
135      | negateConditional (I.INSTR(I.JCC{cond,opnd=I.ImmedLabel _}), lab) = let      | negateConditional (I.INSTR(I.JCC{cond,opnd=I.ImmedLabel(T.LABEL _)}), lab) =
136            let
137          val cond' = (case cond          val cond' = (case cond
138                 of I.EQ => I.NE                 of I.EQ => I.NE
139                  | I.NE => I.EQ                  | I.NE => I.EQ
# Line 152  Line 153 
153                  | I.NO => I.O                  | I.NO => I.O
154                (* end case *))                (* end case *))
155          in          in
156            I.INSTR(I.JCC{cond=cond', opnd=I.ImmedLabel lab})            I.INSTR(I.JCC{cond=cond', opnd=I.ImmedLabel(T.LABEL lab)})
157          end          end
158      | negateConditional _ = error "negateConditional"      | negateConditional _ = error "negateConditional"
159    

Legend:
Removed from v.1100  
changed lines
  Added in v.1101

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