repo.or.cz
/
isl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
isl_basic_set_sort_constraints: take into account all coefficients
[isl.git]
/
test_inputs
/
codegen
/
cloog
/
byu98-1-2-3.c
blob
8e87cba33db0b5b240454fac0a5a776d563f3f6b
1
{
2
for
(
int
c0
=
2
;
c0
<=
3
;
c0
+=
1
)
3
for
(
int
c1
= -
c0
+
6
;
c1
<=
6
;
c1
+=
1
)
4
S1
(
c0
,
c1
);
5
for
(
int
c0
=
4
;
c0
<=
8
;
c0
+=
1
) {
6
if
(
c0
>=
6
) {
7
S2
(
c0
, -
c0
+
9
);
8
}
else
{
9
if
(
c0
==
4
)
10
for
(
int
c1
=
3
;
c1
<=
4
;
c1
+=
1
)
11
S1
(
4
,
c1
);
12
S1
(
c0
, -
c0
+
9
);
13
S2
(
c0
, -
c0
+
9
);
14
}
15
for
(
int
c1
=
max
(
c0
-
1
, -
c0
+
10
);
c1
<=
6
;
c1
+=
1
)
16
S1
(
c0
,
c1
);
17
}
18
}