tests/unitary/jacobi1d.c.orig.scop

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