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
extract out shared isl_pw_multi_aff_check_range
2018-08-28
Tobi
a
s
G
rosser
isl_union_map_invol
v
es_dims: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
obias Gr
o
s
s
e
r
isl_
u
nion_m
a
p
.
c:m
a
p_exc
l
udes
:
use
is
l
_bool_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gr
o
sser
isl_union_map_i
s
_strict_subset: u
s
e isl_bool
_
not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
obias
Gro
s
s
e
r
sched
u
ler
.
c:graph_has_e
d
ge: use
i
sl_bo
o
l_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
a
s Grosser
isl
_
m
a
p_is_strict_subset: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
obias Gross
e
r
isl
_
basic_m
a
p_is_strict_subset:
use
i
s
l
_
bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
Grosser
basic
_
map_f
o
llows: use i
s
l_bo
o
l_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gro
s
s
er
isl_set_
i
s_equal: use isl_bool for
l
ocal
va
r
iable
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
obias Gros
s
er
sha
r
ed_outer
:
us
e
isl_bo
o
l_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
domain_fol
l
ows
_
a
t
_depth: use isl_
b
ool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
Grosser
basic_map_is_empty_
a
dd
:
u
se enum variable
i
nstead of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
Grosser
is_subset_entry:
u
se isl_bool_false instea
d
of integer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s G
r
osser
isl_arg: use named constant to i
d
e
n
tify ar
g
uments without
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Grosser
s
e
t -s
t
d=g
n
u99 for imath-3
2
i
n CFLAGS not C
P
PF
L
AG
S
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias
Grosser
interface: export isl_val_pow
2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
T
ob
i
a
s
Gro
s
s
e
r
i
n
t
r
oduce isl_val_pow2 as an alternat
i
ve na
m
e for isl_
v
al_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
T
obias Grosser
doc: drop duplicate listin
g
of
i
sl_val_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
Tob
i
as Grosse
r
coale
s
ce_
a
fter_align
i
n
g
_
divs:
use
isl_bool
i
n
s
tead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobias G
r
o
sser
Use isl
_
stat as
r
eturn value f
o
r isl_v
a
l_get_num_isl_int
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobia
s
Grosser
isl_cell_f
o
reach_
s
i
m
plex: use
i
sl_st
a
t instead
o
f in
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_ast_graft_free: return i
s
l
_ast_gr
a
ft * ins
t
e
ad
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as Gros
s
e
r
isl_r
e
ordering_free:
ret
u
rn isl_reord
e
ring * inste
a
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Grosser
isl_as
t
.
c
:
use
i
sl_bool enu
m
i
ns
t
ead of
plain in
t
e
ger
s
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias Gro
s
ser
isl_schedu
l
e_band
.
c: use
is
l
_ast_loop_typ
e
enum
i
n
stead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
Grosser
i
sl_polyn
o
mial
.
c: use isl_stat enum
instead of plain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobias
G
rosser
i
sl_constra
i
nt
.
c:
use i
s
l_stat enum inste
a
d of p
l
ain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
Grosser
isl_bound
.
c: use isl_st
a
t
enu
m
inste
a
d
of plai
n
int
e
g
e
rs
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
To
b
ias Grosse
r
i
sl_
a
ff
.
c: us
e
isl_sta
t
enum
in
s
tead o
f
p
lain inte
g
ers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tobia
s
Grosse
r
isl_t
a
b
.
c
: use is
l
_stat e
n
um instead of pl
a
in int
e
gers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
To
b
ias Gr
o
sser
scheduler
.
c:
u
se isl_bool enum instead of plain in
t
egers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
Tob
i
as
Grosser
coalesce
.
c:
use i
s
l_bool
e
nums
ins
t
ead of
p
lain int
e
gers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
T
obias Grosser
Add,
d
ocument and test isl
_
union
_
se
t
_get_
s
et_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Grosser
Add, document
and test isl_union_map
_
g
e
t_m
a
p_lis
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
T
o
bias
Grosser
Expose, doc
u
ment and tes
t
isl_map_get_basic_map_li
s
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-29
Tobias Gros
s
er
A
dd
t
est cov
e
ra
g
e for isl_[union
_
]se
t
_get_basic_s
e
t_list
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
To
b
ias G
r
osser
Add
i
sl
_
*_drop_un
u
sed_params
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-04-23
Tobia
s
Grosser
i
s
l
_basic_map_align_params:
e
x
tra
c
t o
u
t
i
sl_basic_map_check_
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-09-08
T
o
b
ias Grosser
python: r
e
move redundant is_stri
n
g_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-16
Tobias
G
r
os
s
er
c
p
p: add missing license to
uni
t
t
ests
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-14
Tobias G
r
osser
Documen
t
t
he is
l
interface
desi
g
n gu
i
d
e
l
i
nes wi
t
h res
p
ec
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Gross
e
r
cpp/python: ex
p
ort functions to construct
sets f
r
o
m
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobias Grosser
c
pp/
p
ython: exp
o
rt documented
f
unctions
t
o cons
t
ruct
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-08-04
Tobi
a
s
Gros
s
er
Complete
i
sl_aff to set interface
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-28
Tobias
G
rosser
Document:
c
omp
a
r
i
sons
b
e
tween isl_val and NaN a
l
wa
y
s
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-26
To
b
ias Grosser
Adapt coschedul
e
d_source to handle err
o
r
c
o
n
di
t
ion
s
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-25
Tobias Gr
o
sser
Handle error conditions re
t
urned by level
_
before in
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
T
ob
i
as
Grosser
cpp/python: export arithmetic operatio
n
s on isl_pw_aff
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-19
Tobi
a
s Grosser
cpp/python: expo
r
t arithmetic
o
perations on isl_af
f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-07-14
Tobias Grosser
cpp/
p
ython: export isl_
s
chedule_con
s
t
raints
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-25
T
obias Grosser
cp
p
: ad
d
unit te
s
ts
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
T
obias Gro
s
ser
cpp
:
do not mar
k
boole
a
n
(
isl_bool) constructor
a
s
e
xplicit
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-17
Tobias Gr
o
ss
e
r
cpp: explicitly manage isl_bool return values
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-11
Tob
i
as
Gros
s
er
i
sl_v
a
l_
i
s
_one should return
i
sl
_
bo
o
l_false
for nan
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Grosser
python: make s
t
ring parsing and re
t
urning Python 3
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gr
o
sser
cpp: support methods and c
o
nstructors
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Grosser
cpp: generate C++ wrapper cla
s
ses
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
T
o
bias Grosser
generato
r
: add m
i
ssin
g
newline
af
t
er p
r
inting
t
he die
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-04-27
Tobias G
r
osser
python: drop spur
i
ous
spac
e
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-03-16
T
o
bias Gros
s
er
let isl_poin
t
_
free re
t
urn
a NUL
L
p
o
i
nte
r
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
G
ro
s
ser
isl_basic_set
_
is_bo
u
nded: return isl_b
o
o
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
isl_tab_cone_is
_
bounded:
r
e
t
u
r
n is
l
_b
o
ol
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Gr
o
sser
py
t
h
o
n
:
remove red
u
nd
a
nt
is_string_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-18
Tob
i
as Grosser
p
ython
:
mark isl
_
ast
_
build_*_from_* as
__
i
sl_overload
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobias Grosser
py
t
hon:
de
r
ive all cl
a
sses fro
m
'object'
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
Tobia
s
Grosser
python: ensure Pyt
h
on 3 can d
e
rive me
t
hod resolution
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-12-02
T
o
bias Grosse
r
py
t
hon: use python 3 exception sy
n
tax
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-11-02
To
b
ias Gro
s
s
er
Up
d
ate imat
h
to include
big-endian support
f
o
r
mpz_import
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-10-04
T
o
b
ias Gro
s
ser
add isl_union_flow_cop
y
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
add isl_map_
d
im_min
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
p
y
tho
n
interface: expo
s
e
cons
t
ructi
o
n of AS
T
node from
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
ias
G
rosser
pytho
n
interfac
e
: ex
p
ose i
s
l_as
t
_build and isl
_
ast_expr
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
pytho
n
interface: automati
c
ally derive metho
d
type
.
.
.
commit
|
commitdiff
|
tree
2016-07-01
T
o
b
i
as
Gross
e
r
python int
e
rfa
c
e
:
o
n
ly
exp
o
rt __str
_
_ and __repr__
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
python interface: supp
o
rt 'char
*' and 'const
c
h
ar
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosse
r
p
ython inter
f
ace:
extrac
t
method print_meth
o
d_type
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as
Grosser
python interface:
a
dd expo
r
ted_ prefix to M
y
A
STConsumer
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
T
obias
Grosser
python i
n
t
e
rface
:
e
x
t
r
act me
t
hod prin
t
_method_t
y
p
es
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: e
x
tract method p
r
int
_
represent
a
t
i
o
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Grosser
A
d
d new isl_ast_node_to_C_str fu
n
ct
i
on
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias G
r
osser
Ad
d
new is
l
_as
t
_expr_to_C_st
r
functio
n
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as
Grosser
python interface: re
p
lace assert with ex
p
l
i
cit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-06-22
Tobias G
r
o
s
ser
p
y
tho
n
interface: replac
e
assert with explicit abort
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2016-05-30
Tobi
a
s Gro
s
s
e
r
E
xp
o
rt isl_val
a
rithmetic
and co
m
paris
o
n methods
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-08-06
Tobias Gros
s
e
r
Make pass-by-reference expli
c
it by using pointers
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-24
Tobias Grosser
te
s
t_inputs/
b
risebarre
.
pip: u
s
e unix lin
e
endings
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-22
Tobias Grosser
i
s
l_simpl
e
_hull: check for empty/single-disjunct map
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosse
r
isl_ast_
b
uild_ex
p
r_from_basi
c
_
set:
d
o not use free
d
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-06-29
Tobias Grosser
Remove ma
l
loc
.
h include fr
o
m
sioimath
file
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-29
Tobias Grosser
Fix t
y
po in
i
sl_test
.
c
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-26
T
obias Gro
s
s
er
Update
imath to
23b2b1f
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Gros
s
er
Exploi
t
zero
s
in
i
sl_mat
_
pro
d
uct
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-02-15
Tobi
a
s
G
r
o
s
s
er
isl_seq
_
c
ombine: op
t
imize
for common case
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2015-01-23
T
o
bi
a
s Gros
s
er
Fi
x
so
m
e
typos in
comments
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Grosser
Av
o
id uninitialized memory warning i
n
valgrind when
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
To
b
ias Gros
s
er
Mark
t
he compute out fe
a
ture expe
r
iment
a
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-13
Tobia
s
Grosser
i
s
l_coalesce
.
c
:
isl_map_coal
e
sce: improve error
h
a
n
d
ling
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-12
T
obias
Gross
e
r
isl_u
n
ion_map_all
o
c: Rename dim to
s
pace
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-04-11
To
b
ias
G
r
o
s
s
e
r
is
l
_
u
ni
o
n
_
ma
p
_alloc: pl
u
g memory l
e
ak on error p
a
t
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
Tobi
a
s
Gross
e
r
Do not dereference a NULL
pointe
r
in t
a
b_for_lexmin
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2014-03-10
T
o
bias
Grosser
Fix
typo
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next