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 3973, Wed Jun 15 12:39:41 2016 UTC revision 3974, Wed Jun 15 13:53:38 2016 UTC
# Line 753  Line 753 
753                      | T.S_IfThen(e, blk) => let                      | T.S_IfThen(e, blk) => let
754                          val (uG, nW) = chkExp (e, uG, nW)                          val (uG, nW) = chkExp (e, uG, nW)
755                          in                          in
756                            chkBlock (blk, uG, nW)                            next (chkBlock (blk, uG, nW))
757                          end                          end
758                      | T.S_IfThenElse(e, blk1, blk2) => let                      | T.S_IfThenElse(e, blk1, blk2) => let
759                          val (uG, nW) = chkExp (e, uG, nW)                          val (uG, nW) = chkExp (e, uG, nW)
760                          val (uG, nW) = chkBlock (blk1, uG, nW)                          val (uG, nW) = chkBlock (blk1, uG, nW)
761                          in                          in
762                            chkBlock (blk2, uG, nW)                            next (chkBlock (blk2, uG, nW))
763                          end                          end
764                      | T.S_For(_, e1, e2, blk) => let                      | T.S_For(_, e1, e2, blk) => let
765                          val (uG, nW) = chkExp (e1, uG, nW)                          val (uG, nW) = chkExp (e1, uG, nW)
766                          val (uG, nW) = chkExp (e2, uG, nW)                          val (uG, nW) = chkExp (e2, uG, nW)
767                          in                          in
768                            chkBlock (blk, uG, nW)                            next (chkBlock (blk, uG, nW))
769                          end                          end
770                      | T.S_Foreach(_, e, blk) => let                      | T.S_Foreach(_, e, blk) => let
771                          val (uG, nW) = chkExp (e, uG, nW)                          val (uG, nW) = chkExp (e, uG, nW)
772                          in                          in
773                            chkBlock (blk, uG, nW)                            next (chkBlock (blk, uG, nW))
774                          end                          end
775                      | T.S_LoadNrrd _ => raise Fail "unexpected LoadNrrd"                      | T.S_LoadNrrd _ => raise Fail "unexpected LoadNrrd"
776                      | T.S_Input _ => raise Fail "unexpected Input"                      | T.S_Input _ => raise Fail "unexpected Input"
# Line 788  Line 788 
788                  in                  in
789                    chkExps (es, uG, nW)                    chkExps (es, uG, nW)
790                  end                  end
791            and chkExp (T.E_Global _, uG, nW) = (true, nW)            and chkExp (T.E_Global gv, _, nW) = (true, nW)
792              | chkExp (T.E_State(SOME e, _), uG, nW) =              | chkExp (T.E_State(SOME e, _), uG, nW) = chkExp (e, uG, nW)
                 chkExp (e, uG, nW)  
793              | chkExp (T.E_Op(TOp.SphereQuery _, es), uG, nW) = chkExps (es, uG, true)              | chkExp (T.E_Op(TOp.SphereQuery _, es), uG, nW) = chkExps (es, uG, true)
794              | chkExp (T.E_Op(_, es), uG, nW) = chkExps (es, uG, nW)              | chkExp (T.E_Op(_, es), uG, nW) = chkExps (es, uG, nW)
795              | chkExp (T.E_Vec(_, _, es), uG, nW) = chkExps (es, uG, nW)              | chkExp (T.E_Vec(_, _, es), uG, nW) = chkExps (es, uG, nW)

Legend:
Removed from v.3973  
changed lines
  Added in v.3974

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