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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/mid-ir/check-mid.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/mid-ir/check-mid.sml

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

revision 4151, Sat Jul 2 17:42:55 2016 UTC revision 4185, Mon Jul 11 12:47:37 2016 UTC
# Line 120  Line 120 
120                  end                  end
121              | Op.LoadVoxels(info, s) => loadVoxelsSig (info, s)              | Op.LoadVoxels(info, s) => loadVoxelsSig (info, s)
122              | Op.LoadVoxelsWithCtl(info, s, _) => loadVoxelsSig (info, s)              | Op.LoadVoxelsWithCtl(info, s, _) => loadVoxelsSig (info, s)
 (*  
             | Op.Inside(info, _) => (Ty.BoolTy, [indexType info, Ty.ImageTy info])  
 *)  
123              | Op.Inside(info, _) => (Ty.BoolTy, [Ty.vecTy(ImageInfo.dim info), Ty.ImageTy info])              | Op.Inside(info, _) => (Ty.BoolTy, [Ty.vecTy(ImageInfo.dim info), Ty.ImageTy info])
124                | Op.IndexInside(info, _) => (Ty.BoolTy, [indexType info, Ty.ImageTy info])
125              | Op.ImageDim(info, _) => (Ty.IntTy, [Ty.ImageTy info])              | Op.ImageDim(info, _) => (Ty.IntTy, [Ty.ImageTy info])
126              | Op.BorderCtlDefault info =>              | Op.BorderCtlDefault info =>
127                  (Ty.ImageTy info, [Ty.ImageTy info, Ty.TensorTy(ImageInfo.voxelShape info)])                  (Ty.ImageTy info, [Ty.ImageTy info, Ty.TensorTy(ImageInfo.voxelShape info)])

Legend:
Removed from v.4151  
changed lines
  Added in v.4185

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