tests/clan/ax-do.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 3 4 1 0 0 1
  56 # e/i|  i |  n |  1
  57    1    1    0   -1    ## i-1 >= 0
  58    1   -1    1    0    ## -i+n >= 0
  59    1    0    1   -1    ## n-1 >= 0
  60
  61 # ----------------------------------------------  1.2 Scattering
  62 SCATTERING
  63 3 7 3 1 0 1
  64 # e/i| c1   c2   c3 |  i |  n |  1
  65    0   -1    0    0    0    0    0    ## c1 == 0
  66    0    0   -1    0    1    0    0    ## c2 == i
  67    0    0    0   -1    0    0    0    ## c3 == 0
  68
  69 # ----------------------------------------------  1.3 Access
  70 WRITE
  71 2 6 2 1 0 1
  72 # e/i| Arr  [1]|  i |  n |  1
  73    0   -1    0    0    0    3    ## Arr == c
  74    0    0   -1    1    0    0    ## [1] == i
  75
  76 # ----------------------------------------------  1.4 Body
  77 # Statement body is provided
  78 1
  79 <body>
  80 # Number of original iterators
  81 1
  82 # List of original iterators
  83 i
  84 # Statement body expression
  85 c[i]=0;
  86 </body>
  87
  88 # =============================================== Statement 2
  89 # Number of relations describing the statement:
  90 6
  91
  92 # ----------------------------------------------  2.1 Domain
  93 DOMAIN
  94 5 5 2 0 0 1
  95 # e/i|  i    j |  n |  1
  96    1    1    0    0   -1    ## i-1 >= 0
  97    1   -1    0    1    0    ## -i+n >= 0
  98    1    0    0    1   -1    ## n-1 >= 0
  99    1    0    1    0   -1    ## j-1 >= 0
 100    1    0   -1    1    0    ## -j+n >= 0
 101
 102 # ----------------------------------------------  2.2 Scattering
 103 SCATTERING
 104 5 10 5 2 0 1
 105 # e/i| c1   c2   c3   c4   c5 |  i    j |  n |  1
 106    0   -1    0    0    0    0    0    0    0    1    ## c1 == 1
 107    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
 108    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
 109    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
 110    0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
 111
 112 # ----------------------------------------------  2.3 Access
 113 WRITE
 114 2 7 2 2 0 1
 115 # e/i| Arr  [1]|  i    j |  n |  1
 116    0   -1    0    0    0    0    3    ## Arr == c
 117    0    0   -1    1    0    0    0    ## [1] == i
 118
 119 READ
 120 2 7 2 2 0 1
 121 # e/i| Arr  [1]|  i    j |  n |  1
 122    0   -1    0    0    0    0    3    ## Arr == c
 123    0    0   -1    1    0    0    0    ## [1] == i
 124
 125 READ
 126 3 8 3 2 0 1
 127 # e/i| Arr  [1]  [2]|  i    j |  n |  1
 128    0   -1    0    0    0    0    0    5    ## Arr == a
 129    0    0   -1    0    1    0    0    0    ## [1] == i
 130    0    0    0   -1    0    1    0    0    ## [2] == j
 131
 132 READ
 133 2 7 2 2 0 1
 134 # e/i| Arr  [1]|  i    j |  n |  1
 135    0   -1    0    0    0    0    6    ## Arr == b
 136    0    0   -1    0    1    0    0    ## [1] == j
 137
 138 # ----------------------------------------------  2.4 Body
 139 # Statement body is provided
 140 1
 141 <body>
 142 # Number of original iterators
 143 2
 144 # List of original iterators
 145 i j
 146 # Statement body expression
 147 c[i]=c[i]+a[i][j]*b[j];
 148 </body>
 149
 150 # =============================================== Extensions
 151 <scatnames>
 152 b0 i b1 j b2
 153 </scatnames>
 154
 155 <arrays>
 156 # Number of arrays
 157 6
 158 # Mapping array-identifiers/array-names
 159 1 i
 160 2 n
 161 3 c
 162 4 j
 163 5 a
 164 6 b
 165 </arrays>
 166
 167 <coordinates>
 168 # File name
 169 ./tests/ax-do.c
 170 # Starting line
 171 9
 172 # Ending line
 173 15
 174 # Indentation
 175 2
 176 </coordinates>
 177
 178 </OpenScop>
 179