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-fp.sml
ViewVC logotype

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

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

revision 744, Fri Dec 8 04:11:42 2000 UTC revision 775, Fri Jan 12 01:17:51 2001 UTC
# Line 71  Line 71 
71  struct  struct
72     structure F  = Flowgraph     structure F  = Flowgraph
73     structure I  = X86Instr     structure I  = X86Instr
74       structure T  = I.T
75     structure P  = X86Props     structure P  = X86Props
76     structure C  = I.C     structure C  = I.C
77     structure A  = Array     structure A  = Array
# Line 1054  Line 1055 
1055                 val exits   = ref []                 val exits   = ref []
1056    
1057                 (* retarget the branch of block *)                 (* retarget the branch of block *)
1058                 fun retarget(I.JMP(I.ImmedLabel(LE.LABEL _), [_])::rest, l) =                 fun retarget(I.JMP(I.ImmedLabel(T.LABEL _), [_])::rest, l) =
1059                       I.JMP(I.ImmedLabel(LE.LABEL l), [l])::rest                       I.JMP(I.ImmedLabel(T.LABEL l), [l])::rest
1060                   | retarget(I.JCC{cond,opnd=I.ImmedLabel(LE.LABEL _)}::rest,l)=                   | retarget(I.JCC{cond,opnd=I.ImmedLabel(T.LABEL _)}::rest,l)=
1061                       I.JCC{cond=cond,opnd=I.ImmedLabel(LE.LABEL l)}::rest                       I.JCC{cond=cond,opnd=I.ImmedLabel(T.LABEL l)}::rest
1062                   | retarget(_,l) = error "retarget"                   | retarget(_,l) = error "retarget"
1063    
1064                 (* Translate repair code to actual block *)                 (* Translate repair code to actual block *)

Legend:
Removed from v.744  
changed lines
  Added in v.775

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