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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/low-to-tree/low-to-tree.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/low-to-tree/low-to-tree.sml

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

revision 4204, Thu Jul 14 00:53:31 2016 UTC revision 4222, Sun Jul 17 15:42:43 2016 UTC
# Line 733  Line 733 
733       *)       *)
734        | ELSE_BR of T.stm list * T.exp * T.stm list * IR.node_kind        | ELSE_BR of T.stm list * T.exp * T.stm list * IR.node_kind
735    
 (* FIXME: some assignments get consumed by value numbering and their effect is only noted  
  * in the phi nodes.  For example:  
  *  
  *      y = ...  
  *      z = ...  
  *      if (...)  
  *        then goto join  
  *        else goto join  
  *      join: x = phi(y, z)  
  *)  
736      fun trCFGWithEnv (env, cfg) = let      fun trCFGWithEnv (env, cfg) = let
737            fun useScalar x = (case useVar env x            fun useScalar x = (case useVar env x
738                   of Env.RHS(_, e) => e                   of Env.RHS(_, e) => e

Legend:
Removed from v.4204  
changed lines
  Added in v.4222

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