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

Diff of /sml/trunk/src/MLRISC/sparc/instructions/sparcProps.sml

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

revision 1123, Thu Mar 7 19:13:25 2002 UTC revision 1124, Thu Mar 7 19:49:22 2002 UTC
# Line 39  Line 39 
39          | (I.RET _)   => IK_JUMP          | (I.RET _)   => IK_JUMP
40          | (I.BR _)    => IK_JUMP          | (I.BR _)    => IK_JUMP
41          | (I.BP _)    => IK_JUMP          | (I.BP _)    => IK_JUMP
42            | (I.Ticc {t=I.BA, ...}) => IK_JUMP (* trap always *)
43          | (I.CALL{cutsTo=_::_,...})  => IK_CALL_WITH_CUTS          | (I.CALL{cutsTo=_::_,...})  => IK_CALL_WITH_CUTS
44          | (I.CALL _)  => IK_CALL          | (I.CALL _)  => IK_CALL
45          | (I.JMPL{cutsTo=_::_,...})  => IK_CALL_WITH_CUTS          | (I.JMPL{cutsTo=_::_,...})  => IK_CALL_WITH_CUTS
# Line 64  Line 65 
65           | (I.JMP{labs,...})    => map LABELLED labs           | (I.JMP{labs,...})    => map LABELLED labs
66           | (I.CALL{cutsTo,...}) => FALLTHROUGH::map LABELLED cutsTo           | (I.CALL{cutsTo,...}) => FALLTHROUGH::map LABELLED cutsTo
67           | (I.JMPL{cutsTo,...}) => FALLTHROUGH::map LABELLED cutsTo           | (I.JMPL{cutsTo,...}) => FALLTHROUGH::map LABELLED cutsTo
68             | (I.Ticc{t=I.BA, ...}) => [ESCAPES]
69           |  _ => error "branchTargets"           |  _ => error "branchTargets"
70        (*esac*))        (*esac*))
71      | branchTargets _  = error "branchTargets"      | branchTargets _  = error "branchTargets"

Legend:
Removed from v.1123  
changed lines
  Added in v.1124

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