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 3781, Wed Apr 27 16:52:00 2016 UTC revision 3786, Thu Apr 28 15:06:20 2016 UTC
# Line 113  Line 113 
113              | Op.ControlIndex(info, _, _) => (Ty.intTy, [Ty.ImageTy info, Ty.IntTy])              | Op.ControlIndex(info, _, _) => (Ty.intTy, [Ty.ImageTy info, Ty.IntTy])
114              | Op.VoxelAddress info => (Ty.AddrTy info, [Ty.ImageTy 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])              | 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, _) => let
117                    val idxTy = (case ImageInfo.dim info
118                           of 1 => Ty.IntTy
119                            | d => Ty.SeqTy(Ty.IntTy, SOME d)
120                          (* end case *))
121                    in
122                      (Ty.BoolTy, [idxTy, Ty.ImageTy info])
123                    end
124              | Op.ImageDim(info, _) => (Ty.IntTy, [Ty.ImageTy info])              | Op.ImageDim(info, _) => (Ty.IntTy, [Ty.ImageTy info])
125              | Op.LoadSeq(ty, _) => (ty, [])              | Op.LoadSeq(ty, _) => (ty, [])
126              | Op.LoadImage(ty, _) => (ty, [])              | Op.LoadImage(ty, _) => (ty, [])

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

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