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
 [smlnj] / sml / trunk / src / MLRISC / x86 / instructions / x86Props.sml

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

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