Public Git Hosting - pet.git/search

2014-04-02	Sven Verdoolaege	handle pencil independent pragmas Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	PetScan: keep track of line number of current Stmt Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	pet.cc: extract out PetASTConsumer::add_pragma_handlers Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	add encapsulate_dynamic_control option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	pet_scop_from_pet_tree: create statements directly... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	replace pet_stmt_from_pet_expr by pet_stmt_from_pet_tree Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	pet_stmt: use pet_tree to represent statement body Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	scop.c: extract out pet_stmt_is_affine_assume and pet_stmt_a... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	scop.c: stmt_collect_accesses: use pet_expr_foreach_access_expr Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	scop.c: stmt_collect_params: use pet_expr_foreach_access_expr Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	keep track of indentation of extracted code Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-31	Sven Verdoolaege	update test case outputs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	extract enum constants as their integer values Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	PetScan::extract_int: separate out extraction from... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	PetScan::extract_unsigned: turn into a static function Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	scan.cc: change textual order of extract_unsigned and... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_check_code.c: use pet_expr_extract_affine Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	export pet_expr_extract_affine Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_context: no longer keep track of "unknown" values Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_expr_extract_affine: no longer create new parameters... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	PetScan::extract_scop: populate pet_context with parameter... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	scan.cc: move up static get_array_type function in... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	PetScan::get_array_size: cache results Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	PetScan::set_upper_bounds: extract out PetScan::get_array_size Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_expr_is_equal: compare index expressions up to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_expr_extract_affine: exploit domain information... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	add pet_context_get_gist_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_block: collect affine continue... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_scop_from_pet_tree: extract pet_scop from the root... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	add functions for manipulating the domain of a pet_context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_scop_restrict: also restrict virtual array extents Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_context_evaluate_expr: first insert domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_check_code: remove tracking of assignments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	drop pet_scop_detect_parameter_accesses Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_context_evaluate_expr: also plug in affine expressions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	separate out pet_context_evaluate_expr Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	drop pet_context_mark_assigned Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	PetScan::extract_scop: clear writes at outer level Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	PetScan::extract_scop: locally construct pet_context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	PetScan::extract_scop: also add all pet_arrays Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_expr_filter: avoid introduction of constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: is_simple_bound: handle higher dimensional... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: valid_for_each_iteration: handle higher... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: add_implication: handle higher dimensional... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: map_to_previous: handle higher dimensional... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: after: handle higher dimensional domains Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_extract_nested_from_space: add extra dimensions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_extract_nested_from_space: embed arguments in given... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	add pet_expr_access_get_domain_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_expr_resolve_nested: allow specification of domain... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: handle_writes: separate out handling of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: handle_writes: remove redundant pet_context_mar... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: extract_kill: allow specification of statement... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_scop_add_boolean_array: allow specification of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_skip_info__extract: pass along pet_context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_scop constructors: allow specification of domain... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_{break,continue}: minor clean-up Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_{break,continue}: allow specification... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_create_test_index: allow specification of domain... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_stmt_from_pet_expr: allow specification of statement... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_stmt_from_pet_expr: minor clean-up Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_stmt_from_pet_expr: rename "dim" variable to "space" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_context: keep track of domain set rather than domain... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	add pet_nested_remove_from_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_non_affine_if: drop preallocation... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_non_affine_if: delay construction... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_affine_for: delay construction... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_non_affine_while: drop preallocation... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_non_affine_while: delay construction... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_infinite_loop: delay construction... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: infinite_domain: delay intersection with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: extract out shared apply_affine_break Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_affine_for: remove preallocation... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_affine_for: delay construction... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_affine_for: introduce is_non_affine... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: scop_from_affine_for: delay intersection... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	add pet_scop_intersect_domain_prefix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	add pet_prefix_projection Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	scop.c: extent_is_virtual_array: check for members... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_array_embed: separate out extent_is_virtual_array Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	drop pet_scop_writes Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	tree2scop.c: is_nested_allowed: take tree instead of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	pet_skip_info__extract: pass struct pet_state instead... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	move extraction of pet_scop from pet_tree to separate... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-25	Sven Verdoolaege	construct pet_scop from intermediate pet_tree data... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	add pet_context_clear_writes_in_{expr,tree} Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	introduce pet_tree objects Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	move PetScan::extract_while before its first use Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	move PetScan::is_nested_allowed before its first use Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	move PetScan::extract_non_affine_condition before its... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	PetScan: drop allow_nested attribute Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	introduce pet_loc Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	move pet_scop_extract_nested to nest.c Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	move pet_expr_extract_nested to nest.c Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	PetScan::extract_for: use pet_expr_extract_comparison Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	PetScan::scan(FunctionDecl *): construct a pet_context... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	remove PetScan::try_extract_affine_condition Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	PetScan::set_upper_bounds: convert array bounds to... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	scan.cc: update_size: handle NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-03-24	Sven Verdoolaege	PetScan::extract_affine(const llvm::APInt &): extract... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

RSS Atom