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

SCM Repository

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

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

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

revision 3762, Fri Apr 15 21:09:15 2016 UTC revision 3781, Wed Apr 27 16:52:00 2016 UTC
# Line 110  Line 110 
110                  then (Ty.TensorTy[], [Ty.ImageTy info])                  then (Ty.TensorTy[], [Ty.ImageTy info])
111                  else (Ty.TensorTy[dim], [Ty.ImageTy info])                  else (Ty.TensorTy[dim], [Ty.ImageTy info])
112                      end                      end
             | Op.BaseAddress info => (Ty.AddrTy info, [Ty.ImageTy info])  
113              | Op.ControlIndex(info, _, _) => (Ty.intTy, [Ty.ImageTy info, Ty.IntTy])              | Op.ControlIndex(info, _, _) => (Ty.intTy, [Ty.ImageTy info, Ty.IntTy])
114              | Op.LoadVoxel info => (Ty.realTy, [Ty.AddrTy info, Ty.intTy])              | Op.VoxelAddress info => (Ty.AddrTy info, [Ty.ImageTy info, Ty.IntTy])
115                | Op.LoadVoxels(info, d) => (Ty.vecTy d, [Ty.AddrTy info])
116              | 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])
117              | Op.ImageDim(info, _) => (Ty.IntTy, [Ty.ImageTy info])              | Op.ImageDim(info, _) => (Ty.IntTy, [Ty.ImageTy info])
118              | Op.LoadSeq(ty, _) => (ty, [])              | Op.LoadSeq(ty, _) => (ty, [])

Legend:
Removed from v.3762  
changed lines
  Added in v.3781

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