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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/high-il/border-control.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/high-il/border-control.sml

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

revision 3148, Fri Mar 27 16:30:52 2015 UTC revision 3149, Fri Mar 27 16:42:21 2015 UTC
# Line 73  Line 73 
73     *)     *)
74      fun rewriteProbe origNd = let      fun rewriteProbe origNd = let
75            val IL.ASSIGN{stm=(y, IL.OP(Op.Probe arg, [f, pos])), ...} = IL.Node.kind origNd            val IL.ASSIGN{stm=(y, IL.OP(Op.Probe arg, [f, pos])), ...} = IL.Node.kind origNd
76            val Ty.TensorTy[d] = V.ty pos            val d = (case V.ty pos
77                    of Ty.TensorTy[] => 1
78                     | Ty.TensorTy[d] => d
79                    (* end case *))
80            val y1 = V.copy y            val y1 = V.copy y
81            val y2 = V.copy y            val y2 = V.copy y
82            val cond = V.new("isInside", Ty.BoolTy)            val cond = V.new("isInside", Ty.BoolTy)

Legend:
Removed from v.3148  
changed lines
  Added in v.3149

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