blob: 8f8dd27db336c706982bd8f55da9e784316ebcd6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# #
# # 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;
{[In_1,In_2] -> [Out_1,Out_2] : im_1(In_1,In_2) = im_1(Out_1,Out_2) && Out_1 = In_1 && 1 <= In_2 < Out_2 <= line22(In_1) && 1 <= In_1 <= 200}
#
|
