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 3803, Tue May 3 18:00:31 2016 UTC revision 3804, Tue May 3 18:03:41 2016 UTC
# Line 109  Line 109 
109                  else (Ty.TensorTy[dim], [Ty.ImageTy info])                  else (Ty.TensorTy[dim], [Ty.ImageTy info])
110                      end                      end
111              | Op.ControlIndex(info, _, _) => (Ty.intTy, [Ty.ImageTy info, Ty.IntTy])              | Op.ControlIndex(info, _, _) => (Ty.intTy, [Ty.ImageTy info, Ty.IntTy])
112              | Op.VoxelAddress info => (Ty.AddrTy info, [Ty.ImageTy info, Ty.IntTy])              | Op.LoadVoxel(info) => (Ty.realTy, [Ty.ImageTy info, Ty.IntTy])
             | Op.LoadVoxels(info, d) => (Ty.vecTy d, [Ty.AddrTy info])  
113              | Op.Inside(info, _) => let              | Op.Inside(info, _) => let
114                  val idxTy = (case ImageInfo.dim info                  val idxTy = (case ImageInfo.dim info
115                         of 1 => Ty.IntTy                         of 1 => Ty.IntTy

Legend:
Removed from v.3803  
changed lines
  Added in v.3804

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