tests/clan/matmul.c.scop

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