test/openscop/union.scop

   1 # [File generated by the OpenScop Library 0.8.0]
   2
   3 <OpenScop>
   4
   5 # =============================================== Global
   6 # Language
   7 C
   8
   9 # Context
  10 CONTEXT
  11 1 3 0 0 0 1
  12 # e/i|  N |  1
  13    1    1    3    ## N+3 >= 0
  14
  15 # Parameters are provided
  16 1
  17 <strings>
  18 N
  19 </strings>
  20
  21 # Number of statements
  22 1
  23
  24 # =============================================== Statement 1
  25 # Number of relations describing the statement:
  26 6
  27
  28 # ----------------------------------------------  1.1 Domain
  29 DOMAIN
  30 # Union with 2 parts
  31 2
  32 # Union part No.1
  33 5 5 2 0 0 1
  34 # e/i|  i    j |  N |  1
  35    1    1    0    0    0    ## i >= 0
  36    1   -1    0    1   -1    ## -i+N-1 >= 0
  37    1    0    1    0    0    ## j >= 0
  38    1    0   -1    1   -1    ## -j+N-1 >= 0
  39    1    0    1    0  -20    ## j-20 >= 0
  40 # Union part No.2
  41 5 5 2 0 0 1
  42 # e/i|  i    j |  N |  1
  43    1    1    0    0    0    ## i >= 0
  44    1   -1    0    1   -1    ## -i+N-1 >= 0
  45    1    0    1    0    0    ## j >= 0
  46    1    0   -1    1   -1    ## -j+N-1 >= 0
  47    1    0   -1    0   10    ## -j+10 >= 0
  48
  49 # ----------------------------------------------  1.2 Scattering
  50 SCATTERING
  51 5 10 5 2 0 1
  52 # e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1
  53    0   -1    0    0    0    0    0    0    0    0    ## c1 == 0
  54    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
  55    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
  56    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
  57    0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
  58
  59 # ----------------------------------------------  1.3 Access
  60 READ
  61 2 7 2 2 0 1
  62 # e/i| A1   [1]|  i    j |  N |  1
  63    0   -1    0    0    0    0    1    ## A1
  64    0    0   -1    1    1    0    0    ## [1] == i+j
  65
  66 READ
  67 2 7 2 2 0 1
  68 # e/i| A2   [1]|  i    j |  N |  1
  69    0   -1    0    0    0    0    2    ## A2
  70    0    0   -1    1    0    0    0    ## [1] == i
  71
  72 READ
  73 2 7 2 2 0 1
  74 # e/i| A3   [1]|  i    j |  N |  1
  75    0   -1    0    0    0    0    3    ## A3
  76    0    0   -1    0    1    0    0    ## [1] == j
  77
  78 WRITE
  79 2 7 2 2 0 1
  80 # e/i| A1   [1]|  i    j |  N |  1
  81    0   -1    0    0    0    0    1    ## A1
  82    0    0   -1    1    1    0    0    ## [1] == i+j
  83
  84 # ----------------------------------------------  1.4 Body
  85 # Statement body is provided
  86 1
  87 <body>
  88 # Number of original iterators
  89 2
  90 # Original iterators
  91 i j
  92 # Body expression
  93 C[i+j]+=A[i]*B[j];
  94 </body>
  95
  96
  97 # =============================================== Extensions
  98 <comment>
  99 hello, world
 100
 101 HELLO WORLD I SAID
 102 </comment>
 103
 104 </OpenScop>
 105
 106