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 /MLRISC/releases/release-110.64/ra/ra-spill.sml
ViewVC logotype

Diff of /MLRISC/releases/release-110.64/ra/ra-spill.sml

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

revision 1261, Tue Jul 23 15:45:45 2002 UTC revision 1262, Tue Aug 6 13:33:17 2002 UTC
# Line 70  Line 70 
70    
71     fun error msg = MLRiscErrorMsg.error("RASpill",msg)     fun error msg = MLRiscErrorMsg.error("RASpill",msg)
72    
73       val keep_dead_copies =
74           MLRiscControl.mkFlag
75              ("ra-preserve-dead-copies",
76               "Dead copies are not removed when spilling")
77    
78     fun dec1 n = Word.toIntX(Word.fromInt n - 0w1)     fun dec1 n = Word.toIntX(Word.fromInt n - 0w1)
79     fun dec{block,insn} = {block=block,insn=dec1 insn}     fun dec{block,insn} = {block=block,insn=dec1 insn}
80    
# Line 298  Line 303 
303                 val copy = case copyDst of                 val copy = case copyDst of
304                              [] => []                              [] => []
305                            | _  => copyInstr((copyDst,copySrc),instr)                            | _  => copyInstr((copyDst,copySrc),instr)
306             in  if kill             in
307                   if kill andalso not(!keep_dead_copies)
308                 then (* kill the move *)                 then (* kill the move *)
309                   ((* print ("Copy "^Int.toString(hd mvDst)^" <- "^                   ((* print ("Copy "^Int.toString(hd mvDst)^" <- "^
310                                   Int.toString(hd mvSrc)^" removed\n"); *)                                   Int.toString(hd mvSrc)^" removed\n"); *)

Legend:
Removed from v.1261  
changed lines
  Added in v.1262

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