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

SCM Repository

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

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

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

revision 3862, Sun May 15 15:44:30 2016 UTC revision 3870, Tue May 17 13:53:58 2016 UTC
# Line 134  Line 134 
134        | R_Mean of ty        | R_Mean of ty
135        | R_Variance of ty        | R_Variance of ty
136  *)  *)
 (* FIXME: these should probably be compiled down to lower-level operartions at this point!  
137              | Op.Transform info => let              | Op.Transform info => let
138                  val dim = ImageInfo.dim info                  val dim = ImageInfo.dim info
139                  in                  in
140                    if (dim = 1)                    if (dim = 1)
141                      then (Ty.realTy, [Ty.ImageTy info])                      then (Ty.TensorTy[], [Ty.ImageTy info])
142                      else (Ty.matrixTy(dim, dim), [Ty.ImageTy info])                      else (Ty.TensorTy[dim, dim], [Ty.ImageTy info])
143                  end                  end
144              | Op.Translate info => let              | Op.Translate info => let
145                  val dim = ImageInfo.dim info                  val dim = ImageInfo.dim info
146                  in                  in
147                    if (dim = 1)                    if (dim = 1)
148                      then (Ty.realTy, [Ty.ImageTy info])                      then (Ty.TensorTy[], [Ty.ImageTy info])
149                      else (Ty.matrixTy(dim, dim), [Ty.ImageTy info])                      else (Ty.TensorTy[dim], [Ty.ImageTy info])
150                  end                  end
 *)  
151              | Op.ControlIndex(info, _, _) => (Ty.IntTy, [Ty.ImageTy info, Ty.IntTy])              | Op.ControlIndex(info, _, _) => (Ty.IntTy, [Ty.ImageTy info, Ty.IntTy])
152              | Op.Inside(info, _) => (Ty.BoolTy, [vecTy(ImageInfo.dim info), Ty.ImageTy info])              | Op.Inside(info, _) => (Ty.BoolTy, [vecTy(ImageInfo.dim info), Ty.ImageTy info])
153              | Op.ImageDim(info, _) => (Ty.IntTy, [Ty.ImageTy info])              | Op.ImageDim(info, _) => (Ty.IntTy, [Ty.ImageTy info])

Legend:
Removed from v.3862  
changed lines
  Added in v.3870

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