Public Git Hosting - pet.git/search

2017-03-09	Sven Verdoolaege	support inlining of non-outermost call expressions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-09	Sven Verdoolaege	make PetScan::extract_inlined_call public Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-09	Sven Verdoolaege	add pet_id_ret_from_type Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-09	Sven Verdoolaege	add pet_tree_map_top_down Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-09	Sven Verdoolaege	allow return statements in summary functions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-09	Sven Verdoolaege	pet_tree: support return statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-09	Sven Verdoolaege	pet_inliner::assign: drop redundant QualType argument Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-09	Sven Verdoolaege	extract out (nearly) shared pet_expr_access_from_id Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-09	Sven Verdoolaege	expr_plus.cc: extract_depth: use pet_id_get_array_type... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-09	Sven Verdoolaege	PetScan: extract out pet_expr_access_from_index Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	pet_scop_collect_arrays: only collect siblings of accessed... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	pet_scop_collect_arrays: consider all accessed data... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	pet_scop_collect_arrays: only collect subfields of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	pet_array: explicitly keep track of whether array is... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	update test case outputs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	tree.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	scop_plus.cc: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	support bitwise assignment operators in statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	PetScan::extract_expr(BinaryOperator *): improve error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	scan.h: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-03-08	Sven Verdoolaege	scan.h: protect against multiple inclusions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	pet.cc: update to CompilerInstance::setInvocation taking... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-02-07	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-01-02	Sven Verdoolaege	pet_scop_compute_outer_to_inner: improve handling of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	tree2scop.c: kill: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: stmt_anonymize; drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: expr_collect_accesses: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: expr_collect_accesses: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: expr_collect_accesses: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: access_collect_params: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: stmt_filter: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: filter_implied: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: pet_scop_restrict: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: schedule_embed: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: pet_implication_free: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	pet_codegen.c: set_options: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	pet_check_code.c: check_domain: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	nest.c: pet_stmt_resolve_nested: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	filter.c: pet_filter_insert_pma: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	expr.c: extract_affine_from_access: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	expr.c: introduce_access_relations: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	expr.c: introduce_access_relations: drop unused variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	expr.c: construct_access_relation: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	pet_expr_access_set_depth: drop unused variables Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	expr.c: has_relevant_access_relations: drop unused... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	scop.c: drop unused pet_implication_embed Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	nest.c: drop unused pet_nested_remove_from_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	emit.c: emit_named_unsigned: call emit_unsigned instead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	parse.c: extract_tree: avoid uninitialized read on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-26	Sven Verdoolaege	parse.c: extract_expr: avoid uninitialized read on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-18	Sven Verdoolaege	pet 0.10 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-18	Sven Verdoolaege	update isl to version 0.18 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	tree2scop.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	tree.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	skip.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	scop.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	print.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	parse.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	nest.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	expr.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	emit.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-12-08	Sven Verdoolaege	aff.c: directly include required headers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-23	Sven Verdoolaege	pet_scop_from_pet_tree: take into account assumptions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-15	Sven Verdoolaege	scop.c: stmt_extract_context: extract out pet_stmt_assume_ge... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-15	Sven Verdoolaege	privately export pet_stmt_is_affine_assume Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-15	Sven Verdoolaege	pet_tree_is_affine_assume: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-07	Sven Verdoolaege	pet_check_code: use pet_scop_get_schedule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-07	Sven Verdoolaege	PetScan::scan: detect and report unbalanced pairs of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-07	Sven Verdoolaege	ScopLoc: keep track of SourceLocations of scop and... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-11-07	Sven Verdoolaege	tree2scop.c: tree_is_decl: do not treat empty block... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	m4/ax_detect_clang.m4:fix description of SETLANGDEFAULTS_TAK... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	m4/ax_detect_clang.m4: improve detection of 5-argument... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-09-04	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	pet.cc: update to CompilerInvocation::setLangDefaults... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-06-28	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-06	Sven Verdoolaege	update isl to version 0.17.1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-03	Sven Verdoolaege	pet 0.09 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-05-03	Sven Verdoolaege	update isl to version 0.17 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	README: update latest release of clang Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	stop creating fake DeclRefExpr Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	scan.cc: extract_array: drop redundant local variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-26	Sven Verdoolaege	scan.h: drop spurious semicolon after namespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-23	Sven Verdoolaege	support __builtin_assume Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-23	Sven Verdoolaege	PetScan::extract_expr: extract out is_assume Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-19	Sven Verdoolaege	pet_expr_dump_with_indent: also indent first line Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	perform substitutions on size expression of array declared... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	scan.cc: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	add pet_substituter::substitute(pet_expr *) Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	add PetScan::set_array_size Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	PetScan::get_array_size: add extra cache keyed on array... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	add isl_id_to_pet_expr Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-15	Sven Verdoolaege	PetScan::get_array_size: take isl_id representing array... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-12	Sven Verdoolaege	remove "const" qualifier from the type of a scalar Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-12	Sven Verdoolaege	take into account writes inside macro statements during... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-07	Sven Verdoolaege	support empty statements Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-07	Sven Verdoolaege	fix renaming of inlined function arguments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-04	Sven Verdoolaege	properly handle arrays of typedefs and structs inside... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-04-04	Sven Verdoolaege	only keep track of struct definitions once Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-09	Sven Verdoolaege	add assignments to undeclared loop iterators Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-08	Sven Verdoolaege	tests/inf4.c: use unsigned int for infinite loop iterator Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

RSS Atom