~ubuntu-branches/ubuntu/trusty/cloog/trusty

« back to all changes in this revision

Viewing changes to test/manual_basic.cloog

• browse files at revision 7
• compare with another revision
• download diff
• download tarball
• view history from revision 7

Show diffs side-by-side

added

removed

test/manual_basic.cloog

 

1

# ---------------------- CONTEXT ----------------------

 

2

c # language is C

 

3

 

 

4

1 # Context (constraints on two parameters)

 

5

2 4                   # 2 lines and 4 columns

 

6

# eq/in m  n  1

 

7

    1   1  0 -2       # 1*m + 0*n -2*1 >= 0, i.e. m>=2

 

8

    1   0  1 -2       # 0*m + 1*n -2*1 >= 0, i.e. n>=2

 

9

 

 

10

1 # We want to set manually the parameter names

 

11

m n                   # parameter names

 

12

 

 

13

# --------------------- STATEMENTS --------------------

 

14

1 # Number of statements

 

15

 

 

16

1 # First statement: one domain

 

17

# First domain

 

18

5 6                   # 5 lines and 6 columns

 

19

# eq/in i  j  m  n  1 

 

20

    1   1  0  0  0 -2 # i >= 2

 

21

    1  -1  0  0  1  0 # i <= n

 

22

    1   0  1  0  0 -2 # j >= 2

 

23

    1   0 -1  1  0  0 # j <= m

 

24

    1  -1 -1  0  1  2 # n+2-i>=j

 

25

0  0  0               # for future options

 

26

 

 

27

1 # We want to set manually the iterator names

 

28

i j                   # iterator names

 

29

 

 

30

# --------------------- SCATTERING --------------------

 

31

0 # No scattering functions

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1