Public Git Hosting - pet.git/search

2012-05-11	Sven Verdoolaege	pass pet_options to PetScan instead of only the autodetect... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-11	Sven Verdoolaege	avoid negative array indices Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-11	Sven Verdoolaege	pet: allow specification of isl options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-04-06	Sven Verdoolaege	scop.c: expr_extract_context: don't assume access is... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-04-06	Sven Verdoolaege	add pet_expr_is_affine Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-27	Sven Verdoolaege	adjust to change in number of arguments of DeclRefExpr... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-27	Sven Verdoolaege	link in new -lclangEdit when available Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-27	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	avoid overflows on signed integers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract_for: relax requirement on increment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract_for: update context with respect to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	represent loop increment as isl_pw_aff Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	allow slightly more generic compound increment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract(IfStmt *): update context with respect... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	try and extract condition of ternary operator as a... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	pet_scop_from_pet_stmt: extract context constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	pet_scop_restrict: update context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	pet_scop_embed: update context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	pet_scop_add: combine (intersect) contexts of original... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	add pet_scop_restrict_context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract_affine: don't bother with wrapping... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract_conditional_assignment: simplify computation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	represent conditions using isl_pw_affs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract_for: compute gist before testing whether... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract_for: only compute is_simple once Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract_for: make domain refer to the virtual... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract_for: also call can_wrap on non-simple... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract_for: explicitly keep track of when... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	scan.cc: strided_domain: return parameter set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	limit parameters in context to possible values of correspond... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	PetScan::extract_implicit_affine: simplify computation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-06	Sven Verdoolaege	update isl for change in isl_pw_aff_cond Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-04	Sven Verdoolaege	simplify sets and relations in pet_scop with respect... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-04	Sven Verdoolaege	pass value_bounds to PetScan Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-04	Sven Verdoolaege	store value_bounds in isl_union_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-04	Sven Verdoolaege	README: mention that ubuntu libclang-dev is not sufficient Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-03-04	Sven Verdoolaege	README: mention potential problem when configuring... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-02-06	Sven Verdoolaege	keep track of size of array elements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-02-05	Sven Verdoolaege	adjust to change in number of arguments of DeclRefExpr... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-02-05	Sven Verdoolaege	configure.ac: remove spurious "," Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-02-02	Sven Verdoolaege	pet_scop_extract_from_C_source: reset user pointers... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-02-01	Sven Verdoolaege	update isl for fix in isl_space_set_dim_id Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-01-30	Sven Verdoolaege	README: add more requirements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-01-18	Sven Verdoolaege	update for change in clang's HandleTopLevelDecl return... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-01-18	Sven Verdoolaege	configure.ac: only link against libraries from LLVM... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-01-18	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-01-08	Sven Verdoolaege	scan.cc: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-01-04	Sven Verdoolaege	scop.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-01-04	Sven Verdoolaege	add --version option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-18	Sven Verdoolaege	pet 0.01 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-18	Sven Verdoolaege	update isl to version 0.09 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-17	Sven Verdoolaege	configure.ac: specify address for bug reports Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-17	Sven Verdoolaege	check for presence of prototype before accessing parameters Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-12-17	Sven Verdoolaege	PetScan::unsupported: optionally print custom message Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-28	Sven Verdoolaege	README: add a small note on how to use pet Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-28	Sven Verdoolaege	keep track of "address of" operators on accesses Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-23	Sven Verdoolaege	scop_extract_from_C_source: properly clean up if input... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-23	Sven Verdoolaege	construct_invocation: add missing check for jobs size Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-23	Sven Verdoolaege	cache values in assigned_value instead of expressions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-23	Sven Verdoolaege	allow boolean expressions where an affine expression... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-23	Sven Verdoolaege	allow parens around integer literal in second argument... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-23	Sven Verdoolaege	add extra min test Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-23	Sven Verdoolaege	update isl for isl_pw_aff_has_dim_id Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-23	Sven Verdoolaege	add missing namespace qualification on llvm::ArrayRef Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-21	Sven Verdoolaege	pet_stmt_from_pet_expr: fix memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-21	Sven Verdoolaege	scan.cc: update comment of valid_for_each_iteration Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-17	Sven Verdoolaege	allow nested accesses in loop upper bounds Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-17	Sven Verdoolaege	allow nested accesses in if conditions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-16	Sven Verdoolaege	extract n_nested_parameter Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-16	Sven Verdoolaege	extract is_nested_parameter Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-16	Sven Verdoolaege	extract extract_nested Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-16	Sven Verdoolaege	rename non_affine to nested_access Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-16	Sven Verdoolaege	add pet_scop_writes Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-16	Sven Verdoolaege	privately export pet_expr_foreach_access Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-14	Sven Verdoolaege	add -D option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-13	Sven Verdoolaege	add -I option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-13	Sven Verdoolaege	pet: use isl for argument parsing Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-13	Sven Verdoolaege	store autodetect option in a separate pet_options structure Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-13	Sven Verdoolaege	update isl for support for string list arguments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-13	Sven Verdoolaege	update isl for introduction of isl_args Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-13	Sven Verdoolaege	use the clang driver to obtain command line arguments... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-13	Sven Verdoolaege	destroy MyDiagnosticPrinter on newer clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-13	Sven Verdoolaege	support more recent LLVMs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-13	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-06	Sven Verdoolaege	extract_affine: a variable that has been assigned an... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-06	Sven Verdoolaege	induction variable of for loop should be considered... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-06	Sven Verdoolaege	an address passed to a const pointer argument should... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-03	Sven Verdoolaege	.gitignore: add config.h.in~ Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	turn virtual scalars into virtual arrays Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	mark __pet_test_* scalars as only attaining values... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	allow labels on expression statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	allow specification of only lower bound on parameter Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	use isl_set_{lower,upper}_bound_si instead of our own... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-11-02	Sven Verdoolaege	update isl for isl_set_upper_bound_si Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-23	Sven Verdoolaege	explicitly link in gmp when using libisl.la Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-21	Sven Verdoolaege	Makefile.am: append extra copy of CLANG_LDFLAGS to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-21	Sven Verdoolaege	update isl to version 0.08 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-10-13	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	accept non-affine conditions in if statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-09-26	Sven Verdoolaege	pet_scop_add: also collect the arrays in the pet_scops Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

RSS Atom