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
add isl_pw_aff_is_equal
2013-05-28
S
ven
Verdool
a
ege
add isl_map_fix_val and isl_set
_
f
i
x_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaeg
e
add i
s
l_set_min_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
Verdoolae
g
e
ad
d
isl_set_
m
ax_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
ad
d
isl_ba
s
ic
_
set_m
a
x_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add isl_basic
_
set_*_lp
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verdoolaege
add priv
a
t
e
isl_
b
a
sic_set_g
e
t_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verd
o
o
laege
add isl_pw_qpoly
n
om
i
al
_
fix_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
i
s
l
_
pw
_
aff_mod_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaeg
e
add is
l
_p
w
_a
f
f_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
aege
a
dd isl_union_pw_*_sc
a
le_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
ad
d
i
sl_mu
l
t
i
_*_s
c
ale_val and isl_pw_*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add
i
sl_qpolynomial_fold_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add i
s
l_
q
polynomial_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
isl_qpo
l
ynomial_val_o
n
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add
isl_qpolyno
m
ia
l
_get_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl_term_
g
et_coeffic
i
e
n
t_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaeg
e
add
is
l
_
a
ff_
m
od_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
V
e
r
d
oo
l
aege
add
i
sl_a
f
f_scale_d
o
wn_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erd
o
o
laege
add isl_aff_scale
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
a
d
d isl
_
aff_g
e
t_denominator_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
ad
d
isl_aff_get_co
e
fficien
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
e
rdoolaege
add isl_aff_get_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
ad
d
i
s
l_aff_add_coe
f
ficie
n
t
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd isl
_
a
f
f_ad
d
_constan
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
a
d
d
i
s
l_
a
ff_set_coefficien
t
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd isl_aff_set_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add is
l
_cons
t
r
aint_get_coeffi
c
i
e
nt_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add i
s
l
_con
s
t
raint_get_const
a
nt_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add
isl_c
o
nstra
i
nt_set_
c
oeffi
c
ien
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
a
e
ge
add is
l
_constraint_set_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoo
l
a
ege
ad
d
isl_point_get_coordinate_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
ad
d
isl_
p
oint_
s
et_co
o
rdinate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add isl_mat_get_el
e
m
ent_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
doolaeg
e
add
i
sl_
m
at_set_elem
e
nt_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolae
g
e
add isl_vec_set
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verdoolaege
add
i
sl_vec_get_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add i
s
l_
v
ec_set_elem
e
nt_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd GMP s
p
ecif
i
c isl_v
a
l f
u
nctio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdo
o
laege
add isl
_
multi_val_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdo
o
la
e
ge
add isl_multi
_
val_a
d
d
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
d
oolaege
add
isl_mul
t
i_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_
m
ulti
_
templ
.
c: isl_multi_*_set_*: extract
out chec
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Ver
d
oolaege
ad
d
isl_val_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl_val abstracti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
Ver
d
oolaege
a
d
d isl_int_submu
l
_
u
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ver
d
ool
a
e
ge
add is
l
_
i
nt_addm
u
l_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolae
g
e
a
d
d
isl_int_mu
l
_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verd
o
olaege
add isl_int_fits_ulong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add isl_in
t
_fits_slong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
e
r
doolaege
remov
e
isl
_
int_
g
cdext from public isl/int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
ven Verdoolaege
create private copy of
isl/int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-05-24
Sven Verdoolaege
i
sl_un
i
o
n
_
set_co
m
pute_schedule: fix che
c
k for p
r
ogr
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaege
isl_v
e
rt
e
x_get_domain: return
p
arameter d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sve
n
Verdoolaege
isl_ast_expr_from_c
o
ns
t
raint: spli
t
off con
s
tant ter
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolaege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2013-05-22
S
ven Verdoolaege
isl_ba
s
ic_map_for
e
ach_lex
o
p
t: proper
l
y mer
g
e part
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-06
Sv
e
n
V
e
rdoolaeg
e
mer
g
e shared
i
s
l_multi_
*
declarations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sven Verdoolaeg
e
de
c
lare isl_multi_* together with isl_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sven Verdoolaege
make is
l
_mul
t
i_* f
i
les more self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
isl_sp
a
ce_pr
i
v
a
te
.
h
: protect a
g
ain
s
t
m
ult
i
p
l
e inclus
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaeg
e
detect mi
s
sing gmp
.
h or miss
i
ng/o
l
d gmp library
d
uring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven
V
er
d
oolaege
isl_ast
_
codegen
.
c
:
add_nodes: use mo
r
e transpare
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verd
o
olaege
a
dd isl_basic_map
_
order_
g
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sve
n
Verdoolaege
bound
.
c: veri
f
y_
p
oint: u
s
e isl_pri
n
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
S
v
en Ve
r
dool
a
eg
e
isl_input
.
c:
r
e
ad_factor: declare variables at start
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sve
n
Verd
o
olaeg
e
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2013-04-23
Sven Ver
d
oolaege
isl_*alloc*: return NUL
L
if
ctx
argume
n
t i
s
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n
Verdoolaeg
e
is
l
_space
.
c
: ad
d
mi
s
sing inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
ege
declare is
l
_tab_get_ctx
i
n isl_ta
b
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoolaege
declare isl_*_li
s
t
t
ogether with isl
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaege
i
s
l_ast_
g
raft
.
c
:
r
emove s
p
urious
i
n
c
lude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n
Verdoola
e
ge
i
s
l_as
t
_c
o
degen
.
c: remo
v
e
d
ependence on
i
nter
n
als of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
e
xtract generic isl_*_list_foreach_scc from isl_ast_cod
e
gen
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdoolaege
isl_m
a
p_
a
f
f
ine_hull: make stride informat
i
on
exp
l
icit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
i
s
l
_morp
h
.
c
: ex
t
ract out i
s
l_mat
_
parameter_compression_ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven V
e
rdo
o
laege
i
s
l_ast_buil
d
_g
e
t
_
stride_con
s
trai
n
t:
c
o
m
bine multiple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdoolaege
isl
_
ast_build
.
c: use i
s
l_int_gcdext instea
d
of o
p
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
ad
d
isl_int_gcdex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoolaege
is
l
_a
s
t
_build_ast_f
r
om_schedule: also add s
t
r
i
de
guard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
laege
isl_ast
_
build_set_loop_bounds: compute divs after eli
m
inatin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_map_simplify
.
c: normalize_divs
_
in_conte
x
t: i
m
prove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoolaege
isl_ast_build_expr
.
c: remov
e
left-over from refactor
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdoolaege
isl_ast_codege
n
.
c: create_node_scale
d
:
reflect
c
urrent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verd
o
olaege
add isl_union_map_preimage_domain_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoolae
g
e
add isl_map_pre
i
mage_domain_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdoolaege
is
l
_
b
a
sic_ma
p
_pr
e
ima
g
e_multi_aff: micr
o
-refactor
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_map_simplify
.
c:
d
iv_is_redundant: ignore
c
oefficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
general
i
z
e isl_bas
i
c
_
set_p
r
e
image
_
multi_
a
f
f to isl
_
b
a
sic_m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoolaege
isl_ast_
b
uild_ast_from_sched
u
le:
also a
d
d s
t
ride guard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoolaege
isl_ast_build_set_loop_bounds: c
o
mput
e
divs a
f
t
e
r elimi
n
atin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sve
n
Verdoolaege
isl_
m
ap_
s
im
p
l
i
fy
.
c
:
norma
l
ize_d
i
vs_in_context: impr
o
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolaege
isl_m
a
p
.
c:
f
ix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolaege
exte
n
d isl_s
e
q_p
r
eimage to al
l
ow
t
a
king preimage of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sve
n
Verdo
o
laege
isl_ma
p
_simp
l
i
fy
.
c
: div_is_redundant:
i
gn
o
re coefficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
Sven
V
erdoolaege
M
e
rge
b
ranch 'mai
n
t'
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdoo
l
aeg
e
isl_ast_code
g
en
.
c: fix typo in c
o
mm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
Sve
n
Verdoolaege
isl
_
ast_build_a
s
t_from_schedule: properly handle union
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
Sven
Verdoolae
g
e
isl_ast
_
co
d
egen
.
c
:
update_unrolling_lo
w
er_bo
u
nd: check
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-12
S
ven Verdoolaege
isl
_
m
a
t_free: return
N
ULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next