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/branches/idlbasis-devel/src/MLRISC/ppc/instructions/ppcProps.sml
ViewVC logotype

Diff of /sml/branches/idlbasis-devel/src/MLRISC/ppc/instructions/ppcProps.sml

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

revision 858, Wed Jun 27 21:20:27 2001 UTC revision 859, Wed Jun 27 21:43:12 2001 UTC
# Line 10  Line 10 
10    fun error msg = MLRiscErrorMsg.error("PPCProps",msg)    fun error msg = MLRiscErrorMsg.error("PPCProps",msg)
11    
12    datatype kind = IK_JUMP | IK_NOP | IK_INSTR | IK_COPY | IK_CALL    datatype kind = IK_JUMP | IK_NOP | IK_INSTR | IK_COPY | IK_CALL
13                  | IK_PHI | IK_SOURCE | IK_SINK                  | IK_CALL_WITH_CUTS | IK_PHI | IK_SOURCE | IK_SINK
14    datatype target = LABELLED of Label.label | FALLTHROUGH | ESCAPES    datatype target = LABELLED of Label.label | FALLTHROUGH | ESCAPES
15    
16    (* This stupid architecture doesn't really have a dedicated zero register *)    (* This stupid architecture doesn't really have a dedicated zero register *)
# Line 24  Line 24 
24           else IK_INSTR           else IK_INSTR
25      | instrKind(I.COPY _) = IK_COPY      | instrKind(I.COPY _) = IK_COPY
26      | instrKind(I.FCOPY _) = IK_COPY      | instrKind(I.FCOPY _) = IK_COPY
27        | instrKind(I.CALL{cutsTo=_::_,...}) = IK_CALL_WITH_CUTS
28      | instrKind(I.CALL _) = IK_CALL      | instrKind(I.CALL _) = IK_CALL
29      | instrKind(I.PHI _)    = IK_PHI      | instrKind(I.PHI _)    = IK_PHI
30      | instrKind(I.SOURCE _) = IK_SOURCE      | instrKind(I.SOURCE _) = IK_SOURCE
# Line 63  Line 64 
64      | branchTargets(I.BCLR{labels,  ...}) =      | branchTargets(I.BCLR{labels,  ...}) =
65        (case labels of [] => [ESCAPES, FALLTHROUGH] | _ => map LABELLED labels)        (case labels of [] => [ESCAPES, FALLTHROUGH] | _ => map LABELLED labels)
66      | branchTargets(I.B{addr=I.LabelOp(T.LABEL lab), LK}) = [LABELLED lab]      | branchTargets(I.B{addr=I.LabelOp(T.LABEL lab), LK}) = [LABELLED lab]
67        | branchTargets(I.CALL{cutsTo, ...}) = FALLTHROUGH::map LABELLED cutsTo
68      | branchTargets(I.ANNOTATION{i,...}) = branchTargets i      | branchTargets(I.ANNOTATION{i,...}) = branchTargets i
69      | branchTargets _ = error "branchTargets"      | branchTargets _ = error "branchTargets"
70    

Legend:
Removed from v.858  
changed lines
  Added in v.859

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