omega/examples/old_test/cfft2d1


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#
# A (memory-based!) data dependence relation from a greatly simplified
# cfft2d1.t that was causing us trouble.
#

symbolic line22(1), im_1(2);

flow := { [iii_w,jj_w] -> [iii_r,jj_r] :
	   im_1(In) = im_1(Out)
	&& 1 <= jj_w
	&& jj_w <= line22(In)
	&& 1 <= iii_w
	&& iii_w <= 200
	&& 1 <= jj_r
	&& jj_r <= line22(Out)
	&& 1 <= iii_r
	&& iii_r <= 200 };

zero_plus := { [i1,j1] -> [i2,j2] : i1 = i2 && j1 < j2 };

flow intersection zero_plus;