Polly
20.0.0git
Toggle main menu visibility
Main Page
Related Pages
Namespaces
Namespace List
Namespace Members
All
a
b
c
d
e
f
g
h
i
l
m
o
p
r
s
t
u
v
w
Functions
a
b
c
d
e
f
g
h
i
l
m
o
p
r
s
t
v
Variables
Typedefs
Enumerations
Enumerator
Classes
Class List
Class Index
Class Hierarchy
Class Members
All
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z
~
Functions
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
z
~
Variables
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z
Typedefs
a
b
c
d
e
i
l
m
p
r
s
v
Enumerations
Enumerator
Related Functions
a
d
f
l
m
s
v
Files
File List
File Members
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
Functions
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
Variables
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
r
s
t
u
v
w
Typedefs
b
f
i
m
o
r
s
t
Enumerations
a
g
i
m
o
t
Enumerator
i
m
o
t
v
Macros
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
r
s
t
u
v
w
x
z
llvm-project
polly
lib
External
isl
test_inputs
codegen
cloog
equality2.c
Go to the documentation of this file.
1
for
(
int
c0
= 1;
c0
<= 10000;
c0
+= 1)
2
for
(
int
c1
= 1000;
c1
<= 1016;
c1
+= 1)
3
for
(
int
c2
= 1;
c2
< 2 *
c1
- 1998;
c2
+= 1) {
4
if
(
c1
<= 1008 &&
c2
+ 1999 == 2 *
c1
)
5
S2
(
c0
,
c1
, 2 *
c1
- 1999, 1,
c0
, 2 *
c1
- 1000, 1, 2,
c0
,
c1
- 499, 2 *
c1
- 1999,
c0
, 2 *
c1
- 1999,
c1
- 999,
c1
- 999);
6
if
(
c2
== 1 &&
c1
% 2 == 0)
7
S1
(
c0
,
c1
, 1, 2,
c0
, (
c1
/ 2) + 1,
c1
- 999,
c0
,
c1
- 999, (
c1
/ 2) - 499, (
c1
/ 2) - 499);
8
}
S1
S1()
S2
S2()
c1
c1
Definition:
dot.c:2
c2
c2
Definition:
forwardsub-2-1-2-3.c:3
c0
c0
Definition:
multi-stride2.c:2
Generated on Sat Apr 19 2025 07:49:21 for Polly by
1.9.6