Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/IL/value-numbering-fn.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/IL/value-numbering-fn.sml

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

revision 2501, Mon Nov 4 17:23:39 2013 UTC revision 2502, Mon Nov 4 21:33:35 2013 UTC
# Line 156  Line 156 
156              cfg              cfg
157            end            end
158    
159      fun transformCFG (liveIn, renameIn, cfg) = let      fun transformCFG (liveIn, renameIn, cfg) = cfg(* HERE let
160            val tbl = E.new()            val tbl = E.new()
161            val mkSTATE = E.mkSTATE tbl            val mkSTATE = E.mkSTATE tbl
162            val mkVAR = E.mkVAR tbl            val mkVAR = E.mkVAR tbl
# Line 224  Line 224 
224                                phis := List.rev remainingPhis;                                phis := List.rev remainingPhis;
225                                env                                env
226                              end                              end
227                        (*  | IL.ASSIGN{stm=(y, rhs), succ, ...} => let                        | IL.ASSIGN{stm=(y, rhs), succ, ...} => let
228                              val exp = mkExp(env, rhs)                              val exp = mkExp(env, rhs)
229                              in                              in
230                                case expToVN(env, exp)                                case expToVN(env, exp)
# Line 253  Line 253 
253                                    end                                    end
254                              in                              in
255                                mkExps (env, 0, ys)                                mkExps (env, 0, ys)
256                              end*)                              end
257                          | _ => env                          | _ => env
258                        (* end case *))                        (* end case *))
259                  in                  in
# Line 273  Line 273 
273                (List.app clearVar liveIn; List.app (clearVar o #1) renameIn)                (List.app clearVar liveIn; List.app (clearVar o #1) renameIn)
274            end            end
275    
276                HERE *)
277      fun transformCFG' (liveIn, renameIn, cfg) = let      fun transformCFG' (liveIn, renameIn, cfg) = let
278            val origLiveOut = IL.CFG.liveAtExit cfg            val origLiveOut = IL.CFG.liveAtExit cfg
279            val cfg = transformCFG (liveIn, renameIn, cfg)            val cfg = transformCFG (liveIn, renameIn, cfg)

Legend:
Removed from v.2501  
changed lines
  Added in v.2502

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