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 1098, Wed Feb 27 17:29:47 2002 UTC revision 1099, Thu Feb 28 16:50:25 2002 UTC
# Line 36  Line 36 
36            | I.SOURCE _ => IK_SOURCE            | I.SOURCE _ => IK_SOURCE
37            | I.SINK _   => IK_SINK            | I.SINK _   => IK_SINK
38            | I.RET _ => IK_JUMP            | I.RET _ => IK_JUMP
39              | I.INTO => IK_JUMP
40            | _ => IK_INSTR)            | _ => IK_INSTR)
41      | instrKind _ = IK_INSTR      | instrKind _ = IK_INSTR
42    
# Line 115  Line 116 
116           | I.JCC{opnd=I.ImmedLabel(T.LABEL(lab)), ...} =>           | I.JCC{opnd=I.ImmedLabel(T.LABEL(lab)), ...} =>
117               [FALLTHROUGH, LABELLED lab]               [FALLTHROUGH, LABELLED lab]
118           | I.CALL{cutsTo, ...} => FALLTHROUGH :: map LABELLED cutsTo           | I.CALL{cutsTo, ...} => FALLTHROUGH :: map LABELLED cutsTo
119             | I.INTO => [ESCAPES]
120           |  _ => error "branchTargets")           |  _ => error "branchTargets")
121      | branchTargets _ = error "branchTargets"      | branchTargets _ = error "branchTargets"
122    
# Line 124  Line 126 
126    
127    fun setTargets(I.ANNOTATION{i,a},l) = I.ANNOTATION{i=setTargets(i,l),a=a}    fun setTargets(I.ANNOTATION{i,a},l) = I.ANNOTATION{i=setTargets(i,l),a=a}
128      | setTargets(I.INSTR(I.JMP(I.ImmedLabel _,_)), [l]) = jump l      | setTargets(I.INSTR(I.JMP(I.ImmedLabel _,_)), [l]) = jump l
     | setTargets(I.INSTR(I.JMP _), _) = error "setTargets"  
129      | setTargets(I.INSTR(I.JCC{cond,opnd=I.ImmedLabel _}),[f,t]) =      | setTargets(I.INSTR(I.JCC{cond,opnd=I.ImmedLabel _}),[f,t]) =
130          I.jcc{cond=cond,opnd=I.ImmedLabel(T.LABEL t)}          I.jcc{cond=cond,opnd=I.ImmedLabel(T.LABEL t)}
131      | setTargets(I.INSTR(I.JCC _),_) = error "setTargets"      | setTargets(i,_) = error "setTargets"
     | setTargets(i,_) = i  
132    
133    fun negateConditional _ = raise NotImplemented    fun negateConditional _ = raise NotImplemented
134    

Legend:
Removed from v.1098  
changed lines
  Added in v.1099

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