tests/unitary/ax-do.c.orig.scop

   1
   2 <OpenScop>
   3
   4 # =============================================== Global
   5 # Language
   6 C
   7
   8 # Context
   9 CONTEXT
  10 0 3 0 0 0 1
  11
  12 # Parameters are provided
  13 1
  14 <strings>
  15 n
  16 </strings>
  17
  18 # Number of statements
  19 2
  20
  21 # =============================================== Statement 1
  22 # Number of relations describing the statement:
  23 3
  24
  25 # ----------------------------------------------  1.1 Domain
  26 DOMAIN
  27 3 4 1 0 0 1
  28 # e/i|  i |  n |  1
  29    1    1    0   -1    ## i-1 >= 0
  30    1   -1    1    0    ## -i+n >= 0
  31    1    0    1   -1    ## n-1 >= 0
  32
  33 # ----------------------------------------------  1.2 Scattering
  34 SCATTERING
  35 3 7 3 1 0 1
  36 # e/i| c1   c2   c3 |  i |  n |  1
  37    0   -1    0    0    0    0    0    ## c1 == 0
  38    0    0   -1    0    1    0    0    ## c2 == i
  39    0    0    0   -1    0    0    0    ## c3 == 0
  40
  41 # ----------------------------------------------  1.3 Access
  42 WRITE
  43 2 6 2 1 0 1
  44 # e/i| Arr  [1]|  i |  n |  1
  45    0   -1    0    0    0    3    ## Arr == c
  46    0    0   -1    1    0    0    ## [1] == i
  47
  48 # ----------------------------------------------  1.4 Body
  49 # Statement body is provided
  50 1
  51 <body>
  52 # Number of original iterators
  53 1
  54 # List of original iterators
  55 i
  56 # Statement body expression
  57 c[i]=0;
  58 </body>
  59
  60 # =============================================== Statement 2
  61 # Number of relations describing the statement:
  62 6
  63
  64 # ----------------------------------------------  2.1 Domain
  65 DOMAIN
  66 5 5 2 0 0 1
  67 # e/i|  i    j |  n |  1
  68    1    1    0    0   -1    ## i-1 >= 0
  69    1   -1    0    1    0    ## -i+n >= 0
  70    1    0    0    1   -1    ## n-1 >= 0
  71    1    0    1    0   -1    ## j-1 >= 0
  72    1    0   -1    1    0    ## -j+n >= 0
  73
  74 # ----------------------------------------------  2.2 Scattering
  75 SCATTERING
  76 5 10 5 2 0 1
  77 # e/i| c1   c2   c3   c4   c5 |  i    j |  n |  1
  78    0   -1    0    0    0    0    0    0    0    1    ## c1 == 1
  79    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
  80    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
  81    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
  82    0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
  83
  84 # ----------------------------------------------  2.3 Access
  85 READ
  86 2 7 2 2 0 1
  87 # e/i| Arr  [1]|  i    j |  n |  1
  88    0   -1    0    0    0    0    3    ## Arr == c
  89    0    0   -1    1    0    0    0    ## [1] == i
  90
  91 WRITE
  92 2 7 2 2 0 1
  93 # e/i| Arr  [1]|  i    j |  n |  1
  94    0   -1    0    0    0    0    3    ## Arr == c
  95    0    0   -1    1    0    0    0    ## [1] == i
  96
  97 READ
  98 3 8 3 2 0 1
  99 # e/i| Arr  [1]  [2]|  i    j |  n |  1
 100    0   -1    0    0    0    0    0    5    ## Arr == a
 101    0    0   -1    0    1    0    0    0    ## [1] == i
 102    0    0    0   -1    0    1    0    0    ## [2] == j
 103
 104 READ
 105 2 7 2 2 0 1
 106 # e/i| Arr  [1]|  i    j |  n |  1
 107    0   -1    0    0    0    0    6    ## Arr == b
 108    0    0   -1    0    1    0    0    ## [1] == j
 109
 110 # ----------------------------------------------  2.4 Body
 111 # Statement body is provided
 112 1
 113 <body>
 114 # Number of original iterators
 115 2
 116 # List of original iterators
 117 i j
 118 # Statement body expression
 119 c[i]+=a[i][j]*b[j];
 120 </body>
 121
 122 # =============================================== Extensions
 123 <scatnames>
 124 b0 i b1 j b2
 125 </scatnames>
 126
 127 <arrays>
 128 # Number of arrays
 129 6
 130 # Mapping array-identifiers/array-names
 131 1 i
 132 2 n
 133 3 c
 134 4 j
 135 5 a
 136 6 b
 137 </arrays>
 138
 139 </OpenScop>
 140