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