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 3829, Thu May 5 21:05:37 2016 UTC revision 3830, Thu May 5 22:13:46 2016 UTC
# Line 68  Line 68 
68              | Op.RMul => (Ty.realTy, [Ty.realTy, Ty.realTy])              | Op.RMul => (Ty.realTy, [Ty.realTy, Ty.realTy])
69              | Op.RDiv => (Ty.realTy, [Ty.realTy, Ty.realTy])              | Op.RDiv => (Ty.realTy, [Ty.realTy, Ty.realTy])
70              | Op.RNeg => (Ty.realTy, [Ty.realTy])              | Op.RNeg => (Ty.realTy, [Ty.realTy])
71                | Op.RClamp => (Ty.realTy, [Ty.realTy, Ty.realTy, Ty.realTy])
72                | Op.RLerp => (Ty.realTy, [Ty.realTy, Ty.realTy, Ty.realTy])
73              | Op.LT ty => (Ty.BoolTy, [ty, ty])              | Op.LT ty => (Ty.BoolTy, [ty, ty])
74              | Op.LTE ty => (Ty.BoolTy, [ty, ty])              | Op.LTE ty => (Ty.BoolTy, [ty, ty])
75              | Op.EQ ty => (Ty.BoolTy, [ty, ty])              | Op.EQ ty => (Ty.BoolTy, [ty, ty])
# Line 78  Line 80 
80              | Op.Abs ty => (ty, [ty])              | Op.Abs ty => (ty, [ty])
81              | Op.Max ty => (ty, [ty, ty])              | Op.Max ty => (ty, [ty, ty])
82              | Op.Min ty => (ty, [ty, ty])              | Op.Min ty => (ty, [ty, ty])
             | Op.Clamp ty => (ty, [Ty.realTy, Ty.realTy, ty])  
             | Op.Lerp ty => (ty, [ty, ty, Ty.realTy])  
83              | Op.VAdd d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d])              | Op.VAdd d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d])
84              | Op.VSub d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d])              | Op.VSub d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d])
85              | Op.VScale d => (Ty.vecTy d, [Ty.realTy, Ty.vecTy d])              | Op.VScale d => (Ty.vecTy d, [Ty.realTy, Ty.vecTy d])
86              | Op.VMul d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d])              | Op.VMul d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d])
87              | Op.VNeg d => (Ty.vecTy d, [Ty.vecTy d])              | Op.VNeg d => (Ty.vecTy d, [Ty.vecTy d])
88              | Op.VSum d => (Ty.realTy, [Ty.vecTy d])              | Op.VSum d => (Ty.realTy, [Ty.vecTy d])
89                | Op.VClamp d => (Ty.vecTy d, [Ty.vecTy d, Ty.realTy, Ty.realTy])
90                | Op.VMapClamp d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d, Ty.vecTy d])
91                | Op.VLerp d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d, Ty.realTy])
92  (*  (*
93  TensorIndex  TensorIndex
94  *)  *)

Legend:
Removed from v.3829  
changed lines
  Added in v.3830

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