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/hppa/instructions/hppaProps.sml
ViewVC logotype

Diff of /sml/branches/idlbasis-devel/src/MLRISC/hppa/instructions/hppaProps.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 15  Line 15 
15    fun error msg = MLRiscErrorMsg.error("HppaProps",msg)    fun error msg = MLRiscErrorMsg.error("HppaProps",msg)
16    
17    datatype kind = IK_JUMP | IK_NOP | IK_INSTR | IK_COPY | IK_CALL    datatype kind = IK_JUMP | IK_NOP | IK_INSTR | IK_COPY | IK_CALL
18                  | IK_PHI | IK_SOURCE | IK_SINK                  | IK_CALL_WITH_CUTS | IK_PHI | IK_SOURCE | IK_SINK
19    datatype target = LABELLED of Label.label | FALLTHROUGH | ESCAPES    datatype target = LABELLED of Label.label | FALLTHROUGH | ESCAPES
20    
21    val zeroR = Option.valOf(C.zeroReg C.GP)    val zeroR = Option.valOf(C.zeroReg C.GP)
# Line 36  Line 36 
36      | instrKind(I.NOP)      = IK_NOP      | instrKind(I.NOP)      = IK_NOP
37      | instrKind(I.COPY _)   = IK_COPY      | instrKind(I.COPY _)   = IK_COPY
38      | instrKind(I.FCOPY _)  = IK_COPY      | instrKind(I.FCOPY _)  = IK_COPY
39        | instrKind(I.BL{cutsTo=_::_,...}) = IK_CALL_WITH_CUTS
40      | instrKind(I.BL  _)    = IK_CALL      | instrKind(I.BL  _)    = IK_CALL
41        | instrKind(I.BLE{cutsTo=_::_,...}) = IK_CALL_WITH_CUTS
42      | instrKind(I.BLE _)    = IK_CALL      | instrKind(I.BLE _)    = IK_CALL
43      | instrKind(I.PHI _)    = IK_PHI      | instrKind(I.PHI _)    = IK_PHI
44      | instrKind(I.SOURCE _) = IK_SOURCE      | instrKind(I.SOURCE _) = IK_SOURCE
# Line 77  Line 79 
79      | branchTargets(I.BV{labs=[],...})  = [ESCAPES]      | branchTargets(I.BV{labs=[],...})  = [ESCAPES]
80      | branchTargets(I.BV{labs,...})     = map LABELLED labs      | branchTargets(I.BV{labs,...})     = map LABELLED labs
81      | branchTargets(I.BLR{labs,...})    = map LABELLED labs      | branchTargets(I.BLR{labs,...})    = map LABELLED labs
82        | branchTargets(I.BL{cutsTo,...})   = FALLTHROUGH::map LABELLED cutsTo
83        | branchTargets(I.BLE{cutsTo,...})  = FALLTHROUGH::map LABELLED cutsTo
84      | branchTargets(I.ANNOTATION{i,...}) = branchTargets i      | branchTargets(I.ANNOTATION{i,...}) = branchTargets i
85      | branchTargets _ = error "branchTargets"      | branchTargets _ = error "branchTargets"
86    

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