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