repo.or.cz
/
polly-mirror.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
[ScopDetect] Conservatively handle inaccessible memory alias attributes
2016-11-13
Tobias
G
rosser
[S
c
op
D
etect] Co
n
s
e
rvati
v
e
ly handle
i
naccess
i
ble memory
.
.
.
commit
|
commitdiff
|
tree
2016-11-13
T
obias Grosser
[te
s
t
s
] Adju
s
t te
s
t outpu
t
to recent
cha
n
ged SCEV canonocali
.
.
.
commit
|
commitdiff
|
tree
2016-11-13
Tobias Grosser
[
S
copDe
t
ect] Evaluate and ver
i
fy
branches
a
t b
r
a
n
c
h
.
.
.
commit
|
commitdiff
|
tree
2016-11-10
Tobias Gro
s
ser
SCEV
A
ffi
n
ator: pa
s
s parameter-only set to a
d
dRestriction
.
.
.
commit
|
commitdiff
|
tree
2016-11-10
Tob
i
as
G
r
osser
IslA
s
t: always use th
e
contex
t
during ast generation
commit
|
commitdiff
|
tree
2016-11-10
Tobias Grosser
SCE
V
Va
l
i
d
ator: a
d
d new paramet
e
rs
r
esulting from constant
.
.
.
commit
|
commitdiff
|
tree
2016-11-10
Tob
i
as Grosser
Do not allow switch s
t
atements in
l
o
o
p latch
e
s
commit
|
commitdiff
|
tree
2016-11-09
T
o
bias G
r
osser
S
copInfo: only run c
o
de neede
d
for ASSER
T
in DEBUG
.
.
.
commit
|
commitdiff
|
tree
2016-11-08
Tobias Grosser
SCEVValidat
o
r:
r
educe indentation to increa
s
e
readability
.
.
.
commit
|
commitdiff
|
tree
2016-11-05
T
o
bias Grosser
IslNod
e
Builder: Ensur
e
new
l
y generated me
m
ory a
c
cesses
.
.
.
commit
|
commitdiff
|
tree
2016-11-05
Tobias
G
r
o
sser
ScopInf
o
: E
n
s
ure co
p
y statement memory acce
s
ses are
.
.
.
commit
|
commitdiff
|
tree
2016-11-04
Tobias Grosser
Updat
e
isl to
i
sl-
0
.
17
.
1
-2
4
3-g24c0339
commit
|
commitdiff
|
tree
2016-10-29
Tobi
a
s Grosser
[ScopDetect] U
s
e SCEVRewriteVisitor to s
i
mp
l
ify SCEVRemoveSM
.
.
.
commit
|
commitdiff
|
tree
2016-10-20
T
obias Grosser
Upd
a
te isl to isl-0
.
1
7
.
1
-236-ga9c6cc7
commit
|
commitdiff
|
tree
2016-10-15
T
o
b
ias
Gro
s
ser
cmake: a
v
o
i
d "zero-l
e
ngth g
n
u_
p
ri
n
tf format s
t
ring
.
.
.
commit
|
commitdiff
|
tree
2016-10-09
Tobias
G
rosse
r
Fix f
o
rmatting af
t
er recent cl:: changes
commit
|
commitdiff
|
tree
2016-10-04
T
o
bias Grosser
Build and
r
u
n
i
s
l_test
as part
o
f
c
heck-polly
commit
|
commitdiff
|
tree
2016-10-01
Tobias Grosser
isl:
u
pdate to isl-0
.
17
.
1-23
3
-gc911e6a
commit
|
commitdiff
|
tree
2016-09-29
Tobias Grosser
www: Add
Loopy pu
b
lica
t
ion
commit
|
commitdiff
|
tree
2016-09-25
To
b
ias
Gro
s
ser
www: a
d
d
n
ew code coverage li
n
k to
P
olly website
commit
|
commitdiff
|
tree
2016-09-20
Tobias Gro
s
ser
[ScopDetection] Remove redundant checks for endless
.
.
.
commit
|
commitdiff
|
tree
2016-09-19
Tobias Grosser
Fix
s
pelling in CMakeL
i
s
t
s
commit
|
commitdiff
|
tree
2016-09-18
Tobias Grosser
G
P
G
PU: add missing REQUIR
E
S line
t
o
t
est case
commit
|
commitdiff
|
tree
2016-09-18
Tobias
G
ro
s
s
e
r
GPGPU: Do
not run mostly sequ
e
n
tial
k
ernels in GPU
commit
|
commitdiff
|
tree
2016-09-18
T
obias Gross
e
r
GPG
P
U: Dynamically en
s
ure 's
u
fficient compute'
commit
|
commitdiff
|
tree
2016-09-18
Tobias G
r
osser
GPGPU: Make
t
est ca
s
es indepe
n
de
n
t
of register numbering
.
.
.
commit
|
commitdiff
|
tree
2016-09-17
Tobias Grosser
GPGPU: Store ba
c
k non-rea
d
-
only scalars
commit
|
commitdiff
|
tree
2016-09-17
To
b
ias
G
rosser
G
PGPU: D
e
tect read-only scalar arrays
.
.
.
commit
|
commitdiff
|
tree
2016-09-16
Tobias
G
r
osse
r
Updat
e
C
F
GPrinter ->
C
FGPrinterLegacyPass
commit
|
commitdiff
|
tree
2016-09-15
Tobias Gros
s
er
GPGPU: Do
n
ot assume array
s
start at 0
commit
|
commitdiff
|
tree
2016-09-13
Tobia
s
Grosser
cmake: P
o
llyPPCG
d
epends on P
o
llyISL
commit
|
commitdiff
|
tree
2016-09-13
T
obia
s
Grosser
GPG
P
U:
U
se co
n
st_cast to
a
void compiler warning [NFC]
commit
|
commitdiff
|
tree
2016-09-13
Tobias Grosser
GPGP
U
: Allow re
g
ion stat
e
ments
commit
|
commitdiff
|
tree
2016-09-13
Tob
i
as Gro
s
ser
GPGP
U
: Extend type
s
when array sizes have smaller t
y
pes
commit
|
commitdiff
|
tree
2016-09-13
To
b
i
a
s Grosser
Adapt tes
t
case
to
re
c
ent change in Glo
b
al Variabl
e
.
.
.
commit
|
commitdiff
|
tree
2016-09-12
T
obias Grosser
G
PGPU:
Bail out grac
e
fu
l
l
y
i
n case
of in
v
alid IR
commit
|
commitdiff
|
tree
2016-09-11
Tobias Grosser
Add m
i
ssi
n
g
'
REQUIRES
'
line
commit
|
commitdiff
|
tree
2016-09-11
Tobias Grosser
GP
G
PU: Do
n
o
t f
a
il in case of arrays
n
ever accessed
commit
|
commitdiff
|
tree
2016-09-11
Tobias
G
rosser
GPURuntime:
e
n
s
u
r
e compilation with C99
commit
|
commitdiff
|
tree
2016-09-09
Tobias
Grosser
FlattenAlgo: Ensure
w
e _really_ obtain a pa
r
am space
commit
|
commitdiff
|
tree
2016-09-09
To
b
ias Gros
s
er
Add n
a
mespace specif
i
er before nullptr_t
commit
|
commitdiff
|
tree
2016-09-09
Tob
i
as Grosser
IslNodeBuil
d
e
r
: Add missing __isl
_
take anno
t
ation
commit
|
commitdiff
|
tree
2016-09-08
To
b
i
as Grosser
G
I
C
Helper: Correctly as
s
ign return val
u
e
commit
|
commitdiff
|
tree
2016-09-08
Tobi
a
s
Grosse
r
SC
E
VAffinator: A
d
d
missing __isl_t
a
ke a
n
n
o
tations
commit
|
commitdiff
|
tree
2016-09-08
Tob
i
as
G
rosser
ScopInfo: M
a
ke cl
e
a
r
that no double-free problem
exists
commit
|
commitdiff
|
tree
2016-09-08
T
o
bias Gross
e
r
S
copDetection: Make sure we do not acc
i
d
e
ntall
y
divide
.
.
.
commit
|
commitdiff
|
tree
2016-09-08
Tobia
s
Grosser
Dependence
I
n
fo:
Make
clear that no doubl
e
-
fr
e
e problem
.
.
.
commit
|
commitdiff
|
tree
2016-09-08
T
o
bias Gross
e
r
IslN
o
deBuilder: Add miss
i
n
g
__isl_take annotat
i
o
ns
commit
|
commitdiff
|
tree
2016-09-08
Tobias Grosser
Sc
o
pInf
o
: Add missing __isl_take annot
a
tion
commit
|
commitdiff
|
tree
2016-09-03
Tobias Grosser
S
c
opInfo
:
Do not derive as
s
umptio
n
s
fr
o
m all GEP pointer
.
.
.
commit
|
commitdiff
|
tree
2016-09-02
Tobias Grosse
r
Dep
e
n
dences:
Onl
y
c
reate
f
lat StmtSchedule
in presence
.
.
.
commit
|
commitdiff
|
tree
2016-09-02
To
b
ias Grosser
Dep
e
ndences
:
Ex
i
t earl
y
,
if
no reduction depen
d
e
n
ces
.
.
.
commit
|
commitdiff
|
tree
2016-09-02
Tobias
G
rosser
Introduc
e
option to run is
l
AST gen
e
ration, bu
t
no
.
.
.
commit
|
commitdiff
|
tree
2016-09-02
Tobias Grosser
Drop '@b
r
ief'
from
d
oxyge
n
comme
n
t
s
commit
|
commitdiff
|
tree
2016-08-30
Tobias Gr
o
sser
Add forgotten
image
commit
|
commitdiff
|
tree
2016-08-30
Tobias Grosser
www:
homepa
g
e "Overview and New
s
"
commit
|
commitdiff
|
tree
2016-08-30
Tobias Grosser
www: short
e
n
l
i
n
ks in me
n
u
commit
|
commitdiff
|
tree
2016-08-30
Tobias Grosser
www
:
link
to
g
it
h
ub s
o
u
r
c
e
mirr
o
r,
d
rop the
o
the
r
old
.
.
.
commit
|
commitdiff
|
tree
2016-08-30
Tobias Gros
s
e
r
www: i
m
prove formatti
n
g
o
f
ex
t
ernal links
commit
|
commitdiff
|
tree
2016-08-30
T
o
bi
a
s Gross
e
r
www: Add l
i
nk
s
to Polly Labs and Polyhedral
.
info
commit
|
commitdiff
|
tree
2016-08-30
Tobias G
r
osser
www
:
Add IMPACT 2017 announc
e
m
e
nt to news page
commit
|
commitdiff
|
tree
2016-08-26
Tobias Gr
o
sser
Avoid the use of large
u
nsigned values in isl unit
.
.
.
commit
|
commitdiff
|
tree
2016-08-26
Tobias G
r
os
s
er
unittests: Make the expec
t
e
d value the first
ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2016-08-26
Tobias Grosser
I
m
prove
d
ocumentation a
n
d
testing for isl_va
l
From
A
PI
n
t
commit
|
commitdiff
|
tree
2016-08-26
To
b
ias G
r
o
s
s
e
r
Improve do
c
u
m
entatio
n
and te
s
t
ing of A
P
IntF
r
o
m
Val
commit
|
commitdiff
|
tree
2016-08-18
Tobias Grosser
[BlockGe
n
erator] Invalid
a
te SCEV va
l
u
e
s for ins
t
ructions
.
.
.
commit
|
commitdiff
|
tree
2016-08-16
Tobias Grosser
[S
c
opI
n
fo] Make scalars us
e
d by PHIs in non-a
f
fine
.
.
.
commit
|
commitdiff
|
tree
2016-08-15
Tobias Grosser
[ScopDetect] Do not assert
i
n
case of
A
d
dRe
c
s with
.
.
.
commit
|
commitdiff
|
tree
2016-08-15
Tobi
a
s
Gross
e
r
Disable i
n
variant load hoisting
te
m
p
orarily
commit
|
commitdiff
|
tree
2016-08-15
Tobias Grosser
[test] Force invari
a
nt lo
a
d hoisti
n
g one las
t
time
commit
|
commitdiff
|
tree
2016-08-15
T
obias Grosser
[
t
es
t
s] Force i
n
variant l
o
a
d
ho
i
st
i
ng for test cases
.
.
.
commit
|
commitdiff
|
tree
2016-08-15
Tobias Grosser
[te
s
ts] F
o
r
c
e
inv
a
riant load
hoisting f
o
r tes
t
cases
.
.
.
commit
|
commitdiff
|
tree
2016-08-15
To
b
ias Gr
o
sser
[
t
est]
C
orrect
spel
l
ing in tes
t
case
commit
|
commitdiff
|
tree
2016-08-15
Tobias Grosser
[test
s
] Fo
r
c
e invar
i
ant l
o
ad hoisting fo
r
test cases
.
.
.
commit
|
commitdiff
|
tree
2016-08-10
Tobia
s
Grosser
[GPGPU] Ensure arrays wh
e
r
e
o
nly parts are modifie
d
.
.
.
commit
|
commitdiff
|
tree
2016-08-09
Tobias Gro
s
s
er
[
GPG
P
U] Support PH
I
nodes us
e
d in
G
P
U kernel
commit
|
commitdiff
|
tree
2016-08-09
Tobi
a
s
G
rosse
r
[GPGPU]
U
se separate basic
block for GPU
i
nitializati
o
n
.
.
.
commit
|
commitdiff
|
tree
2016-08-09
Tobia
s
G
rosser
[BlockG
e
nera
t
or]
Inser
t
initiali
z
ations at beginning
.
.
.
commit
|
commitdiff
|
tree
2016-08-09
Tobias Gro
s
s
e
r
[t
e
sts] A
d
d two mi
s
sing
'
REQUIRES' l
i
nes
commit
|
commitdiff
|
tree
2016-08-09
Tobias Grosser
[Block
G
enerator] Also e
l
iminate de
a
d co
d
e not
originating
.
.
.
commit
|
commitdiff
|
tree
2016-08-09
Tob
i
as Grosse
r
[GP
G
PU] Pass
p
arameters always by using their own type
commit
|
commitdiff
|
tree
2016-08-08
Tobias Gro
s
ser
[GPG
P
U
]
Supp
o
rt Va
l
u
e
s referenced from
b
o
t
h isl expr
.
.
.
commit
|
commitdiff
|
tree
2016-08-08
Tobias Grosser
[GPGPU] Create co
d
e to verify run-time con
d
iti
o
n
s
commit
|
commitdiff
|
tree
2016-08-08
Tobi
a
s
Gros
s
er
Fix com
p
i
l
ati
o
n
in 'as
s
ert
s
' mo
d
e
commit
|
commitdiff
|
tree
2016-08-08
Tob
i
as
Grosse
r
[Isl
N
odeBuilder]
Mov
e
ru
n
-tim
e
check g
e
n
e
rat
i
on to
.
.
.
commit
|
commitdiff
|
tree
2016-08-08
Tobias Gros
s
e
r
[CodeG
e
nerati
o
n] Do
n
ot
s
e
t insert p
o
sition redundantl
y
commit
|
commitdiff
|
tree
2016-08-08
Tobias Gros
s
er
[IslNo
d
eBuilder] Directly use the in
s
ert
lo
c
ation of
.
.
.
commit
|
commitdiff
|
tree
2016-08-05
Tobias Grosser
GPG
P
U: S
o
rt di
m
ension size
s
o
f
multi-dimensional shared
.
.
.
commit
|
commitdiff
|
tree
2016-08-05
Tob
i
as Grosser
Add
missing 'RE
Q
UIRES' line
commit
|
commitdiff
|
tree
2016-08-05
Tobias Grosser
GPGP
U
: Add
cu
d
a annotations
t
o specify maxima
l
number
.
.
.
commit
|
commitdiff
|
tree
2016-08-04
Tobi
a
s
G
rosser
G
P
GPU: Support sca
l
ars that
a
re ma
p
ped
to shared memo
r
y
commit
|
commitdiff
|
tree
2016-08-04
Tobia
s
Grosse
r
GPGPU: Dis
a
ble verbos
e
deb
u
g
output
commit
|
commitdiff
|
tree
2016-08-04
Tobias Grosser
R
emove l
e
fto
v
er debug out
p
ut
commit
|
commitdiff
|
tree
2016-08-04
To
b
ias G
r
os
s
er
G
PGPU: Ad
d
p
rivate memory support
commit
|
commitdiff
|
tree
2016-08-04
Tobi
a
s
G
rosser
GPGPU: Add support
f
or sha
r
e
d memory
commit
|
commitdiff
|
tree
2016-08-04
Tobias Grosser
GPGPU: Cache PTX kernels
commit
|
commitdiff
|
tree
2016-08-04
Tobias
Gr
o
sser
GPGPU:
H
andle scalar a
r
ray refere
n
ces
commit
|
commitdiff
|
tree
2016-08-04
Tobias Grosser
Bloc
k
Gene
r
ator
:
Ass
e
rt t
h
at we
do not get all
o
ca of
.
.
.
commit
|
commitdiff
|
tree
2016-08-04
T
o
bias Gros
s
er
GPGPU:
Pass subtre
e
values c
o
rr
e
ctly
to the kernel
commit
|
commitdiff
|
tree
2016-08-03
Tobia
s
Gr
o
sse
r
G
P
GPU: Ma
r
k k
e
rnel funct
i
ons as
polly
.
skip
commit
|
commitdiff
|
tree
next