Public Git Hosting - pet.git/search

2012-06-02	Sven Verdoolaege	PetScan::extract_for: remove incorrect optimization... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	support decrement and increment operations in statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	scan.cc: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	scan.cc: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	PetScan::nested_access: check that nested access doesn... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	PetScan::extract_non_affine_condition: resolve nested... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	PetScan::extract_access_expr: remove duplication by... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	cache assigned values in then and else branch of if... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	pet_scop_collect_arrays: also collect arrays that only... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	scan.cc: add_parameter_bounds: double check that there... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	pet_scop_restrict: project out unnamed parameters from... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	PetScan::resolve_nested: detect and remove duplicate... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	PetScan::extract_nested: insert outer filters in earlier... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	mark __pet_test_* variables as uniquely_defined Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-22	Sven Verdoolaege	pet_array: add uniquely_defined attribute Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-14	Sven Verdoolaege	support any affine condition in a while Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-14	Sven Verdoolaege	add PetScan::try_extract_affine_condition Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-11	Sven Verdoolaege	make detection of conditional assignment optional Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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-03	Sven van Haastregt	pet_scop_extract_from_C_source: return NULL in case... 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
next

RSS Atom