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/ppc/mltree/ppc.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/ppc/mltree/ppc.sml

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

revision 795, Fri Mar 2 19:10:50 2001 UTC revision 796, Tue Mar 6 00:04:33 2001 UTC
# Line 262  Line 262 
262                mark(I.BCLR{bo=I.ALWAYS,bf=CR0,bit=I.LT,LK=false,labels=labs},an)                mark(I.BCLR{bo=I.ALWAYS,bf=CR0,bit=I.LT,LK=false,labels=labs},an)
263            end            end
264          | stmt(T.CALL{funct, targets, defs, uses, region, ...}, an) =          | stmt(T.CALL{funct, targets, defs, uses, region, ...}, an) =
265            let val defs=cellset(defs)              call(funct, targets, defs, uses, region, [], an)
266                val uses=cellset(uses)          | stmt(T.FLOW_TO(T.CALL{funct, targets, defs, uses, region, ...},
267             in emit(MTLR(expr funct));                           cutTo), an) =
268                mark(I.CALL{def=defs, use=uses, mem=region}, an)              call(funct, targets, defs, uses, region, cutTo, an)
            end  
269          | stmt(T.RET flow,an) = mark(RET,an)          | stmt(T.RET flow,an) = mark(RET,an)
270          | stmt(T.STORE(ty,ea,data,mem),an) = store(ty,ea,data,mem,an)          | stmt(T.STORE(ty,ea,data,mem),an) = store(ty,ea,data,mem,an)
271          | stmt(T.FSTORE(ty,ea,data,mem),an) = fstore(ty,ea,data,mem,an)          | stmt(T.FSTORE(ty,ea,data,mem),an) = fstore(ty,ea,data,mem,an)
# Line 275  Line 274 
274          | stmt(T.ANNOTATION(s,a),an) = stmt(s,a::an)          | stmt(T.ANNOTATION(s,a),an) = stmt(s,a::an)
275          | stmt(s, _) = doStmts(Gen.compileStm s)          | stmt(s, _) = doStmts(Gen.compileStm s)
276    
277          and call(funct, targets, defs, uses, region, cutsTo, an) =
278              let val defs=cellset(defs)
279                  val uses=cellset(uses)
280              in  emit(MTLR(expr funct));
281                  mark(I.CALL{def=defs, use=uses, cutsTo=cutsTo, mem=region}, an)
282              end
283    
284        and branch(T.CMP(_, _, T.LI _, T.LI _), _, _) = error "branch"        and branch(T.CMP(_, _, T.LI _, T.LI _), _, _) = error "branch"
285          | branch(T.CMP(ty, cc, e1 as T.LI _, e2), lab, an) =          | branch(T.CMP(ty, cc, e1 as T.LI _, e2), lab, an) =
286            let val cc' = T.Basis.swapCond cc            let val cc' = T.Basis.swapCond cc

Legend:
Removed from v.795  
changed lines
  Added in v.796

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