tests/unitary/dimcontract.c.orig.scop

   1 [Clan] Info: parsing file #1 (./unitary/dimcontract.c)
   2 #
   3 #          <|
   4 #           A
   5 #          /.\
   6 #     <|  [""M#
   7 #      A   | #            Clan McCloog Castle
   8 #     /.\ [""M#           [Generated by Clan 0.7.1]
   9 #    [""M# | #  U"U#U
  10 #     | #  | #  \ .:/
  11 #     | #  | #___| #
  12 #     | "--'     .-"
  13 #   |"-"-"-"-"-#-#-##
  14 #   |     # ## ######
  15 #    \       .::::'/
  16 #     \      ::::'/
  17 #   :8a|    # # ##
  18 #   ::88a      ###
  19 #  ::::888a  8a ##::.
  20 #  ::::::888a88a[]::::
  21 # :::::::::SUNDOGa8a::::. ..
  22 # :::::8::::888:Y8888:::::::::...
  23 #::':::88::::888::Y88a______________________________________________________
  24 #:: ::::88a::::88a:Y88a                                  __---__-- __
  25 #' .: ::Y88a:::::8a:Y88a                            __----_-- -------_-__
  26 #  :' ::::8P::::::::::88aa.                   _ _- --  --_ --- __  --- __--
  27 #.::  :::::::::::::::::::Y88as88a...s88aa.
  28 #
  29 # [File generated by the OpenScop Library 0.8.4]
  30
  31 <OpenScop>
  32
  33 # =============================================== Global
  34 # Language
  35 C
  36
  37 # Context
  38 CONTEXT
  39 0 3 0 0 0 1
  40
  41 # Parameters are provided
  42 1
  43 <strings>
  44 N
  45 </strings>
  46
  47 # Number of statements
  48 2
  49
  50 # =============================================== Statement 1
  51 # Number of relations describing the statement:
  52 3
  53
  54 # ----------------------------------------------  1.1 Domain
  55 DOMAIN
  56 3 4 1 0 0 1
  57 # e/i|  i |  N |  1
  58    1    1    0    0    ## i >= 0
  59    1   -1    1    0    ## -i+N >= 0
  60    1    0    1    0    ## N >= 0
  61
  62 # ----------------------------------------------  1.2 Scattering
  63 SCATTERING
  64 3 7 3 1 0 1
  65 # e/i| c1   c2   c3 |  i |  N |  1
  66    0   -1    0    0    0    0    0    ## c1 == 0
  67    0    0   -1    0    1    0    0    ## c2 == i
  68    0    0    0   -1    0    0    0    ## c3 == 0
  69
  70 # ----------------------------------------------  1.3 Access
  71 WRITE
  72 2 6 2 1 0 1
  73 # e/i| Arr  [1]|  i |  N |  1
  74    0   -1    0    0    0    3    ## Arr == a
  75    0    0   -1    1    0    0    ## [1] == i
  76
  77 # ----------------------------------------------  1.4 Statement Extensions
  78 # Number of Statement Extensions
  79 2
  80 <body>
  81 # Number of original iterators
  82 1
  83 # List of original iterators
  84 i
  85 # Statement body expression
  86 a[i] = 0;
  87 </body>
  88
  89 <extbody>
  90 # Number of accesses
  91 1
  92 # Access coordinates (start/length)
  93 0 4
  94 # Number of original iterators
  95 1
  96 # List of original iterators
  97 i
  98 # Statement body expression
  99 a[i] = 0;
 100 </extbody>
 101
 102 # =============================================== Statement 2
 103 # Number of relations describing the statement:
 104 5
 105
 106 # ----------------------------------------------  2.1 Domain
 107 DOMAIN
 108 3 4 1 0 0 1
 109 # e/i|  i |  N |  1
 110    1    1    0    0    ## i >= 0
 111    1   -1    1    0    ## -i+N >= 0
 112    1    0    1    0    ## N >= 0
 113
 114 # ----------------------------------------------  2.2 Scattering
 115 SCATTERING
 116 3 7 3 1 0 1
 117 # e/i| c1   c2   c3 |  i |  N |  1
 118    0   -1    0    0    0    0    0    ## c1 == 0
 119    0    0   -1    0    1    0    0    ## c2 == i
 120    0    0    0   -1    0    0    1    ## c3 == 1
 121
 122 # ----------------------------------------------  2.3 Access
 123 WRITE
 124 2 6 2 1 0 1
 125 # e/i| Arr  [1]|  i |  N |  1
 126    0   -1    0    0    0    4    ## Arr == b
 127    0    0   -1    1    0    0    ## [1] == i
 128
 129 READ
 130 2 6 2 1 0 1
 131 # e/i| Arr  [1]|  i |  N |  1
 132    0   -1    0    0    0    3    ## Arr == a
 133    0    0   -1    1    0    0    ## [1] == i
 134
 135 READ
 136 2 6 2 1 0 1
 137 # e/i| Arr  [1]|  i |  N |  1
 138    0   -1    0    0    0    5    ## Arr == c
 139    0    0   -1    1    0    0    ## [1] == i
 140
 141 # ----------------------------------------------  2.4 Statement Extensions
 142 # Number of Statement Extensions
 143 2
 144 <body>
 145 # Number of original iterators
 146 1
 147 # List of original iterators
 148 i
 149 # Statement body expression
 150 b[i] = a[i] + c[i];
 151 </body>
 152
 153 <extbody>
 154 # Number of accesses
 155 3
 156 # Access coordinates (start/length)
 157 0 4
 158 7 4
 159 14 4
 160 # Number of original iterators
 161 1
 162 # List of original iterators
 163 i
 164 # Statement body expression
 165 b[i] = a[i] + c[i];
 166 </extbody>
 167
 168 # =============================================== Extensions
 169 <scatnames>
 170 b0 i b1
 171 </scatnames>
 172
 173 <arrays>
 174 # Number of arrays
 175 5
 176 # Mapping array-identifiers/array-names
 177 1 i
 178 2 N
 179 3 a
 180 4 b
 181 5 c
 182 </arrays>
 183
 184 <coordinates>
 185 # File name
 186 ./unitary/dimcontract.c
 187 # Starting line and column
 188 2 0
 189 # Ending line and column
 190 11 0
 191 # Indentation
 192 0
 193 </coordinates>
 194
 195 <clay>
 196    dimcontract([0], 3, 1); # 3 == a
 197 </clay>
 198
 199 </OpenScop>
 200