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_aff_get_constant_val
2013-05-28
S
ven
Verdoolae
g
e
add
is
l
_aff_get_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_a
f
f_add_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add
isl_aff_add_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdo
o
la
e
ge
add isl
_
aff_set_coeffici
e
nt
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolae
g
e
a
dd isl_aff_set_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
ad
d
isl_constraint_get_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verdoolaege
add isl_constr
a
in
t
_get_co
n
st
a
nt
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl
_
constr
a
i
nt_set
_
coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add isl_co
n
straint
_
set_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdool
a
ege
add isl_
p
oint_get_coordin
a
te_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_
p
oint_set_coordinate
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_m
a
t_get_elemen
t
_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_mat
_
set_e
l
ement_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add
i
sl_vec_set_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
a
d
d isl_vec_g
e
t_element_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add isl
_
vec
_
set_element_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoola
e
ge
add GMP specific i
s
l_
v
al functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdoolaege
ad
d
isl
_
multi_val_m
o
d_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_multi_val_add_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven V
e
rd
o
olaeg
e
add isl_mu
l
t
i
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
olaege
isl_multi_templ
.
c: is
l
_multi_*_set_*: extract out che
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
erd
o
olaeg
e
add isl_val_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_
v
al
a
bstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdo
o
laege
add isl_int_
s
u
bmul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
S
ven Verdoolaege
a
d
d isl_int
_
addmul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoolaege
ad
d
isl_int_mul_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
S
ven Verdoolaege
add isl_int
_
fits_ulong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoola
e
ge
add isl_int_fit
s
_slong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ve
r
doolae
g
e
r
em
o
ve isl_int_gcdext from public isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoolaege
crea
t
e private
c
opy of isl/
i
n
t
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n
Verdoolaege
Merge branch
'
main
t
'
commit
|
commitdiff
|
tree
2013-05-24
Sven Ve
r
doolae
g
e
isl_un
i
o
n
_
s
e
t
_c
o
m
pute_schedule: fi
x
chec
k
for
p
r
o
gress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
S
ven Verdo
o
laege
isl
_
vertex_ge
t
_domain: return pa
r
ameter
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaege
is
l
_as
t
_expr_from_constraint: spl
i
t o
f
f
c
onstant term
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolaege
M
erge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2013-05-22
S
ven Verdo
o
la
e
ge
isl_basic_map_fo
r
each_lexopt:
p
roperly merge pa
r
ti
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
S
v
en
V
erdoolaege
merge shared
i
sl_multi
_
* d
e
clarations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven Ver
d
o
olaege
declare is
l
_multi_* together w
i
th isl_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
S
v
en
Verdoolaege
ma
k
e isl
_
mul
t
i_*
f
iles more self-co
n
tained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Ve
r
doolaege
i
sl_space_priv
a
te
.
h
: protect against mul
t
iple
i
nclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolae
g
e
detect m
i
ss
i
n
g
gm
p
.
h or m
i
s
sing/ol
d
g
mp library
during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven
Verdoolaege
isl_
a
st_codegen
.
c: add
_
n
odes:
use more t
r
a
nsparent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
S
v
en Verdoolaege
add isl_basic_
m
ap_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sve
n
Verdoolaege
boun
d
.
c: verify_point: use is
l
_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven V
e
rdoola
e
ge
isl_input
.
c:
r
ead_factor: decla
r
e
variables at star
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
S
ven Ve
r
doolae
g
e
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
isl_*alloc*: return NULL
if
c
tx argu
m
ent is NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rd
o
o
l
aege
is
l
_
spa
c
e
.
c: add mi
s
sin
g
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Ver
d
oo
l
aege
de
c
lare isl_tab_get_ctx in i
s
l_tab
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoo
l
aege
dec
l
are
isl_*_list togeth
e
r with
isl_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_
a
st_
g
r
a
ft
.
c: remove
spurious include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rd
o
o
laege
is
l
_ast_c
o
degen
.
c: remove dep
e
nde
n
ce o
n
internal
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
e
r
dool
a
ege
extract generic i
s
l_*_list_fo
r
ea
c
h_scc from isl_ast_codegen
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Ve
r
d
o
o
laege
isl_map_af
f
ine_h
u
ll: make stride information explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
r
d
o
olae
g
e
isl_morph
.
c: extrac
t
out isl_m
a
t
_
parameter_compression_ex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
is
l
_ast_build_get_
s
tride_constraint: combine multi
p
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n Verdoo
l
aege
i
s
l_as
t
_build
.
c
:
use is
l
_int
_
gcdext inste
a
d of open
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Ve
r
doolaege
add isl_int_g
c
dext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoolaege
isl_ast_bui
l
d_
a
st
_
from_schedule: also add stri
d
e guard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ver
d
oolaege
isl_ast
_
build_set_loop_
b
o
u
nds:
c
ompute divs
after
e
li
m
in
a
tin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
o
laege
isl_map_
s
impl
i
f
y
.
c: normalize_d
i
vs
_
in_context
:
i
m
prove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoolaege
isl_ast_build_expr
.
c: rem
o
ve lef
t
-over from refa
c
toring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en V
e
rdoo
l
aege
isl_ast
_
co
d
egen
.
c: create_node_s
c
aled: reflect curren
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
a
dd isl_union_m
a
p_preimage_dom
a
in_
m
u
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erd
o
olaege
add isl_map_preimage_domain_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoolaege
isl_basic_map_p
r
eimage_mu
l
ti_aff: mi
c
ro-refactoring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en
V
erdoolaeg
e
isl_map_simplif
y
.
c: div_is_
r
edundant: ignore coefficie
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n
V
er
d
oolaege
generalize
isl_
b
asic_set_pre
i
mage_
m
ulti
_
af
f
t
o isl
_
b
a
sic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven V
e
rdoolaege
isl_
a
st
_
build_ast
_
from_sc
h
edule:
also
add stride gu
a
rd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdool
a
e
g
e
isl
_
a
s
t_build_set_
l
oop_bounds: c
o
mpute div
s
after eliminatin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoolaege
i
sl_map_s
i
mplify
.
c
:
normalize_divs_in_con
t
ext: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sven V
e
rdoolaege
isl_map
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
S
v
en Verdoolaege
e
x
tend isl_seq_p
r
ei
m
a
ge
t
o
allow taking preimage of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sven
V
erdoolaege
isl
_
ma
p
_s
i
mplify
.
c:
di
v
_is_
r
edun
d
an
t
:
ig
n
ore coeffi
c
ients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
S
v
en Verdoolaeg
e
Merge branch
'mai
n
t'
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdoolaege
isl_ast_codege
n
.
c: fix typ
o
in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
S
v
en Verdoo
l
aege
isl_ast_build
_
as
t
_from_sche
d
u
le: proper
l
y hand
l
e union
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sven
V
erdoolaege
isl
_
ast_cod
e
gen
.
c: up
d
ate_unrolli
n
g_lower_bound: check
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-12
Sven Verdool
a
ege
i
s
l_mat_
f
ree: re
t
urn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-11
Sven Verdoolaeg
e
isl_basi
c
_map
_
insert_dims
:
plug memo
r
y leak when called
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-11
Sven Ver
d
oolaege
Ch
a
nge
L
og: d
r
op some text that appears
t
o have been
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sve
n
Verdoo
l
aege
isl
0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdool
a
e
ge
add missing
i
nterfac
e
/all
.
h and interf
a
ce/i
s
l
.
py
.
top
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sve
n
Verdoolaege
isl_schedule
.
c:
s
ort_band_list: take into acc
o
unt
t
hat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdoolaege
isl_schedule_get_map
:
pad schedule map
w
i
t
h zeros i
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven
V
e
rdoolaeg
e
isl_
a
st_graft
.
c
: sto
r
e
_
guard: coales
c
e guard after
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven
V
erdo
o
l
a
ege
M
e
r
g
e b
r
anch 'maint'
commit
|
commitdiff
|
tree
2013-04-07
Sven
V
erdoolaege
isl_ast_node_print: avoid du
p
licate declarati
o
ns in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verd
o
olaege
isl
_
ast
.
c:
extract out start
_
block and end_block fro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoo
l
aege
c
o
nfigure
.
ac: e
x
plicitly
l
ink in ll
v
m
bitrea
d
er compone
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
update
f
or change in
a
rgumen
t
s of clang'
s
HeaderSearc
h
Option
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven
Verdoolaege
update
for change in argum
e
nts o
f
c
lang's CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
Sven
V
erdoolaege
isl_ast_codegen
.
c
:
fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
Sven Verdoolaege
isl
_
ast_graft_list_
s
ort_guard: use
i
sl
_
ast_graft_list_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
Sven Verdoolaege
add
isl
_
*_lis
t
_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
Sven Verdoolaege
rename
i
s
l_ast_graft_
l
i
s
t_sort to
i
sl_ast_g
r
aft_list_
s
ort_guard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-30
Sve
n
Ver
d
oolaege
isl_map_affine_hull: avo
i
d comp
u
ting explicit represen
t
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-28
Sven Verdoolae
g
e
isl_map_coales
c
e:
e
x
tend
t
he handling
of
a
p
a
i
r
a
d
jacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-28
Sven Verdoolaege
add isl_tab_un
r
estr
i
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-28
S
v
en Verd
o
olaege
isl_co
a
lesce
.
c: fix t
y
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next