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
[ScopInfo] Fix r302231 to use logical or (||). NFC.
2017-05-18
Michael Kru
s
e
[ScopInfo] Fix
r
30223
1
to us
e
logical
or
(||)
.
NFC
.
commit
|
commitdiff
|
tree
2017-05-16
M
i
chael Krus
e
[ScopInfo]
Remove unused MemoryAc
c
ess::Ba
s
eNam
e
.
NFC
.
commit
|
commitdiff
|
tree
2017-05-13
Michael
K
ru
s
e
[Simplify] Re
m
o
v
e identical write removal
.
NFC
.
commit
|
commitdiff
|
tree
2017-05-13
Michael Kruse
[
S
imp
l
ify] Rem
o
ve writes that are o
v
e
rwri
t
ten
.
commit
|
commitdiff
|
tree
2017-05-12
Michael Kruse
[Simplify] Reset all
s
tats between runs
.
commit
|
commitdiff
|
tree
2017-05-11
Michael
K
ruse
[DeLICM]
Use input acces
s
heuristic for mapped PHI
.
.
.
commit
|
commitdiff
|
tree
2017-05-11
Micha
e
l Kruse
[De
L
ICM] Look
u
p in
p
ut
ac
c
esses
.
commit
|
commitdiff
|
tree
2017-05-11
Michael Kruse
[
V
irtua
l
Instru
c
tion]
D
o
a
l
ookup instead o
f
a lin
e
ar
.
.
.
commit
|
commitdiff
|
tree
2017-05-11
M
ic
h
ael Krus
e
[
S
copInfo] Keep scalar ac
c
eess
dictionaries up-to-
d
ata
.
.
.
commit
|
commitdiff
|
tree
2017-05-11
Michael Krus
e
[Simp
l
ify] Remove i
d
en
t
i
c
al s
c
alar writes
.
commit
|
commitdiff
|
tree
2017-05-10
Micha
e
l
Kruse
[
Simplify] M
a
rk var
i
able
s
a
s
used
.
NFC
.
commit
|
commitdiff
|
tree
2017-05-10
Mic
h
ael Kru
s
e
[
S
imp
l
ify] Mark variables
a
s used
.
NFC
.
commit
|
commitdiff
|
tree
2017-05-10
Micha
e
l
K
ruse
[DeLICM] Avoid c
o
mpiler warni
n
g
.
NFC
.
commit
|
commitdiff
|
tree
2017-05-10
Mic
h
ael K
r
use
[
D
eLICM]
Alwa
y
s n
o
rmalize domain
.
NFC
.
commit
|
commitdiff
|
tree
2017-05-06
M
i
chael K
r
use
[
D
eL
I
CM] Know
n
knowledge
.
commit
|
commitdiff
|
tree
2017-05-06
Michael Krus
e
[CMak
e
]
I
ntroduce PO
L
L
Y
_BUNDLED_JSONCPP
.
commit
|
commitdiff
|
tree
2017-05-05
M
i
chael Kruse
[
S
c
o
pBuilder] Move Scop::init to
S
copBuilder
.
N
FC
.
commit
|
commitdiff
|
tree
2017-05-05
Mich
a
el
Kru
s
e
[ScopBuilder]
Do not v
e
rify u
n
feasible
S
C
oPs
.
commit
|
commitdiff
|
tree
2017-05-04
Michael Kr
u
se
[ScopBuilde
r
]
Add mis
s
ing semicolon
after LLVM_FALLTHROUG
H
.
commit
|
commitdiff
|
tree
2017-05-04
Michael Kruse
Intr
o
d
uce VirtualUse
.
NF
C
.
commit
|
commitdiff
|
tree
2017-05-04
Michael
K
ruse
[
CMake] Remove
P
OLLY_TEST_DIREC
T
ORI
E
S
.
commit
|
commitdiff
|
tree
2017-04-30
Mic
h
ael Kruse
[
C
Make] Move PollyCore to Pol
l
y pr
o
je
c
t fol
d
er
.
commit
|
commitdiff
|
tree
2017-04-27
Michael Kruse
[
C
M
a
ke] Use obj
e
c
t
library to b
u
ild the two flavours
.
.
.
commit
|
commitdiff
|
tree
2017-04-26
Michael Kruse
[u
n
ittests/DeL
I
CM]
A
dd test
for Wri
t
ten vs
W
ritten
.
commit
|
commitdiff
|
tree
2017-04-26
Michael Kruse
[
unit
t
ests/DeLIC
M
] Add test for Occipied v
s
Oc
c
upied
.
commit
|
commitdiff
|
tree
2017-04-26
M
ichael Kruse
[DeLI
C
M] Use Known inform
a
tion
w
h
en compa
r
ing Oc
c
up
i
e
d
.
.
.
commit
|
commitdiff
|
tree
2017-04-25
Mi
c
h
a
el Kruse
[DeLICM] Use Known informati
o
n when
comparing E
x
isting
.
.
.
commit
|
commitdiff
|
tree
2017-04-25
Michael
K
r
u
se
[unittests]
D
erive Occupied from Unused when gi
v
en
.
commit
|
commitdiff
|
tree
2017-04-25
M
i
chael Krus
e
[u
n
ittest
s
] Add postcondition to completeLifet
i
m
e
.
commit
|
commitdiff
|
tree
2017-04-22
M
i
c
hael Krus
e
[CM
a
ke] F
i
x polly-i
s
l-test execut
i
on in out-of-LLVM
.
.
.
commit
|
commitdiff
|
tree
2017-04-22
Michael
Kruse
[CMake] Fix unittests in out-of-
L
LVM-tree bui
l
ds
.
commit
|
commitdiff
|
tree
2017-04-21
Michael Kruse
[CMake] Link unittests only ag
a
inst
libLLVM
.
so, if
.
.
.
commit
|
commitdiff
|
tree
2017-04-20
Mi
c
hael
K
ruse
[DeLICM] Use Known
information when
co
m
p
a
r
ing E
x
isting
.
.
.
commit
|
commitdiff
|
tree
2017-04-13
Michael
Kru
s
e
[DeLICM
]
In
t
rod
u
ce u
n
itte
s
ting infr
a
structure for K
n
o
wn
.
.
.
commit
|
commitdiff
|
tree
2017-04-13
M
i
chae
l
Kr
u
s
e
[DeL
I
CM]
E
x
p
ort Known and W
r
itt
e
n
t
o DeLICMTes
t
s
.
NFC
.
commit
|
commitdiff
|
tree
2017-04-13
Michael Kruse
[
DeLICM] Ad
d
Knowled
g
e::K
n
o
w
n
.
NFC
.
commit
|
commitdiff
|
tree
2017-04-13
Michael Krus
e
[DeLI
C
M
]
Make
K
n
owledge::Writt
e
n an isl::union_
m
ap
.
.
.
commit
|
commitdiff
|
tree
2017-04-13
Michael Kruse
[DeLIC
M
] Rename Knowledge to KnowledgeStr
.
N
F
C
.
commit
|
commitdiff
|
tree
2017-04-05
Michael
Kruse
Remove llvm
.
lif
e
time
.
start/
e
nd in o
r
iginal
region
.
commit
|
commitdiff
|
tree
2017-04-03
Mi
c
hael Kruse
[
test] Fi
x
two
t
est
c
ases
.
NFC
.
commit
|
commitdiff
|
tree
2017-04-03
Michael Kruse
[
ScopInfo]
Fix typo
s
in option d
e
s
cription
.
commit
|
commitdiff
|
tree
2017-03-23
Michae
l
Krus
e
[
S
copInfo] Introd
u
ce ScopStmt::c
o
ntains(BB*)
.
N
F
C
.
commit
|
commitdiff
|
tree
2017-03-22
Mi
c
hael Kruse
[DeLICM] Add cons
t
qualifiers
.
N
F
C
.
commit
|
commitdiff
|
tree
2017-03-22
Michael Kruse
[Support] Add functions to I
S
LTools
.
commit
|
commitdiff
|
tree
2017-03-22
Michael K
r
use
[DeLICM] Remove o
v
erl
o
a
ded K
n
owledge constr
u
c
tor
.
NFC
.
commit
|
commitdiff
|
tree
2017-03-22
Michael
Kruse
[DeLICM] Remov
e
Al
l
Elements
.
NFC
.
commit
|
commitdiff
|
tree
2017-03-20
M
i
ch
a
el K
r
use
[
DeLI
C
M] Refector out parseSetOrNu
l
l
.
NFC
.
commit
|
commitdiff
|
tree
2017-03-20
Michael Kr
u
se
[DeLICM
]
Add forgo
t
ten isl
_
space_set_tuple_id in uni
t
tests
.
commit
|
commitdiff
|
tree
2017-03-17
Michael Kruse
Revert
"
Re
m
ove
r
eferen
c
es
t
o AssumptionC
a
che
.
NFC
.
"
commit
|
commitdiff
|
tree
2017-03-17
M
ichael K
r
u
s
e
[ScopInfo/PruneUnprof
i
table] Move default
p
r
o
fitability
.
.
.
commit
|
commitdiff
|
tree
2017-03-17
Michael Kr
u
se
[Prune
U
np
r
o
f
ita
b
le] Add -pol
l
y-prune-
u
nprofitable pass
.
commit
|
commitdiff
|
tree
2017-03-15
Michael Kruse
[ScopInfo] Introduce ScopStmt::get
S
u
r
ro
u
ndingLoop
(
.
.
.
commit
|
commitdiff
|
tree
2017-03-10
M
i
chael Kruse
[Simplif
y
] Add -polly-sim
p
li
f
y pass
.
commit
|
commitdiff
|
tree
2017-03-10
Michae
l
Kr
u
s
e
[Supp
o
rt] Correct f
i
l
e
name
in file h
e
ad
c
o
m
ment
.
NFC
.
commit
|
commitdiff
|
tree
2017-03-09
Michae
l
Kru
s
e
[Sup
p
ort] Add -polly-d
u
mp-module pass
.
commit
|
commitdiff
|
tree
2017-03-09
Michael Kruse
[Cma
k
e]
G
enera
t
e a PollyConfig
.
cmak
e
.
commit
|
commitdiff
|
tree
2017-03-09
Michael Kruse
[
D
eLICM] Add -po
l
ly-de
l
i
c
m-overapproximat
e
-
wri
t
es option
.
commit
|
commitdiff
|
tree
2017-03-08
M
ichael Krus
e
[DeadC
o
deElim] P
u
t -polly-dce-
p
recis
e
-steps
into the
.
.
.
commit
|
commitdiff
|
tree
2017-03-08
Mi
c
hael Kru
s
e
[ScopDetection] Only a
l
low
S
CoP
-
wide
available base
.
.
.
commit
|
commitdiff
|
tree
2017-03-07
M
i
chael Kru
s
e
[ScopD
e
t
e
cti
o
n] Req
u
ire
Load
I
nst
ba
s
e pointers
to
b
e
.
.
.
commit
|
commitdiff
|
tree
2017-02-27
M
i
chael Kru
s
e
[Cmake] Opti
o
nally use a system isl version
.
commit
|
commitdiff
|
tree
2017-02-27
Michael Kruse
[DeLICM] Ad
d
nomap r
e
gres
s
ions te
s
ts
.
NFC
.
commit
|
commitdiff
|
tree
2017-02-27
Michael Kruse
[
D
e
L
I
CM] Statistics
for use in regression tests
.
commit
|
commitdiff
|
tree
2017-02-23
Michael Kruse
[DeL
I
CM] Fortify agai
n
st
e
xceeding isl's max operations
.
.
.
commit
|
commitdiff
|
tree
2017-02-23
Micha
e
l
Kruse
[
S
upport] Remove Nonowni
n
gIslPtr
.
NF
C
.
commit
|
commitdiff
|
tree
2017-02-23
Michae
l
K
r
use
[
Dependen
c
eInfo] Remove unused variable
.
NFC
.
commit
|
commitdiff
|
tree
2017-02-23
Micha
e
l Kruse
[Dep
e
ndenceInfo] Use references instead of double pointe
r
s
.
.
.
commit
|
commitdiff
|
tree
2017-02-23
Mic
h
ae
l
Kruse
[Dep
e
ndenceInfo] Rename Stm
t
Sch
e
duleDo
m
ain -
>
Tagge
d
Stm
t
Doma
.
.
.
commit
|
commitdiff
|
tree
2017-02-23
Michael Kru
s
e
[De
p
endenceI
n
fo] Simplif
y
use of StmtS
c
h
edule's dom
a
in
.
.
.
commit
|
commitdiff
|
tree
2017-02-23
Michael Kruse
R
emov
e
all references to Pos
t
Do
m
inators
.
NFC
.
commit
|
commitdiff
|
tree
2017-02-23
Mi
c
hael Kru
s
e
[DeLICM] Add mis
s
ing Doxy
g
en comment
.
NFC
.
commit
|
commitdiff
|
tree
2017-02-23
Michael Kruse
[
DeLIC
M
] Capitalize
param
e
ter name
.
NFC
.
commit
|
commitdiff
|
tree
2017-02-23
Micha
e
l
Kruse
[
DeLICM] Regressio
n
test for sk
i
pping
m
ap targets
.
commit
|
commitdiff
|
tree
2017-02-22
Micha
e
l Kruse
[D
e
LICM]
A
d
d
regre
s
si
o
n
tests
f
or DeLICM rej
e
c
t
cases
.
commit
|
commitdiff
|
tree
2017-02-22
Mi
c
hael Kruse
[DeLICM] Fix wrong
c
omm
e
nt
.
N
F
C
.
commit
|
commitdiff
|
tree
2017-02-22
Mi
c
hael Kruse
[DeLICM] P
r
int
m
essag
e
when
z
one analysis is not avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2017-02-22
Michael Kruse
[
D
eLICM] Use o
p
t
<
i
n
t
>
.
commit
|
commitdiff
|
tree
2017-02-21
Mi
c
hael
K
ruse
[DeLICM] Map valu
e
s
hoiste
d
b
y LICM back to the array
.
commit
|
commitdiff
|
tree
2017-02-20
Michael
K
rus
e
[
C
make] Bump
r
equired cmak
e
vers
i
on
t
o
3
.
4
.
3
.
commit
|
commitdiff
|
tree
2017-02-20
Mic
h
ael Kruse
[Cmake] Install
t
he isl head
e
rs into the install
t
ree
.
commit
|
commitdiff
|
tree
2017-02-15
Mi
c
hael Kru
s
e
[DeL
I
CM
]
Add forg
o
tten unittests in
p
rev
i
ous co
m
mit
.
.
.
commit
|
commitdiff
|
tree
2017-02-15
M
ichael
K
r
u
se
[DeLICM] Add K
n
owl
e
dge class
.
NFC
.
commit
|
commitdiff
|
tree
2017-02-05
Michael Kruse
[Exter
n
al] Move l
i
b/JSON to lib/Ext
e
rn
a
l/JSON
.
NFC
.
commit
|
commitdiff
|
tree
2017-02-04
Michae
l
Kruse
[Support]
A
d
d
c
o
n
v
ertZoneToTimepoints
.
NFC
.
commit
|
commitdiff
|
tree
2017-02-04
Michael Kruse
[Support] Add computeArrayUn
u
sed
.
NFC
.
commit
|
commitdiff
|
tree
2017-02-04
M
i
c
h
ael Kruse
[Support] Add c
o
mpu
t
eReachingWrite
.
NFC
.
commit
|
commitdiff
|
tree
2017-02-03
Michae
l
Kruse
[
S
upport]
Re
m
ove u
n
used f
u
nction hasInvokeE
d
g
e
.
N
FC
.
commit
|
commitdiff
|
tree
2017-01-27
Michael Kruse
[Support] Ad
d
general isl tools f
o
r DeLICM
.
NFC
.
commit
|
commitdiff
|
tree
2017-01-27
Mic
h
ael Kruse
[CodePrepa
]
Remove unuse
d
declaration
.
NFC
.
commit
|
commitdiff
|
tree
2016-12-15
Michael Kruse
Remove
r
eferen
c
es to
A
ssumptionCa
c
h
e
.
NFC
.
commit
|
commitdiff
|
tree
2016-12-12
Michael Kruse
[
Sche
d
uleOptimizer] Fix mem
o
ry leak
.
NFC
.
commit
|
commitdiff
|
tree
2016-12-07
Mi
c
hael Kr
u
se
Add unittests for fore
a
c
h
(Elt|Piec
e
)
.
NFC
.
commit
|
commitdiff
|
tree
2016-12-07
M
i
chael Krus
e
A
dd more ISL
f
o
r
eachE
l
t
f
unctions
.
NFC
.
commit
|
commitdiff
|
tree
2016-12-07
M
icha
e
l K
r
use
Add
IslPtr
t
y
p
e
t
raits
.
NF
C
.
commit
|
commitdiff
|
tree
2016-12-06
Mi
c
hael Kruse
Upd
a
t
e
to
i
sl
-
0
.
17
.
1-
3
14-g3106e8d
commit
|
commitdiff
|
tree
2016-11-29
Mich
a
el Kr
u
se
[D
e
LICM] Add
p
ass boilerplate code
.
commit
|
commitdiff
|
tree
2016-11-29
M
i
chael Kruse
c
anSynthesi
z
e:
Remove unused argument LI
.
NFC
.
commit
|
commitdiff
|
tree
2016-11-03
Michael Kruse
[
Scop
I
n
f
o]
F
i
x
isl object leak
.
commit
|
commitdiff
|
tree
2016-10-25
Michael Kruse
[Sco
p
Inf
o
] Fi
x
:
u
se raw source point
e
r
.
commit
|
commitdiff
|
tree
2016-10-20
Michael Kruse
[
c
ma
k
e] A
v
oid warnings
i
n feature tests
.
NF
C
.
commit
|
commitdiff
|
tree
next