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_output.c: print_constraints: avoid invalid access on error
2016-04-01
Sve
n
Verdool
a
ege
isl_map_*
_
sim
p
le_hull: sort const
r
aints before dropping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolaege
isl_t
a
b
_dete
c
t_redundant:
c
heck later constraints firs
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolae
g
e
isl_tab_detect_redun
d
ant: extract
o
u
t
select_marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sv
e
n
Verdoolae
g
e
i
sl_map_g
i
s
t: spec
i
al case
subset conte
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven
V
erdoolaeg
e
isl_map_si
m
plify
.
c:
map_gist
:
extr
a
ct out re
p
lace_
b
y_
u
niverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-01
Sven
V
erd
o
olaege
d
oc: ad
d
is
l
_options_{get,set}_schedul
e
_ma
x
imize_coincidence
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-30
S
ven Verdoolaege
Merge bra
n
ch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-30
Sven Verdoo
l
aege
isl
_
map_u
n
shifte
d
_simple
_
h
u
ll:
ta
k
e into account all
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-29
S
v
en Verdoolaege
declare mo
r
e
i
sl_*_aff_to_str functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-29
S
ven V
e
rdool
a
e
ge
doc: rename argument of
isl_
m
u
l
ti_aff_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
add is
l
_schedule_expand
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verd
o
o
laege
add
i
sl
_
sc
h
edul
e
_tree_set_pair
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sv
e
n V
e
rdoo
l
a
ege
isl_s
c
h
edul
e
_node_gist: d
r
o
p
ide
n
tity ex
p
an
s
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verd
o
o
lae
g
e
isl_sche
d
u
l
e_node_gist: extract out gist_leave
_
e
x
pansion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
S
ven Verdoo
l
ae
g
e
isl_sche
d
u
l
e_node_band_sink: handle expansions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
isl_sche
d
ule_*_
{
get
,
peek}_l
e
af
:
u
p
dat
e
docum
e
ntat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Ver
d
oo
l
a
ege
ad
d
isl_schedule_constraints_apply
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolae
g
e
add
isl_schedule_constra
i
nts_get_proxi
m
ity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
S
ven
V
erd
o
olaeg
e
isl_s
c
heduler
.
c: fix typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
ad
d
i
s
l
_union_map
_
is_
i
dentity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoo
l
aege
add isl_
m
ap_is
_
i
dentit
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoola
e
ge
isl_bas
i
c
_map_gist:
simpl
i
fy stride
c
o
n
st
r
ai
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
S
ven Verdoo
l
aeg
e
add isl_mat_row
_
gcd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl_test
.
c: test_gist: chec
k
internal consistency
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Ver
d
oolaege
isl_map
_
s
i
mplify
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl_ast_buil
d
_exp
r
_from_pw_a
f
f: sort pi
e
ces according
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Ver
d
oolaege
isl
_
ast_bu
i
l
d
_
e
xp
r
_from_pw_aff
:
move computatio
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
S
v
e
n Ver
d
oolaege
i
s
l_ast_build_expr_from_pw
_
a
ff: collec
t
all pieces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
is
l
_ast_bui
l
d_e
x
pr_from_pw_
a
ff: extr
a
ct
out set_no
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdool
a
ege
isl_ast_
b
uild_
e
xpr
.
c
:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-21
Sven Verdoolaege
Merge
branc
h
'maint'
commit
|
commitdiff
|
tree
2016-03-18
S
ven Verdoolae
g
e
isl_ast_
c
odegen
.
c
:
set_for
_
node
_
expressions
:
improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-18
S
ven Verdoolaege
is
l
_un
i
on
_
pw_multi_af
f
_
f
rom
_
multi_union_pw_aff: plug
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-18
Sven
V
e
rdoola
e
g
e
isl_pw_
*
_uni
o
n
_opt_cmp: avoid
c
onst
r
ucting a
q
uadratic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-18
Sven Ve
r
doolaege
extra
c
t
o
u
t sha
r
e
d isl_
p
w
_
*_union_opt_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-18
Sven Verdoolaege
add isl_aff_{
l
e
,ge}_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
i
s
l_pw_*_coal
e
s
c
e:
s
ort
fu
n
ction value ex
p
ressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolae
g
e
isl_pw_
*
_normalize: ext
r
act out isl_p
w
_*_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Ve
r
doola
e
ge
isl_pw_*_nor
m
alize: sort p
i
eces based on function va
l
ue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
isl_pw_
*
_normaliz
e
: use isl_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
v
e
n V
e
rdoola
e
g
e
i
sl_pw_te
m
pl
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
ven Verdoolaege
a
d
d
i
s
l_multi_aff_p
l
ain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sve
n
V
erdoolaege
pri
v
ately ex
p
o
rt is
l
_aff_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
ven Ver
d
o
olaege
a
dd isl
_
qpolynom
i
al_fold_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verd
o
olaege
add is
l
_qpolynomi
a
l
_pla
i
n_c
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoo
l
aege
isl_local_space_cmp:
e
xtract out i
s
l_lo
c
al_c
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven
Verd
o
olaeg
e
isl_lo
c
al_space_
d
iv_is_known: e
x
tract
o
ut isl_local_div_is
_
k
n
o
wn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sve
n
V
e
rdoo
l
a
ege
isl
_
loc
a
l_spac
e
_divs_
k
nown: reuse
i
sl_lo
c
al_space_div_is_k
n
own
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verd
o
olaege
is
l
_local_space_div_is_k
n
ow
n
: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
add AST
generat
i
on test case test_inp
u
ts
/
codegen/cor
r
ela
t
io
n
.
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven
Verdoolae
g
e
isl_map_p
a
rt
i
al_le
x
o
p
t_aligne
d
_pw
_
multi_aff
:
do not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
v
en Verdoolaege
isl_map_lexopt_tem
p
l
.
c: basic_m
a
p_partial_lexopt*:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
ven Verdoolaege
isl_map_lexop
t
_
t
empl
.
c: fix whitespac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
v
e
n Ver
d
oolaege
isl_map
_
i
s
_disjoint: av
o
id
c
omputing entire intersection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
S
v
en
V
erdoolaeg
e
i
sl
_
map
_
plain_
i
s_disjoint:
ex
t
r
a
ct out
i
s
l_ma
p
_pla
i
n
_is_disj
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven
V
e
r
d
oolaege
isl_map_p
l
a
in_is_disjoint: ex
t
ract out all_pai
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven
Verdoolaege
isl_ma
p
_is_disjoint: check for
(
obviou
s
ly
)
equal inp
u
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdo
o
laege
is
l
_
mul
t
i_hash
.
c: add miss
i
n
g co
p
yri
g
ht s
t
a
tement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verd
o
o
lae
g
e
isl_pw_hash
.
c: add missing copyright statement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-09
Sven Ve
r
doolaege
a
d
d is
l
_multi_aff_lex_{lt
,
gt}_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoola
e
g
e
generalize isl_hmap
_
templ
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven
V
erdool
a
ege
i
sl_schedu
l
er
.
c: i
n
ter_coefficients: use i
s
l_map_t
o
_basic
_
se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
isl_scheduler
.
c: intr
a
_coeff
i
c
ients: u
s
e isl_
m
ap_t
o
_basic_se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven
V
erd
o
ol
a
ege
isl_ast_expr_subs
t
itute_id
s
:
u
s
e isl_id_
t
o_
a
st_expr_try_
g
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
S
ven Verdo
o
l
aege
add isl_*_to_
*
_
t
ry_get
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven V
e
rdoolaege
add isl_val_get
_
hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sv
e
n Ver
d
oolaege
add
isl_unio
n
_{set,map}_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sve
n
Verd
o
o
lae
g
e
a
dd
i
sl_multi_pw_aff
_
g
et_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verd
o
olaege
add
isl_pw_aff_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Ver
d
ool
a
ege
extract
out isl_p
w
_mac
r
o
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sve
n
Verdoolaege
add i
s
l_aff_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
S
v
e
n Verdoo
l
a
ege
add isl_lo
c
a
l
_
s
p
ace
_
get_has
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolae
g
e
add isl_mat_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaeg
e
a
d
d isl_vec_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Verdoolaege
is
l
_a
s
t_build_has
_
stride: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-04
Sve
n
V
e
rdoolaege
a
dd i
s
l_bool_not
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-03
S
ven Verd
o
olaege
isl_pw
_
aff_is_equal: check fo
r
N
a
Ns in input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-02
Sve
n
Verdoolaeg
e
isl_b
a
sic_ma
p
_fr
o
m
_
af
f
: chec
k
that
input
is not a NaN
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-01
Sven Verdool
a
ege
isl_pw_aff
_
c
o
nd: special cas
e
e
q
ual ar
g
uments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-01
Sven Verdo
o
laege
export
i
sl
_
{set
,
map}_unshift
e
d_sim
p
l
e_h
u
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdoolaege
export isl_set_{min,max}_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdoolaege
isl
_
basic_map_sample:
cache sampl
e
i
n inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdoolaeg
e
e
xtract out shared isl_mat_fina
l
_v
a
riabl
e
_compression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdoolaege
isl_
m
at_vari
a
ble_compres
s
io
n
: e
x
tract out
empty_
c
om
p
ression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sve
n
Verdoolaege
isl_mat_v
a
riable_co
m
pression: reuse l
o
c
a
l variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdoola
e
g
e
isl_mat_vari
a
b
le_compr
e
ssi
o
n: check the number of
equality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Ver
d
oolaege
isl_mat_varia
b
le_c
o
mpres
s
ion: use isl_mat
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Alexandre Isoar
d
isl_output
.
c:
a
lso print dimensi
o
n name for dimensi
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sv
e
n
V
e
r
d
oolaege
isl_printer_yaml_star
t
_sequence: hand
l
e NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
S
ven
V
erdoolaege
isl
_
map
.
c:
set_pa
r
ameter_
p
reimage: add
m
emory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdool
a
ege
i
sl_map
.
c: set_parameter_pr
e
ima
g
e: avoid looking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdoolaeg
e
isl_m
a
p
.
c: set_param
e
ter_pre
i
mage: avoid looking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdo
o
laege
isl_ma
p
.
c: set_parameter_preimage: d
o
not drop
is
l
_set_re
s
et
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdoolaege
isl
_
m
a
p
.
c: set_parame
t
er_
p
reima
g
e:
re
n
ame "dim"
v
a
r
iable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdoolaege
isl_b
a
sic
_
ma
p
_drop_redundant_divs: ex
p
loit equali
t
ies
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven V
e
rdoolaege
isl
_
map_
s
implif
y
.
c: extract out
isl_basic_map_mark_d
i
v_unk
n
own
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoolaege
extract
out sha
r
ed isl_basic_
m
ap_firs
t
_u
n
k
n
own_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sv
e
n Verdoolaege
move
integer div
i
sion
s
anity check
to isl_basic_
m
ap_orde
r
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven
V
e
rdoo
l
aege
isl
_
tab_b
a
sic_map_partial_lexopt: exploit partial soluti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-22
Sven Ver
d
oolaege
isl_transitive_closure
.
c: empty_pat
h
_is_identity: call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next