tests/unitary/peel_first.c.clay.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  -10    ## i-10 >= 0
  30    1   -1    1   -8    ## -i+N-8 >= 0
  31    1    0    1  -18    ## N-18 >= 0
  32
  33 # ----------------------------------------------  1.2 Scattering
  34 SCATTERING
  35 4 7 3 1 0 1
  36 # e/i| c1   c2   c3 |  i |  N |  1
  37    0   -1    0    0    0    0    1    ## c1 == 1
  38    0    0   -1    0    1    0    0    ## c2 == i
  39    0    0    0   -1    0    0    0    ## c3 == 0
  40    1    0    1    0    0    0  -15    ## c2-15 >= 0
  41
  42 # ----------------------------------------------  1.3 Access
  43 WRITE
  44 2 6 2 1 0 1
  45 # e/i| Arr  [1]|  i |  N |  1
  46    0   -1    0    0    0    3    ## Arr == a
  47    0    0   -1    1    0    0    ## [1] == i
  48
  49 # ----------------------------------------------  1.4 Statement Extensions
  50 # Number of Statement Extensions
  51 1
  52 <body>
  53 # Number of original iterators
  54 1
  55 # List of original iterators
  56 i
  57 # Statement body expression
  58 a[i] = 0;
  59 </body>
  60
  61 # =============================================== Statement 2
  62 # Number of relations describing the statement:
  63 3
  64
  65 # ----------------------------------------------  2.1 Domain
  66 DOMAIN
  67 3 4 1 0 0 1
  68 # e/i|  i |  N |  1
  69    1    1    0  -10    ## i-10 >= 0
  70    1   -1    1   -8    ## -i+N-8 >= 0
  71    1    0    1  -18    ## N-18 >= 0
  72
  73 # ----------------------------------------------  2.2 Scattering
  74 SCATTERING
  75 4 7 3 1 0 1
  76 # e/i| c1   c2   c3 |  i |  N |  1
  77    0   -1    0    0    0    0    0    ## c1 == 0
  78    0    0   -1    0    1    0    0    ## c2 == i
  79    0    0    0   -1    0    0    0    ## c3 == 0
  80    1    0   -1    0    0    0   14    ## -c2+14 >= 0
  81
  82 # ----------------------------------------------  2.3 Access
  83 WRITE
  84 2 6 2 1 0 1
  85 # e/i| Arr  [1]|  i |  N |  1
  86    0   -1    0    0    0    3    ## Arr == a
  87    0    0   -1    1    0    0    ## [1] == i
  88
  89 # ----------------------------------------------  2.4 Statement Extensions
  90 # Number of Statement Extensions
  91 1
  92 <body>
  93 # Number of original iterators
  94 1
  95 # List of original iterators
  96 i
  97 # Statement body expression
  98 a[i] = 0;
  99 </body>
 100
 101 # =============================================== Extensions
 102 <scatnames>
 103 b0 i b1
 104 </scatnames>
 105
 106 <arrays>
 107 # Number of arrays
 108 3
 109 # Mapping array-identifiers/array-names
 110 1 i
 111 2 N
 112 3 a
 113 </arrays>
 114
 115 <coordinates>
 116 # File name
 117 ./unitary/peel_first.c
 118 # Starting line and column
 119 2 0
 120 # Ending line and column
 121 8 0
 122 # Indentation
 123 0
 124 </coordinates>
 125
 126 </OpenScop>
 127