tests/unitary/loulou.c.orig.scop

   1 [Clan] Info: parsing file #1 (./unitary/loulou.c)
   2
   3 <OpenScop>
   4
   5 # =============================================== Global
   6 # Language
   7 C
   8
   9 # Context
  10 CONTEXT
  11 0 4 0 0 0 2
  12
  13 # Parameters are provided
  14 1
  15 <strings>
  16 n m
  17 </strings>
  18
  19 # Number of statements
  20 2
  21
  22 # =============================================== Statement 1
  23 # Number of relations describing the statement:
  24 4
  25
  26 # ----------------------------------------------  1.1 Domain
  27 DOMAIN
  28 3 5 1 0 0 2
  29 # e/i|  i |  n    m |  1
  30    1    1    0    0   -1    ## i-1 >= 0
  31    1   -1    1    0    0    ## -i+n >= 0
  32    1    0    1    0   -1    ## n-1 >= 0
  33
  34 # ----------------------------------------------  1.2 Scattering
  35 SCATTERING
  36 3 8 3 1 0 2
  37 # e/i| c1   c2   c3 |  i |  n    m |  1
  38    0   -1    0    0    0    0    0    0    ## c1 == 0
  39    0    0   -1    0    1    0    0    0    ## c2 == i
  40    0    0    0   -1    0    0    0    0    ## c3 == 0
  41
  42 # ----------------------------------------------  1.3 Access
  43 WRITE
  44 2 7 2 1 0 2
  45 # e/i| Arr  [1]|  i |  n    m |  1
  46    0   -1    0    0    0    0    3    ## Arr == a
  47    0    0   -1    1    0    0    0    ## [1] == i
  48
  49 READ
  50 1 6 1 1 0 2
  51 # e/i| Arr|  i |  n    m |  1
  52    0   -1    0    0    0    1    ## Arr == i
  53
  54 # ----------------------------------------------  1.4 Statement Extensions
  55 # Number of Statement Extensions
  56 1
  57 <body>
  58 # Number of original iterators
  59 1
  60 # List of original iterators
  61 i
  62 # Statement body expression
  63 a[i] = i ;
  64 </body>
  65
  66 # =============================================== Statement 2
  67 # Number of relations describing the statement:
  68 5
  69
  70 # ----------------------------------------------  2.1 Domain
  71 DOMAIN
  72 6 6 2 0 0 2
  73 # e/i|  i    j |  n    m |  1
  74    1    1    0    0    0   -1    ## i-1 >= 0
  75    1   -1    0    1    0    0    ## -i+n >= 0
  76    1    0    0    1    0   -1    ## n-1 >= 0
  77    1    0    1    0    0   -1    ## j-1 >= 0
  78    1    0   -1    0    1    0    ## -j+m >= 0
  79    1    0    0    0    1   -1    ## m-1 >= 0
  80
  81 # ----------------------------------------------  2.2 Scattering
  82 SCATTERING
  83 5 11 5 2 0 2
  84 # e/i| c1   c2   c3   c4   c5 |  i    j |  n    m |  1
  85    0   -1    0    0    0    0    0    0    0    0    0    ## c1 == 0
  86    0    0   -1    0    0    0    1    0    0    0    0    ## c2 == i
  87    0    0    0   -1    0    0    0    0    0    0    1    ## c3 == 1
  88    0    0    0    0   -1    0    0    1    0    0    0    ## c4 == j
  89    0    0    0    0    0   -1    0    0    0    0    0    ## c5 == 0
  90
  91 # ----------------------------------------------  2.3 Access
  92 WRITE
  93 2 8 2 2 0 2
  94 # e/i| Arr  [1]|  i    j |  n    m |  1
  95    0   -1    0    0    0    0    0    6    ## Arr == b
  96    0    0   -1    0    1    0    0    0    ## [1] == j
  97
  98 READ
  99 2 8 2 2 0 2
 100 # e/i| Arr  [1]|  i    j |  n    m |  1
 101    0   -1    0    0    0    0    0    6    ## Arr == b
 102    0    0   -1    0    1    0    0    0    ## [1] == j
 103
 104 READ
 105 2 8 2 2 0 2
 106 # e/i| Arr  [1]|  i    j |  n    m |  1
 107    0   -1    0    0    0    0    0    3    ## Arr == a
 108    0    0   -1    1    0    0    0    0    ## [1] == i
 109
 110 # ----------------------------------------------  2.4 Statement Extensions
 111 # Number of Statement Extensions
 112 1
 113 <body>
 114 # Number of original iterators
 115 2
 116 # List of original iterators
 117 i j
 118 # Statement body expression
 119 b[j] = b[j] + a[i] ;
 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 a
 134 4 j
 135 5 m
 136 6 b
 137 </arrays>
 138
 139 <coordinates>
 140 # File name
 141 ./unitary/loulou.c
 142 # Starting line and column
 143 6 0
 144 # Ending line and column
 145 12 0
 146 # Indentation
 147 2
 148 </coordinates>
 149
 150 </OpenScop>
 151