tests/unitary/shift_loop1.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 1
  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    1    ## c2 == i+1
  39    0    0    0   -1    0    0    0    ## c3 == 0
  40
  41 # ----------------------------------------------  1.3 Access
  42 WRITE
  43 2 6 2 1 0 1
  44 # e/i| Arr  [1]|  i |  N |  1
  45    0   -1    0    0    0    3    ## Arr == a
  46    0    0   -1    1    0    0    ## [1] == i
  47
  48 # ----------------------------------------------  1.4 Statement Extensions
  49 # Number of Statement Extensions
  50 1
  51 <body>
  52 # Number of original iterators
  53 1
  54 # List of original iterators
  55 i
  56 # Statement body expression
  57 a[i] = 0;
  58 </body>
  59
  60 # =============================================== Extensions
  61 <scatnames>
  62 b0 i b1
  63 </scatnames>
  64
  65 <arrays>
  66 # Number of arrays
  67 3
  68 # Mapping array-identifiers/array-names
  69 1 i
  70 2 N
  71 3 a
  72 </arrays>
  73
  74 <coordinates>
  75 # File name
  76 ./unitary/shift_loop1.c
  77 # Starting line and column
  78 2 0
  79 # Ending line and column
  80 8 0
  81 # Indentation
  82 0
  83 </coordinates>
  84
  85 </OpenScop>
  86