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 4185, Mon Jul 11 12:47:37 2016 UTC revision 4190, Tue Jul 12 21:40:37 2016 UTC
# Line 722  Line 722 
722       *)       *)
723        | 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
724    
725    (* FIXME: some assignments get consumed by value numbering and their effect is only noted
726     * in the phi nodes.  For example:
727     *
728     *      y = ...
729     *      z = ...
730     *      if (...)
731     *        then goto join
732     *        else goto join
733     *      join: x = phi(y, z)
734     *)
735      fun trCFGWithEnv (env, cfg) = let      fun trCFGWithEnv (env, cfg) = let
736            fun useScalar x = (case useVar env x            fun useScalar x = (case useVar env x
737                   of Env.RHS(_, e) => e                   of Env.RHS(_, e) => e

Legend:
Removed from v.4185  
changed lines
  Added in v.4190

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