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

SCM Repository

[diderot] Diff of /trunk/src/compiler/mid-il/check-mid-il.sml
ViewVC logotype

Diff of /trunk/src/compiler/mid-il/check-mid-il.sml

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

revision 449, Thu Oct 21 15:46:51 2010 UTC revision 450, Thu Oct 21 15:58:26 2010 UTC
# Line 53  Line 53 
53              | Op.VoxelAddress(ImageInfo.ImgInfo{dim, ...}) =>              | Op.VoxelAddress(ImageInfo.ImgInfo{dim, ...}) =>
54                  (Ty.AddrTy, List.tabulate(dim, fn _ => Ty.intTy))                  (Ty.AddrTy, List.tabulate(dim, fn _ => Ty.intTy))
55              | Op.LoadVoxels(_, d) => (Ty.VecTy d, [Ty.AddrTy])              | Op.LoadVoxels(_, d) => (Ty.VecTy d, [Ty.AddrTy])
56              | Op.Transform(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])              | Op.PosToImgSpace(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])
57                | Op.GradToWorldSpace(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])
58              | Op.EvalKernel(d, _, _) => (Ty.VecTy d, [Ty.VecTy d])              | Op.EvalKernel(d, _, _) => (Ty.VecTy d, [Ty.VecTy d])
59              | Op.LoadImage _ => (Ty.ImageTy, [])              | Op.LoadImage _ => (Ty.ImageTy, [])
60              | Op.Inside(ImageInfo.ImgInfo{dim, ...}) => (Ty.BoolTy, [Ty.VecTy dim])              | Op.Inside(ImageInfo.ImgInfo{dim, ...}) => (Ty.BoolTy, [Ty.VecTy dim])

Legend:
Removed from v.449  
changed lines
  Added in v.450

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