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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/mid-il/check-mid-il.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/mid-il/check-mid-il.sml

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

revision 717, Thu Mar 31 22:12:58 2011 UTC revision 718, Thu Mar 31 22:18:06 2011 UTC
# Line 21  Line 21 
21              | Op.Mul ty => (ty, [ty, ty])              | Op.Mul ty => (ty, [ty, ty])
22              | Op.Div ty => (ty, [ty, ty])              | Op.Div ty => (ty, [ty, ty])
23              | Op.Neg ty => (ty, [ty])              | Op.Neg ty => (ty, [ty])
24                | Op.Abs ty => (ty, [ty])
25              | Op.LT ty => (Ty.BoolTy, [ty, ty])              | Op.LT ty => (Ty.BoolTy, [ty, ty])
26              | Op.LTE ty => (Ty.BoolTy, [ty, ty])              | Op.LTE ty => (Ty.BoolTy, [ty, ty])
27              | Op.EQ ty => (Ty.BoolTy, [ty, ty])              | Op.EQ ty => (Ty.BoolTy, [ty, ty])
# Line 35  Line 36 
36              | Op.Select(ty as Ty.IVecTy d, _) => (Ty.intTy, [ty])              | Op.Select(ty as Ty.IVecTy d, _) => (Ty.intTy, [ty])
37              | Op.Select(ty as Ty.VecTy d, _) => (Ty.realTy, [ty])              | Op.Select(ty as Ty.VecTy d, _) => (Ty.realTy, [ty])
38              | Op.Norm d => (Ty.realTy, [Ty.VecTy d])              | Op.Norm d => (Ty.realTy, [Ty.VecTy d])
39                | Op.Normalize d => (Ty.VecTy d, [Ty.VecTy d])
40              | Op.Scale d => (Ty.VecTy d, [Ty.realTy, Ty.VecTy d])              | Op.Scale d => (Ty.VecTy d, [Ty.realTy, Ty.VecTy d])
41              | Op.InvScale d => (Ty.VecTy d, [Ty.VecTy d, Ty.realTy])              | Op.InvScale d => (Ty.VecTy d, [Ty.VecTy d, Ty.realTy])
42              | Op.CL => raise Fail "Op.CL unimplemented"              | Op.CL => raise Fail "Op.CL unimplemented"

Legend:
Removed from v.717  
changed lines
  Added in v.718

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