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 1101, Thu Feb 28 17:35:18 2002 UTC revision 1133, Tue Mar 12 03:56:23 2002 UTC
# Line 124  Line 124 
124    
125    exception NotImplemented    exception NotImplemented
126    
127    fun setTargets(I.ANNOTATION{i,a},l) = I.ANNOTATION{i=setTargets(i,l),a=a}    fun setJumpTarget(I.ANNOTATION{a,i}, l) = I.ANNOTATION{a=a, i=setJumpTarget(i,l)}
128      | setTargets(I.INSTR(I.JMP(I.ImmedLabel _,_)), [l]) = jump l      | setJumpTarget(I.INSTR(I.JMP(I.ImmedLabel _, _)), lab) = jump lab
129      | setTargets(I.INSTR(I.JCC{cond,opnd=I.ImmedLabel _}),[f,t]) =      | setJumpTarget _ = error "setJumpTarget"
130    
131      fun setBranchTargets{i=I.ANNOTATION{a,i}, t, f} =
132            I.ANNOTATION{a=a, i=setBranchTargets{i=i, t=t, f=f}}
133        | setBranchTargets{i=I.INSTR(I.JCC{cond,opnd=I.ImmedLabel _}), t, ...} =
134          I.jcc{cond=cond,opnd=I.ImmedLabel(T.LABEL t)}          I.jcc{cond=cond,opnd=I.ImmedLabel(T.LABEL t)}
135      | setTargets(i,_) = error "setTargets"      | setBranchTargets _ = error "setBranchTargets"
136    
137    fun negateConditional (I.ANNOTATION{i,a}, lab) =    fun negateConditional (I.ANNOTATION{i,a}, lab) =
138          I.ANNOTATION{i=negateConditional(i,lab), a=a}          I.ANNOTATION{i=negateConditional(i,lab), a=a}

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

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