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 1688, Wed Jan 25 13:36:13 2012 UTC revision 1689, Wed Jan 25 14:55:43 2012 UTC
# Line 36  Line 36 
36        | cvtTy (SrcTy.TensorTy dd) = DstTy.tensorTy dd        | cvtTy (SrcTy.TensorTy dd) = DstTy.tensorTy dd
37        | cvtTy (SrcTy.TupleTy tys) = DstTy.TupleTy(List.map cvtTy tys)        | cvtTy (SrcTy.TupleTy tys) = DstTy.TupleTy(List.map cvtTy tys)
38        | cvtTy (SrcTy.SeqTy(ty, n)) = DstTy.SeqTy(cvtTy ty, n)        | cvtTy (SrcTy.SeqTy(ty, n)) = DstTy.SeqTy(cvtTy ty, n)
39          | cvtTy (SrcTy.DynSeqTy ty) = DstTy.DynSeqTy(cvtTy ty)
40      (* we replace Kernel and Field operations by 0, so the types are mapped to int *)      (* we replace Kernel and Field operations by 0, so the types are mapped to int *)
41        | cvtTy SrcTy.KernelTy = DstTy.intTy        | cvtTy SrcTy.KernelTy = DstTy.intTy
42        | cvtTy SrcTy.FieldTy = DstTy.intTy        | cvtTy SrcTy.FieldTy = DstTy.intTy
# Line 244  Line 245 
245                | SrcOp.Select(ty as SrcTy.TupleTy _, i) => assign (DstOp.Select(cvtTy ty, i))                | SrcOp.Select(ty as SrcTy.TupleTy _, i) => assign (DstOp.Select(cvtTy ty, i))
246                | SrcOp.Select(ty as SrcTy.SeqTy _, i) => assign (DstOp.Index(cvtTy ty, i))                | SrcOp.Select(ty as SrcTy.SeqTy _, i) => assign (DstOp.Index(cvtTy ty, i))
247                | SrcOp.SeqSub(ty as SrcTy.SeqTy _) => assign (DstOp.Subscript(cvtTy ty))                | SrcOp.SeqSub(ty as SrcTy.SeqTy _) => assign (DstOp.Subscript(cvtTy ty))
248                  | SrcOp.MkDynamic(ty, n) => assign (DstOp.MkDynamic(cvtTy ty, n))
249                  | SrcOp.Append ty => assign (DstOp.Append(cvtTy ty))
250                  | SrcOp.Prepend ty => assign (DstOp.Prepend(cvtTy ty))
251                  | SrcOp.Concat ty => assign (DstOp.Concat(cvtTy ty))
252                | SrcOp.IntToReal => assign DstOp.IntToReal                | SrcOp.IntToReal => assign DstOp.IntToReal
253                | SrcOp.TruncToInt => cvtToInt (DstOp.Trunc 1)                | SrcOp.TruncToInt => cvtToInt (DstOp.Trunc 1)
254                | SrcOp.RoundToInt => cvtToInt (DstOp.Round 1)                | SrcOp.RoundToInt => cvtToInt (DstOp.Round 1)

Legend:
Removed from v.1688  
changed lines
  Added in v.1689

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