test/yosr_sync.cloog

   1 # language: C
   2 c
   3
   4 # One parameter : n
   5 1 3
   6 #  n  1
   7 1  1 -2
   8 # We want to set the parameter names...
   9 1
  10 # and 'n' is the name of the unique parameter
  11 n
  12
  13 2 # Number of statements: 2.
  14
  15 1
  16 # {i, j | 1<=i<=n-1; i+1<=j<=n}
  17 4 5
  18 #  i  j  n  1
  19 1  1  0  0 -1
  20 1 -1  0  1 -1
  21 1 -1  1  0 -1
  22 1  0 -1  1  0
  23
  24 #-----------------
  25 1 # SYNCHRONIZATION INFOS
  26
  27 1 # POST
  28 # {i, j | 1<=i<=n-1; i+1<=j<=n}
  29 4 5
  30 #  i  j  n  1
  31 1  1  0  0 -1
  32 1 -1  0  1 -1
  33 1 -1  1  0 -1
  34 1  0 -1  1  0
  35
  36 0 # No WAIT
  37 #-----------------
  38 0  0
  39
  40 1
  41 # {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n}
  42 6 6
  43 #  i  j  k  n  1
  44 1  1  0  0  0 -1
  45 1 -1  0  0  1 -1
  46 1 -1  1  0  0 -1
  47 1  0 -1  0  1  0
  48 1 -1  0  1  0 -1
  49 1  0  0 -1  1  0
  50
  51 #-----------------
  52 1 # SYNCHRONIZATION INFOS
  53
  54 0 # No POST
  55
  56 1 # One WAIT
  57 1 # First WAIT
  58 # {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n}
  59 6 6
  60 #  i  j  k  n  1
  61 1  1  0  0  0 -1
  62 1 -1  0  0  1 -1
  63 1 -1  1  0  0 -1
  64 1  0 -1  0  1  0
  65 1 -1  0  1  0 -1
  66 1  0  0 -1  1  0
  67
  68 1 # Source
  69 #-----------------
  70 0  0
  71
  72
  73 # We want to let CLooG set the iterator names.
  74 0
  75
  76 2
  77 # Scattering functions
  78 1 6
  79 # c1  i  j  n  1
  80 0  1 -1  0  0  0
  81
  82 1 7
  83 # c1  i  j  k  n  1
  84 0  1  0  0 -1  0  0
  85 1
  86 proc
  87
  88 2
  89 # Scattering functions
  90 3 8
  91 # c1 c2 c3  i  j  n  1
  92 0  1  0  0 -1  0  0  0
  93 0  0  1  0  0  0  0  0
  94 0  0  0  1  0  0  0  0
  95
  96 3 9
  97 # c1 c2 c3  i  j  k  n  1
  98 0  1  0  0  0  0 -1  0  0
  99 0  0  1  0  0  0  0  0 -1
 100 0  0  0  1  0  0 -1  0  0
 101 0
 102