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 4386, Tue Aug 9 13:51:49 2016 UTC revision 4387, Tue Aug 9 16:28:11 2016 UTC
# Line 177  Line 177 
177             of Env.RHS(ty, e) => let             of Env.RHS(ty, e) => let
178                  val tmp = U.newTempVar ("t", ty)                  val tmp = U.newTempVar ("t", ty)
179                  in                  in
180                    (T.E_Var tmp, T.S_Assign(true, tmp, e) :: stms)                    (T.E_Var tmp, mkDefn(tmp, e) :: stms)
181                  end                  end
182              | Env.TREE e => (e, stms)              | Env.TREE e => (e, stms)
183              | Env.VEC(layout, es) => let              | Env.VEC(layout, es) => let
184                  val tmp = U.newTempVar("_arg", TTy.TensorTy[#wid layout])                  val tmp = U.newTempVar("_arg", TTy.TensorTy[#wid layout])
185                  in                  in
186                    (T.E_Var tmp, T.S_Assign(true, tmp, T.E_Pack(layout, es)) :: stms)                    (T.E_Var tmp, mkDefn(tmp, T.E_Pack(layout, es)) :: stms)
187                  end                  end
188            (* end case *))            (* end case *))
189    
# Line 205  Line 205 
205                 of Env.RHS(ty, e) => let                 of Env.RHS(ty, e) => let
206                      val tmp = U.newTempVar ("t", ty)                      val tmp = U.newTempVar ("t", ty)
207                      in                      in
208                        (T.E_Var tmp, T.S_Assign(true, tmp, e)::stms)                        (T.E_Var tmp, mkDefn(tmp, e)::stms)
209                      end                      end
210                  | Env.TREE e => (e, stms)                  | Env.TREE e => (e, stms)
211                  | _ => raise Fail("expected simple binding for " ^ IR.Var.toString x)                  | _ => raise Fail("expected simple binding for " ^ IR.Var.toString x)
# Line 244  Line 244 
244               of Env.RHS(ty, e) =>  let               of Env.RHS(ty, e) =>  let
245                    val tmp = U.newTempVar ("t", ty)                    val tmp = U.newTempVar ("t", ty)
246                    in                    in
247                      expToArg (T.E_Var tmp, [T.S_Assign(true, tmp, e)])                      expToArg (T.E_Var tmp, [mkDefn(tmp, e)])
248                    end                    end
249                | Env.TREE e => expToArg(e, [])                | Env.TREE e => expToArg(e, [])
250                | Env.VEC(layout, es) => (layout, es, [])                | Env.VEC(layout, es) => (layout, es, [])
# Line 274  Line 274 
274                   of Env.RHS(ty, e) => let                   of Env.RHS(ty, e) => let
275                        val tmp = U.newTempVar ("t", ty)                        val tmp = U.newTempVar ("t", ty)
276                        in                        in
277                          (T.E_Var tmp :: es, T.S_Assign(true, tmp, e)::stms)                          (T.E_Var tmp :: es, mkDefn(tmp, e)::stms)
278                        end                        end
279                    | Env.TREE e => (e::es, stms)                    | Env.TREE e => (e::es, stms)
280                    | _ => raise Fail("expected simple binding for " ^ IR.Var.toString x)                    | _ => raise Fail("expected simple binding for " ^ IR.Var.toString x)
# Line 420  Line 420 
420                       of Env.RHS(ty, e) =>  let                       of Env.RHS(ty, e) =>  let
421                            val tmp = U.newTempVar ("t", ty)                            val tmp = U.newTempVar ("t", ty)
422                            in                            in
423                              (mkOp(T.E_Var tmp), [T.S_Assign(true, tmp, e)])                              (mkOp(T.E_Var tmp), [mkDefn(tmp, e)])
424                            end                            end
425                        | Env.TREE e => (mkOp e, [])                        | Env.TREE e => (mkOp e, [])
426                        | Env.VEC(layout, es) => let                        | Env.VEC(layout, es) => let

Legend:
Removed from v.4386  
changed lines
  Added in v.4387

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