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

SCM Repository

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

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

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

revision 4317, Sat Jul 30 14:12:14 2016 UTC revision 4337, Mon Aug 1 17:57:24 2016 UTC
# Line 60  Line 60 
60              | Op.RoundToInt => (Ty.IntTy, [Ty.realTy])              | Op.RoundToInt => (Ty.IntTy, [Ty.realTy])
61              | Op.CeilToInt => (Ty.IntTy, [Ty.realTy])              | Op.CeilToInt => (Ty.IntTy, [Ty.realTy])
62              | Op.FloorToInt => (Ty.IntTy, [Ty.realTy])              | Op.FloorToInt => (Ty.IntTy, [Ty.realTy])
63  (* not sure if we will need these              | Op.StrandStatus(strandTy, _) => (Ty.BoolTy, [strandTy])
       | R_All of ty  
       | R_Exists of ty  
       | R_Max of ty  
       | R_Min of ty  
       | R_Sum of ty  
       | R_Product of ty  
       | R_Mean of ty  
       | R_Variance of ty  
 *)  
64              | Op.Kernel _ => (Ty.KernelTy, [])              | Op.Kernel _ => (Ty.KernelTy, [])
65              | 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])
66              | Op.ImageDim(info, _) => (Ty.IntTy, [Ty.ImageTy info])              | Op.ImageDim(info, _) => (Ty.IntTy, [Ty.ImageTy info])

Legend:
Removed from v.4317  
changed lines
  Added in v.4337

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