repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_space_match: return isl_bool
2016-06-27
Sve
n
Verd
o
olae
g
e
isl_space_mat
c
h: retu
r
n isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoolaege
isl_space
_
match: rena
m
e "
d
im" arguments to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verd
o
olaege
isl_space
.
c: match:
r
ename "dim" arguments to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
i
s
l
_basic_map_compat
i
ble
_
domain: add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
V
erdoolaege
isl_basic_*_p
a
r
ti
a
l_lex*: a
d
d
m
emory managem
e
n
t
annot
a
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdo
o
laege
isl_tab_basic_m
a
p_partial_
l
e
xopt: add memory manag
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verd
o
olaege
isl_ta
b
_pi
p
.
c
:
isl_co
n
text
_
g
br_alloc:
add memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_pip
.
c: isl
_
context
_
alloc: add
memory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_
t
ab_pip
.
c:
p
ropagate_equalities: remove und
o
tracking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
a
ege
add
i
sl_ta
b
_need_undo a
n
d
isl_tab_clear_undo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
lae
g
e
isl_tab
_
basic_map_partial_lexopt: limit scope of symmetry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
do
o
lae
g
e
isl_t
e
st
.
c: g
e
neralize i
s
l_map_le
x
m
i
n t
e
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
doc: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
erdoolaege
doc: make r
e
a
so
n
for
isolate o
p
tion
resulting in an
c
hored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sv
e
n Verdoola
e
ge
i
s
l_tab_pip
.
c: parallel_
c
on
s
traints: remove s
t
ale line
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verd
o
ola
e
ge
i
s
l_tab
.
c
: fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoo
l
a
e
ge
isl_*_
p
a
r
tial
_
le
x
{min
,
max}_
p
w_multi_a
f
f: hand
l
e e
x
i
s
tenti
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolaege
isl_tab_pip
.
c: sol_pma_add: extract o
u
t set_from_aff
i
ne_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n V
e
rdoolaege
add isl_basi
c
_s
e
t_div_
i
s
_
known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdoolaege
add i
s
l_basic_set
_
swap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdo
o
laege
add i
s
l_mat_s
c
ale
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoolaege
isl_pip: allow existe
n
tial
l
y q
u
antifi
e
d
varia
b
les in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c: set_
p
lug_in_parameters: add
memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoola
e
ge
pip
.
c;
p
lug_i
n
_
p
arameters: add memory
managemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c:
op
t
_at: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolaege
pip
.
c:
opt_at: a
v
o
id acce
s
sing ct
x
fi
e
ld directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
oolaege
add isl_basic_m
a
p_
d
iv_i
s
_
m
ar
k
ed_unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Verdoolaege
is
l
_map
.
c: div_is_unknown: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verd
o
olaege
doc
:
clarify
t
hat isl_printer_get
_
str can only be
u
sed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-14
Sven Verdoolaege
doc:
clean up extra files generated by biblatex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Ver
d
o
o
l
a
ege
isl_schedule_n
o
de_band_split: preserve iso
l
ate option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
add
private isl_schedule_band_r
e
place
_
ast_build_op
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Ver
d
oolae
g
e
use isl_sched
u
le_nod
e
_
b
and_get_a
s
t_iso
l
at
e
_opti
o
n to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Ve
r
d
o
olaege
add i
s
l_schedule_band
_
get_ast_isolate_option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sve
n
Verdoolaege
i
s
l_b
a
s
ic_
m
ap_remove_re
d
un
d
ancies: sort constrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl_coales
c
e
.
c: fuse: si
m
plify fused
result imm
e
dia
t
ely
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
S
v
e
n Verdoolaege
isl
_
c
o
a
l
esce
.
c: f
u
se: call
i
sl_basic_map_finalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoo
l
aege
i
sl_
m
ap_coal
e
sce: ch
e
ck for protrusions on ad
j
acent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Verdoolaege
isl_
m
ap_c
o
a
l
esce
:
allow protrusions out of equal
i
ty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rd
o
ol
a
ege
is
l
_c
o
al
e
sce
.
c: wrap
_
in_face
t
s
:
e
x
tra
c
t
o
u
t try_w
r
ap_in
_
f
a
c
e
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Ver
d
ool
a
ege
isl_coalesce
.
c: can_wrap_in_set: extract out ty
p
e_o
f
_relaxed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
i
s
l_coal
e
sce
.
c: wrap_in_facets: extract out wrap_
i
n_facet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
i
s
l_c
o
a
l
e
sce
.
c: can_wra
p
_in_
s
et: minor si
m
plification
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
isl_coalesce
.
c: wrap_in_facets: do not pass
i
n list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doolaege
isl_map_
c
oalesce: tighten const
r
aints of potential
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
isl_
m
ap_coalesce: all
o
w ge
n
era
l
c
oalescin
g
with ex
p
anded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en
V
e
r
doolaege
is
l
_coa
l
e
s
ce
.
c: coal
e
sce_with_expan
d
ed_divs: sto
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Ve
r
doolaege
i
s
l
_coal
e
sce
.
c: coalesce_local_
p
air:
a
llow reuse of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolaege
isl_coales
c
e
.
c: coalesce_local_pair:
extract out set_ineq
_
s
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en V
e
rdoola
e
ge
isl_
c
oalesce
.
c
: coales
c
e
_
local_pai
r
: extract
o
ut
set_eq_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n
Verdoolae
g
e
i
s
l
_coalesce
.
c: coalesc
e
_loc
a
l_pair: extr
a
c
t
out clear_status
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Ve
r
dool
a
ege
isl_coal
e
sce
.
c: coalesce_
l
o
cal_pair: extract
o
ut
i
ni
t
_sta
t
us
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
i
sl_c
o
alesce
.
c: generalize c
h
eck_coal
e
sc
e
_subs
e
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
d
oolae
g
e
a
d
d
i
sl_opt
i
ons_{get,set}_pip_symmetry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven
V
erdool
a
ege
add
i
sl
_
basic_
m
ap_expan
d
_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
S
v
en Verd
o
olaege
i
s
l_map
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sve
n
Verdoolaege
isl_ou
t
put
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdoolaeg
e
is
l
_tab
.
h: fix typo in co
m
m
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-03
S
v
en Verdoola
e
ge
M
e
rge
bra
n
ch
'
maint'
commit
|
commitdiff
|
tree
2016-06-03
S
ven Ve
r
doolaege
isl_b
a
sic_se
t
_expa
n
d_divs: only add div
c
onstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdo
o
laege
isl_coalesce
.
c: add_
s
ub_
v
a
rs
:
expli
c
itly
m
ar
k
added
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verd
o
ola
e
ge
isl_coalesce
.
c
: add_sub_vars: mo
v
e "co
r
rect" intege
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven
V
erdoolaeg
e
isl
_
coales
c
e
.
c:
w
rap_in_
f
ace
t
s:
av
o
id in
v
a
l
id acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoola
e
ge
isl_prin
t
er
_
pri
n
t_map: print div constraints again
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ver
d
o
olaege
isl_p
r
inter_
p
r
i
nt_map:
f
ix printi
n
g of
a
ffine expr
e
ssion
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoola
e
ge
isl_
o
utput
.
c: p
r
int_disjuncts
:
a
void i
n
valid
a
cce
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
Verdoola
e
ge
i
sl_out
p
ut
.
c: print_
d
isjunct: handle NULL
inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n Verdoolaege
isl_v
e
c
_al
l
oc: pl
u
g
m
emory leak
o
n e
r
ror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoola
e
g
e
isl_
b
lk
.
c: exten
d
: plug me
m
o
ry lea
k
on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ve
r
do
o
lae
g
e
A
S
T generation:
s
pec
i
al case
p
ure
o
ut
e
r disjuncti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
ven Verdool
a
ege
a
d
d isl
_
{set,map}_dr
o
p_constraints_not_involving_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven V
e
rdoolaege
a
d
d
is
l
_{set,ma
p
}_plain_u
n
shif
t
ed
_
simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoola
e
ge
AST g
e
nerat
i
o
n: alwa
y
s
print br
a
ces around body of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoola
e
ge
isl_tab_pip
.
c:
f
ind_
s
olutions: extract out re
s
et_any_to
_
unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdool
a
e
g
e
isl
_
map_*_simp
l
e_hull:
k
eep results in a
cache
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoo
l
aege
i
mplement isl_set_free in
term
s
of isl_
m
ap_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoolaege
i
mplement isl_set_cow i
n
te
r
ms of is
l
_
map_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
im
p
l
e
men
t
isl_se
t
_
alloc_space in terms of isl
_
map_alloc_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verd
o
ola
e
ge
isl_map
_
alloc_sp
a
ce: r
e
name "dim
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
ven
Verd
o
olaege
i
s
l_set_alloc_space: re
n
am
e
"dim" ar
g
ument to "space
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
isl_pw_multi_aff_from_map:
a
v
oid computing all eq
u
alities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n V
e
rdoolaege
is
l
_
pw_multi
_
aff_from_map
:
extr
a
ct
out pw
_
multi
_
a
f
f
_fr
o
m_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdoolaege
isl_
m
ap_simpli
f
y
.
c: int_between_b
o
unds
:
create tab
l
ea
u
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verd
o
ol
a
ege
i
s
l_map_
s
i
m
pli
f
y
.
c
:
i
n
t
_
b
etween_bound
s
: special case
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Ver
d
o
olaege
isl_m
a
p_
s
implify
.
c: int
_
be
t
ween_bounds
:
expl
o
i
t
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
S
v
en Ve
r
doo
l
aege
isl_basic_map_
d
rop_redundant_divs: han
d
le more c
a
ses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven
V
e
r
doola
e
ge
isl_map_simp
l
ify
.
c: d
r
op_more_redundant_divs: test
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaeg
e
i
s
l_map_si
m
plify
.
c: drop_more_redun
d
ant_divs: collect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoo
l
aege
i
sl_m
a
p_simplify
.
c:
drop_more_red
u
ndant_divs:
n
o need
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoola
e
ge
isl_test
.
c: test_div: extract out te
s
t_elimination
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_sim
p
lify
.
c: constru
c
t_test_
i
n
e
q: use isl
_
basic
_
map
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n Verdoolaeg
e
i
s
l_map_si
m
plify
.
c: constru
c
t_test
_
ineq: use isl_b
a
sic_map_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoo
l
aege
isl_map_sim
p
li
f
y
.
c: d
r
o
p_more_redun
d
ant_divs: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_simplify
.
c: dro
p
_more_re
d
undant_divs: use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven
V
erdoolaege
isl_map_sim
p
lify
.
c: drop_more_redu
n
d
a
nt_divs: use isl_ba
s
ic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolae
g
e
isl_b
a
sic_ma
p
_
d
rop_
r
edundant_d
i
vs_ineq
:
simplify logic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
is
l
_ba
s
ic_
m
ap
_
drop_
r
edundant_div
s
_ineq
:
extrac
t
o
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
S
v
e
n
V
erdoo
l
aege
Merge branch 'maint
'
into HE
A
D
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rd
o
olaege
isl_map_simplify
.
c: drop_more_redundant_
d
ivs: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven
V
e
rdoolaege
i
s
l_s
c
heduler
.
c:
f
ix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next