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

SCM Repository

[diderot] Diff of /trunk/src/compiler/low-il/check-low-il.sml
ViewVC logotype

Diff of /trunk/src/compiler/low-il/check-low-il.sml

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

revision 510, Tue Feb 8 16:12:38 2011 UTC revision 511, Tue Feb 8 17:01:43 2011 UTC
# Line 16  Line 16 
16    
17    (* Return the signature of a LowIL operator. *)    (* Return the signature of a LowIL operator. *)
18      fun sigOf rator = (case rator      fun sigOf rator = (case rator
19             of Op.Add ty => (ty, [ty, ty])             of Op.Add Ty.AddrTy => (Ty.AddrTy, [Ty.AddrTy, Ty.intTy])
20                | Op.Add ty => (ty, [ty, ty])
21                | Op.Sub Ty.AddrTy => (Ty.AddrTy, [Ty.AddrTy, Ty.intTy])
22              | Op.Sub ty => (ty, [ty, ty])              | Op.Sub ty => (ty, [ty, ty])
23              | Op.Mul ty => (ty, [ty, ty])              | Op.Mul ty => (ty, [ty, ty])
24              | Op.Div ty => (ty, [ty, ty])              | Op.Div ty => (ty, [ty, ty])
# Line 50  Line 52 
52              | Op.RoundToInt d => (Ty.IVecTy d, [Ty.VecTy d])              | Op.RoundToInt d => (Ty.IVecTy d, [Ty.VecTy d])
53              | Op.CeilToInt d => (Ty.IVecTy d, [Ty.VecTy d])              | Op.CeilToInt d => (Ty.IVecTy d, [Ty.VecTy d])
54              | Op.FloorToInt d => (Ty.IVecTy d, [Ty.VecTy d])              | Op.FloorToInt d => (Ty.IVecTy d, [Ty.VecTy d])
55              | Op.VoxelAddress(ImageInfo.ImgInfo{dim, ...}) =>              | Op.ImageAddress(ImageInfo.ImgInfo{dim, ...}) => (Ty.AddrTy, [])
                 (Ty.AddrTy, List.tabulate(dim, fn _ => Ty.intTy))  
56              | Op.LoadVoxels(_, d) => (Ty.VecTy d, [Ty.AddrTy])              | Op.LoadVoxels(_, d) => (Ty.VecTy d, [Ty.AddrTy])
57              | Op.PosToImgSpace(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])              | Op.PosToImgSpace(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])
58              | Op.GradToWorldSpace(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])              | Op.GradToWorldSpace(ImageInfo.ImgInfo{dim, ...}) => (Ty.VecTy dim, [Ty.VecTy dim])

Legend:
Removed from v.510  
changed lines
  Added in v.511

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