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 3829, Thu May 5 21:05:37 2016 UTC revision 3830, Thu May 5 22:13:46 2016 UTC
# Line 39  Line 39 
39              | Op.RMul => (Ty.realTy, [Ty.realTy, Ty.realTy])              | Op.RMul => (Ty.realTy, [Ty.realTy, Ty.realTy])
40              | Op.RDiv => (Ty.realTy, [Ty.realTy, Ty.realTy])              | Op.RDiv => (Ty.realTy, [Ty.realTy, Ty.realTy])
41              | Op.RNeg => (Ty.realTy, [Ty.realTy])              | Op.RNeg => (Ty.realTy, [Ty.realTy])
42                | Op.RClamp => (Ty.realTy, [Ty.realTy, Ty.realTy, Ty.realTy])
43                | Op.RLerp => (Ty.realTy, [Ty.realTy, Ty.realTy, Ty.realTy])
44              | Op.VAdd d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d])              | Op.VAdd d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d])
45              | Op.VSub d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d])              | Op.VSub d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d])
46              | Op.VScale d => (Ty.vecTy d, [Ty.realTy, Ty.vecTy d])              | Op.VScale d => (Ty.vecTy d, [Ty.realTy, Ty.vecTy d])
# Line 46  Line 48 
48              | Op.VNeg d => (Ty.vecTy d, [Ty.vecTy d])              | Op.VNeg d => (Ty.vecTy d, [Ty.vecTy d])
49              | Op.VSum d => (Ty.realTy, [Ty.vecTy d])              | Op.VSum d => (Ty.realTy, [Ty.vecTy d])
50              | Op.VProj(d, i) => (Ty.realTy, [Ty.vecTy d])              | Op.VProj(d, i) => (Ty.realTy, [Ty.vecTy d])
51                | Op.VClamp d => (Ty.vecTy d, [Ty.vecTy d, Ty.realTy, Ty.realTy])
52                | Op.VMapClamp d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d, Ty.vecTy d])
53                | Op.VLerp d => (Ty.vecTy d, [Ty.vecTy d, Ty.vecTy d, Ty.realTy])
54              | Op.TensorIndex(ty, _) => (Ty.realTy, [ty])              | Op.TensorIndex(ty, _) => (Ty.realTy, [ty])
55              | Op.ProjectLast(ty as Ty.TensorTy dd, _) => (Ty.TensorTy[List.last dd], [ty])              | Op.ProjectLast(ty as Ty.TensorTy dd, _) => (Ty.TensorTy[List.last dd], [ty])
56              | Op.LT ty => (Ty.BoolTy, [ty, ty])              | Op.LT ty => (Ty.BoolTy, [ty, ty])
# Line 58  Line 63 
63              | Op.Abs ty => (ty, [ty])              | Op.Abs ty => (ty, [ty])
64              | Op.Max ty => (ty, [ty, ty])              | Op.Max ty => (ty, [ty, ty])
65              | Op.Min ty => (ty, [ty, ty])              | Op.Min ty => (ty, [ty, ty])
             | Op.Clamp ty => (ty, [ty, ty, ty])  
             | Op.Lerp ty => (ty, [ty, ty, Ty.realTy])  
66              | Op.EigenVecs2x2 => eigenSig 2              | Op.EigenVecs2x2 => eigenSig 2
67              | Op.EigenVecs3x3 => eigenSig 3              | Op.EigenVecs3x3 => eigenSig 3
68              | Op.EigenVals2x2 => (Ty.SeqTy(Ty.realTy, SOME 2), [Ty.TensorTy[2,2]])              | Op.EigenVals2x2 => (Ty.SeqTy(Ty.realTy, SOME 2), [Ty.TensorTy[2,2]])

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