tests/unitary/can_reorder_loop.c.orig.scop

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