test/published/Web/web7.cloog

   1 # CLooG example file #7: A useful basis to start writing its own input file.
   2 # 1. Language: C
   3 c
   4
   5 # 2. Parameters {M | M>=0}.
   6 1 3
   7 #  M  1
   8 1  1  0
   9
  10 # 3. We let CLooG choose the parameter names.
  11 0
  12
  13 # 4. Number of polyhedra:
  14 1
  15
  16 # 5. Polyhedron #1 {i, j | 0<=i<=M 0<=j<=M}.
  17 1
  18 4 5
  19 #   i   j   M   1
  20 1   1   0   0   0
  21 1  -1   0   1   0
  22 1   0   1   0   0
  23 1   0  -1   1   0
  24 0   0   0
  25
  26 # 6. We let CLooG choose the iterator names.
  27 0
  28
  29 # 7. Let CLoog scan the polyhedra in the way it wants.
  30 0