mirror of
https://review.haiku-os.org/buildtools
synced 2025-02-19 12:17:55 +01:00
65 lines
2.3 KiB
Plaintext
65 lines
2.3 KiB
Plaintext
|
# ---------------------- CONTEXT ----------------------
|
||
|
|
c # language is C
|
||
|
|
|
||
|
|
# Context (no constraints on one parameter)
|
||
|
|
1 3 # 1 line and 3 columns
|
||
|
|
# eq/in n 1
|
||
|
|
1 0 0 # 0 >= 0, always true
|
||
|
|
|
||
|
|
1 # We want to set manually the parameter name
|
||
|
|
n # parameter name
|
||
|
|
|
||
|
|
# --------------------- STATEMENTS --------------------
|
||
|
|
2 # Number of statements
|
||
|
|
|
||
|
|
1 # First statement: one domain
|
||
|
|
4 5 # 4 lines and 3 columns
|
||
|
|
# eq/in i j n 1
|
||
|
|
1 1 0 0 -1 # i >= 1
|
||
|
|
1 -1 0 1 -1 # i <= n-1
|
||
|
|
1 -1 1 0 -1 # j >= i+1
|
||
|
|
1 0 -1 1 0 # j <= n
|
||
|
|
0 0 0 # for future options
|
||
|
|
|
||
|
|
1
|
||
|
|
# Second statement: one domain
|
||
|
|
6 6 # 6 lines and 3 columns
|
||
|
|
# eq/in i j k n 1
|
||
|
|
1 1 0 0 0 -1 # i >= 1
|
||
|
|
1 -1 0 0 1 -1 # i <= n-1
|
||
|
|
1 -1 1 0 0 -1 # j >= i+1
|
||
|
|
1 0 -1 0 1 0 # j <= n
|
||
|
|
1 -1 0 1 0 -1 # k >= i+1
|
||
|
|
1 0 0 -1 1 0 # k <= n
|
||
|
|
0 0 0 # for future options
|
||
|
|
|
||
|
|
0 # We let CLooG set the iterator names
|
||
|
|
|
||
|
|
# --------------------- SCATTERING --------------------
|
||
|
|
2 # Scattering functions
|
||
|
|
# First function
|
||
|
|
8 13 # 3 lines and 3 columns
|
||
|
|
# eq/in p1 p2 p3 p4 p5 p6 p7 p8 i j n 1
|
||
|
|
0 1 0 0 0 0 0 0 0 -1 0 0 0 # p1 = i
|
||
|
|
0 0 1 0 0 0 0 0 0 0 0 0 0 # p2 = 0
|
||
|
|
0 0 0 1 0 0 0 0 0 -1 0 0 0 # p3 = i
|
||
|
|
0 0 0 0 1 0 0 0 0 0 0 0 0 # p4 = 0
|
||
|
|
0 0 0 0 0 1 0 0 0 0 -1 0 0 # p5 = j
|
||
|
|
0 0 0 0 0 0 1 0 0 0 0 0 0 # p6 = 0
|
||
|
|
0 0 0 0 0 0 0 1 0 0 0 0 0 # p7 = 0
|
||
|
|
0 0 0 0 0 0 0 0 1 0 0 0 0 # p8 = 0
|
||
|
|
# Second function
|
||
|
|
8 14 # 3 lines and 3 columns
|
||
|
|
# eq/in p1 p2 p3 p4 p5 p6 p7 p8 i j k n 1
|
||
|
|
0 1 0 0 0 0 0 0 0 0 0 -1 0 0 # p1 = k
|
||
|
|
0 0 1 0 0 0 0 0 0 0 0 0 0 0 # p2 = 0
|
||
|
|
0 0 0 1 0 0 0 0 0 -1 0 0 0 0 # p3 = i
|
||
|
|
0 0 0 0 1 0 0 0 0 0 0 0 0 0 # p4 = 0
|
||
|
|
0 0 0 0 0 1 0 0 0 0 -1 0 0 0 # p5 = j
|
||
|
|
0 0 0 0 0 0 1 0 0 0 0 0 0 -1 # p6 = 1
|
||
|
|
0 0 0 0 0 0 0 1 0 0 0 -1 0 0 # p7 = k
|
||
|
|
0 0 0 0 0 0 0 0 1 0 0 0 0 0 # p8 = 0
|
||
|
|
|
||
|
|
1 # We want to set manually the scattering dimension names
|
||
|
|
p1 p2 p3 p4 p5 p6 p7 p8 # scattering dimension names
|