SCM Repository
| [diderot] / trunk / src / compiler / high-to-mid / high-to-mid.sml |
Diff of /trunk/src/compiler/high-to-mid/high-to-mid.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 390, Wed Oct 13 19:56:41 2010 UTC | revision 391, Thu Oct 14 13:18:24 2010 UTC | |
|---|---|---|
| # | Line 16 | Line 16 |
| 16 | structure SrcOp = HighOps | structure SrcOp = HighOps |
| 17 | structure VTbl = SrcIL.Var.Tbl | structure VTbl = SrcIL.Var.Tbl |
| 18 | structure DstIL = MidIL | structure DstIL = MidIL |
| 19 | structure DstTy = MidILTypes | |
| 20 | structure DstOp = MidOps | structure DstOp = MidOps |
| 21 | ||
| 22 | type var_env = DstIL.var VTbl.hash_table | type var_env = DstIL.var VTbl.hash_table |
| # | Line 60 | Line 61 |
| 61 | Probe.expand (result, fld, pos) | Probe.expand (result, fld, pos) |
| 62 | end | end |
| 63 | ||
| 64 | fun cvtTy SrcOp.BoolTy = DstOp.BoolTy | fun cvtTy SrcOp.BoolTy = DstTy.BoolTy |
| 65 | | cvtTy SrcOp.StringTy = DstOp.StringTy | | cvtTy SrcOp.StringTy = DstTy.StringTy |
| 66 | | cvtTy SrcOp.IntTy = DstOp.IntTy | | cvtTy SrcOp.IntTy = DstTy.intTy |
| 67 | | cvtTy (SrcOp.TensorTy[]) = DstOp.realTy | | cvtTy (SrcOp.TensorTy[]) = DstTy.realTy |
| 68 | | cvtTy (SrcOp.TensorTy[d]) = DstOp.VecTy d | | cvtTy (SrcOp.TensorTy[d]) = DstTy.VecTy d |
| 69 | | cvtTy _ = raise Fail "unexpected higher-order tensor type" | | cvtTy _ = raise Fail "unexpected higher-order tensor type" |
| 70 | ||
| 71 | fun arity (SrcOp.TensorTy[]) = 1 | fun arity (SrcOp.TensorTy[]) = 1 |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
