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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/high-to-mid/high-to-mid.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/high-to-mid/high-to-mid.sml

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

revision 391, Thu Oct 14 13:18:24 2010 UTC revision 392, Thu Oct 14 15:34:28 2010 UTC
# Line 13  Line 13 
13    end = struct    end = struct
14    
15      structure SrcIL = HighIL      structure SrcIL = HighIL
16        structure SrcTy = HighILTypes
17      structure SrcOp = HighOps      structure SrcOp = HighOps
18      structure VTbl = SrcIL.Var.Tbl      structure VTbl = SrcIL.Var.Tbl
19      structure DstIL = MidIL      structure DstIL = MidIL
# Line 61  Line 62 
62              Probe.expand (result, fld, pos)              Probe.expand (result, fld, pos)
63            end            end
64    
65      fun cvtTy SrcOp.BoolTy = DstTy.BoolTy      fun cvtTy SrcTy.BoolTy = DstTy.BoolTy
66        | cvtTy SrcOp.StringTy = DstTy.StringTy        | cvtTy SrcTy.StringTy = DstTy.StringTy
67        | cvtTy SrcOp.IntTy = DstTy.intTy        | cvtTy SrcTy.IntTy = DstTy.intTy
68        | cvtTy (SrcOp.TensorTy[]) = DstTy.realTy        | cvtTy (SrcTy.TensorTy[]) = DstTy.realTy
69        | cvtTy (SrcOp.TensorTy[d]) = DstTy.VecTy d        | cvtTy (SrcTy.TensorTy[d]) = DstTy.VecTy d
70        | cvtTy _ = raise Fail "unexpected higher-order tensor type"        | cvtTy _ = raise Fail "unexpected higher-order tensor type"
71    
72      fun arity (SrcOp.TensorTy[]) = 1      fun arity (SrcTy.TensorTy[]) = 1
73        | arity (SrcOp.TensorTy[d]) = d        | arity (SrcTy.TensorTy[d]) = d
74        | arity _ = raise Fail "arity"        | arity _ = raise Fail "arity"
75    
76      fun expandOp (env, y, rator, args) = let      fun expandOp (env, y, rator, args) = let

Legend:
Removed from v.391  
changed lines
  Added in v.392

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