1# language: C 2c 3 4# One parameter : n 51 3 6# n 1 71 1 -2 8# We want to set the parameter names... 91 10# and 'n' is the name of the unique parameter 11n 12 132 # Number of statements: 2. 14 151 16# {i, j | 1<=i<=n-1; i+1<=j<=n} 174 5 18# i j n 1 191 1 0 0 -1 201 -1 0 1 -1 211 -1 1 0 -1 221 0 -1 1 0 23 24#----------------- 251 # SYNCHRONIZATION INFOS 26 271 # POST 28# {i, j | 1<=i<=n-1; i+1<=j<=n} 294 5 30# i j n 1 311 1 0 0 -1 321 -1 0 1 -1 331 -1 1 0 -1 341 0 -1 1 0 35 360 # No WAIT 37#----------------- 380 0 39 401 41# {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n} 426 6 43# i j k n 1 441 1 0 0 0 -1 451 -1 0 0 1 -1 461 -1 1 0 0 -1 471 0 -1 0 1 0 481 -1 0 1 0 -1 491 0 0 -1 1 0 50 51#----------------- 521 # SYNCHRONIZATION INFOS 53 540 # No POST 55 561 # One WAIT 571 # First WAIT 58# {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n} 596 6 60# i j k n 1 611 1 0 0 0 -1 621 -1 0 0 1 -1 631 -1 1 0 0 -1 641 0 -1 0 1 0 651 -1 0 1 0 -1 661 0 0 -1 1 0 67 681 # Source 69#----------------- 700 0 71 72 73# We want to let CLooG set the iterator names. 740 75 762 77# Scattering functions 781 6 79# c1 i j n 1 800 1 -1 0 0 0 81 821 7 83# c1 i j k n 1 840 1 0 0 -1 0 0 851 86proc 87 882 89# Scattering functions 903 8 91# c1 c2 c3 i j n 1 920 1 0 0 -1 0 0 0 930 0 1 0 0 0 0 0 940 0 0 1 0 0 0 0 95 963 9 97# c1 c2 c3 i j k n 1 980 1 0 0 0 0 -1 0 0 990 0 1 0 0 0 0 0 -1 1000 0 0 1 0 0 -1 0 0 1010 102 103