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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/gen/il/low-il.spec
ViewVC logotype

Diff of /branches/charisee/src/compiler/gen/il/low-il.spec

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

revision 2870, Wed Feb 25 21:47:43 2015 UTC revision 3060, Fri Mar 13 22:12:44 2015 UTC
# Line 9  Line 9 
9  # Operations with effects are denoted by a "!" as the first character of the line.  # Operations with effects are denoted by a "!" as the first character of the line.
10  #  #
11  # type-indexed arithmetic operations  # type-indexed arithmetic operations
12  IAdd : : 1 : 2 :  IAdd : : 1 : 2 : integer addition
13  ISub : : 1 : 2 :  ISub : : 1 : 2 :
14  IMul : : 1 : 2 :  IMul : : 1 : 2 :
15  IDiv : : 1 : 2 :  IDiv : : 1 : 2 :
# Line 106  Line 106 
106  # occupied by the image V.  I is the image info and s is the border width  # occupied by the image V.  I is the image info and s is the border width
107  Inside : ImageInfo.info * int : 1 : 2 :  Inside : ImageInfo.info * int : 1 : 2 :
108  #  #
 # nrrd file loading  
 LoadSeq   : ty * string                  : 1 : 0 : load sequence from nrrd file  
 LoadImage : ImageInfo.info : 1 : 0 : load image from nrrd file  
109  #imgAddr:  shape of IMG, dim, Args:V and  dim number of ints  #imgAddr:  shape of IMG, dim, Args:V and  dim number of ints
110  imgAddr  :  ImageInfo.info*ty *int: 1 : 2 :  imgAddr  :  ImageInfo.info*ty *int: 1 : 2 :
111  #imgLoad, dim, int-2*support:Args:V and addrVar  #imgLoad, dim, int-2*support:Args:V and addrVar
112  imgLoad  : ImageInfo.info*int*int: 1 : 2 :  imgLoad  : ImageInfo.info*int*int: 1 : 2 :
113  #BaseAddr  #BaseAddr
114  baseAddr: ImageInfo.info : 1 : 2 :  baseAddr: ImageInfo.info : 1 : 2 :
   
   
115  #  #
116  # inputs  # nrrd file loading
117  #Input: input: 0 : 0 : program input  LoadSeq   : ty * string                  : 1 : 0 : load sequence from nrrd file
118  # inputs  LoadImage : ty * string * ImageInfo.info : 1 : 0 : load image from nrrd file
 Input            : ty * string * string  : 1 : 0 :  
 InputWithDefault : ty * string * string  : 1 : 1 :  
119  #  #
120    # inputs
121    !Input  : input : 0 : 0 : program input
122  #  #
123  # printing support for debugging  # printing support for debugging
124  !Print : tys : 0 : * : print strings  !Print : tys : 0 : * : print strings

Legend:
Removed from v.2870  
changed lines
  Added in v.3060

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