tests/unitary/interchange_loop1.c.clay.scop

   1
   2 <OpenScop>
   3
   4 # =============================================== Global
   5 # Language
   6 C
   7
   8 # Context
   9 CONTEXT
  10 0 4 0 0 0 2
  11
  12 # Parameters are provided
  13 1
  14 <strings>
  15 N M
  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 6 6 2 0 0 2
  28 # e/i|  i    j |  N    M |  1
  29    1    1    0    0    0    0    ## i >= 0
  30    1   -1    0    1    0    0    ## -i+N >= 0
  31    1    0    0    1    0    0    ## N >= 0
  32    1    0    1    0    0    0    ## j >= 0
  33    1    0   -1    0    1    0    ## -j+M >= 0
  34    1    0    0    0    1    0    ## M >= 0
  35
  36 # ----------------------------------------------  1.2 Scattering
  37 SCATTERING
  38 5 11 5 2 0 2
  39 # e/i| c1   c2   c3   c4   c5 |  i    j |  N    M |  1
  40    0   -1    0    0    0    0    0    0    0    0    0    ## c1 == 0
  41    0    0    0    0   -1    0    1    0    0    0    0    ## c4 == i
  42    0    0    0   -1    0    0    0    0    0    0    0    ## c3 == 0
  43    0    0   -1    0    0    0    0    1    0    0    0    ## c2 == j
  44    0    0    0    0    0   -1    0    0    0    0    0    ## c5 == 0
  45
  46 # ----------------------------------------------  1.3 Access
  47 WRITE
  48 3 9 3 2 0 2
  49 # e/i| Arr  [1]  [2]|  i    j |  N    M |  1
  50    0   -1    0    0    0    0    0    0    5    ## Arr == a
  51    0    0   -1    0    1    0    0    0    0    ## [1] == i
  52    0    0    0   -1    0    1    0    0    0    ## [2] == j
  53
  54 # ----------------------------------------------  1.4 Statement Extensions
  55 # Number of Statement Extensions
  56 1
  57 <body>
  58 # Number of original iterators
  59 2
  60 # List of original iterators
  61 i j
  62 # Statement body expression
  63 a[i][j] = 0;
  64 </body>
  65
  66 # =============================================== Extensions
  67 <scatnames>
  68 b0 i b1 j b2
  69 </scatnames>
  70
  71 <arrays>
  72 # Number of arrays
  73 5
  74 # Mapping array-identifiers/array-names
  75 1 i
  76 2 N
  77 3 j
  78 4 M
  79 5 a
  80 </arrays>
  81
  82 <coordinates>
  83 # File name
  84 ./unitary/interchange_loop1.c
  85 # Starting line and column
  86 2 0
  87 # Ending line and column
  88 10 0
  89 # Indentation
  90 0
  91 </coordinates>
  92
  93 </OpenScop>
  94