test/openscop/union.scop

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