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/tree-types.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/tree-ir/tree-types.sml

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

revision 3893, Sat May 21 21:33:08 2016 UTC revision 3894, Sun May 22 14:51:27 2016 UTC
# Line 62  Line 62 
62              get (n, #wid layout, #pieces layout)              get (n, #wid layout, #pieces layout)
63            end            end
64    
65      (* return the offset of the first component in the i'th piece of a vec_layout *)
66        fun offsetOf (layout : vec_layout, i) = let
67              fun add (0, _, off) = off
68                | add (i, pw::pws, off) = add (i-1, pws, off+pw)
69              in
70                add (i, #pieces layout, 0)
71              end
72    
73    (* is a vector padded? *)    (* is a vector padded? *)
74      fun isPaddedVec (VecTy(wid, hwWid)) = (wid <> hwWid)      fun isPaddedVec (VecTy(wid, hwWid)) = (wid <> hwWid)
75        | isPaddedVec _ = false        | isPaddedVec _ = false

Legend:
Removed from v.3893  
changed lines
  Added in v.3894

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