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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/simplify/simplify.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/simplify/simplify.sml

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

revision 1685, Sun Jan 22 15:23:36 2012 UTC revision 1687, Wed Jan 25 13:02:32 2012 UTC
# Line 211  Line 211 
211                  in                  in
212                    (S.S_IfThenElse(x, s1, s2) :: stms, S.E_Var result)                    (S.S_IfThenElse(x, s1, s2) :: stms, S.E_Var result)
213                  end                  end
214                | AST.E_Coerce{srcTy, dstTy, e} => let
215                    val (stms, x) = simplifyExpToVar (e, stms)
216                    val result = newTemp dstTy
217                    in
218                      (S.S_Assign(result, S.E_Coerce{srcTy=srcTy, dstTy=dstTy, x=x})::stms, S.E_Var result)
219                    end
220            (* end case *))            (* end case *))
221    
222      and simplifyExpToVar (exp, stms) = let      and simplifyExpToVar (exp, stms) = let

Legend:
Removed from v.1685  
changed lines
  Added in v.1687

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