test/openscop/clay.scop

   1 # [File generated by the OpenScop Library 0.9.0]
   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 1
  19
  20 # =============================================== Statement 1
  21 # Number of relations describing the statement:
  22 3
  23
  24 # ----------------------------------------------  1.1 Domain
  25 DOMAIN
  26 2 3 1 0 0 0
  27 # e/i|  i |  1
  28    1    1    0    ## i >= 0
  29    1   -1   41    ## -i+41 >= 0
  30
  31 # ----------------------------------------------  1.2 Scattering
  32 SCATTERING
  33 6 8 5 1 0 0
  34 # e/i| c1   c2   c3   c4   c5 |  i |  1
  35    0   -1    0    0    0    0    0    0    ## c1 == 0
  36    1    0   -4    0    1    0    0    0    ## -4*c2+c4 >= 0
  37    1    0    4    0   -1    0    0    3    ## 4*c2-c4+3 >= 0
  38    0    0    0   -1    0    0    0    0    ## c3 == 0
  39    0    0    0    0   -1    0    1    0    ## c4 == i
  40    0    0    0    0    0   -1    0    0    ## c5 == 0
  41
  42 # ----------------------------------------------  1.3 Access
  43 READ
  44 1 4 1 1 0 0
  45 # e/i| Arr|  i |  1
  46    0   -1    0    1    ## Arr == i
  47
  48 # ----------------------------------------------  1.4 Statement Extensions
  49 # Number of Statement Extensions
  50 2
  51 <identifier>
  52 1
  53 </identifier>
  54
  55 <body>
  56 # Number of original iterators
  57 1
  58 # List of original iterators
  59 i
  60 # Statement body expression
  61 S(i);
  62 </body>
  63
  64 # =============================================== Extensions
  65 <scatnames>
  66 __b0 __ii0 b0 i b1
  67 </scatnames>
  68
  69 <arrays>
  70 # Number of arrays
  71 2
  72 # Mapping array-identifiers/array-names
  73 1 i
  74 2 S
  75 </arrays>
  76
  77 <coordinates>
  78 # File name
  79 clay_orig.c
  80 # Starting line and column
  81 3 0
  82 # Ending line and column
  83 9 0
  84 # Indentation
  85 0
  86 </coordinates>
  87
  88 </OpenScop>
  89