Public Git Hosting - pet.git/search

2014-07-17	Sven Verdoolaege	PetScan::set_upper_bounds: handle arrays declared inside... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-07-09	Sven Verdoolaege	derive access relations of call expressions from function... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	add pet_expr_map_call Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	add pet_expr_access_get_augmented_domain_space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	PetScan::extract_expr(CallExpr *): extract function... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr: keep track of function summaries in call... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr: put pet_expr_call field in substructure Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	introduce pet_function_summary Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr_access_set_access: set read/write on non-empty... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	break up access relations into may_read/may_write/must_write Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	add pet_union_map_move_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	introduce pet_expr_access_type Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	drop pet_expr_from_access_and_index Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	explicitly mark kill accesses Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr: represent read/write flags as bits Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr: document the read and write fields Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	break up access relations into may_read/may_write/must_write... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr_tag_access: avoid use of target space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	postpone introduction of access relations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	emit.c: emit_expr: extract out emit_access_expr Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	drop pet_expr_access_get_access Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	nest.c: move is_sub_access to expr.c Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	tree2scop.c: extract_kill: update kill expression rather... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr_is_affine: avoid using access relation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr_filter: avoid using access relation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr_access_update_domain: avoid using access relation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr_access_get_must_access: avoid using access... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr_access_get_id: avoid using access relation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	expr.c: access_add_ref_id: avoid using access relation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	scop.c: access_collect_params: avoid using access relation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	scop.c: implies_filter: avoid using access relation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	scop.c: access_extract_context: avoid using access... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	scop.c: expr_extract_context: avoid using access relation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	scop.c: extract out shared drop_arguments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	pet_expr_access_update_domain: minor clean-up of expression... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	further generalize compute_to_inner to support pet_scop_comp... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	generalize compute_to_inner to support pet_scop_compute_oute... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-20	Sven Verdoolaege	scop.c: compute_to_inner: micro-optimization Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-06-19	Sven Verdoolaege	tree2scop.c: is_nested_allowed: do not allow nesting... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-05-26	Sven Verdoolaege	PetScan::set_upper_bounds: use declared size of static... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-24	Sven Verdoolaege	scop.c: restrict_skip: update documentation to change... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-24	Sven Verdoolaege	tree2scop.c: scop_add_inc: take into account affine... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-24	Sven Verdoolaege	tree2scop.c: move up apply_affine_continue Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-24	Sven Verdoolaege	tree2scop.c: scop_from_non_affine_while: extract out... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-14	Sven Verdoolaege	pet 0.05	commit \| commitdiff \| tree
2014-04-14	Sven Verdoolaege	update isl to version 0.13 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-13	Sven Verdoolaege	README: update LLVM/clang installation instructions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-11	Sven Verdoolaege	interface/extract_interface.cc: explicitly include... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-11	Sven Verdoolaege	update for change in arguments of CompilerInstance... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-11	Sven Verdoolaege	pet.cc: add space between literal and identifier Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-11	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-11	Sven Verdoolaege	pet_stmt_from_pet_tree: avoid free of uninitialized... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-06	Sven Verdoolaege	scan.cc: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-03	Sven Verdoolaege	pet_scop_from_pet_stmt: do not extract context from... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-03	Sven Verdoolaege	PetScan::extract_argument: handle passing of entire... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2014-04-03	Sven Verdoolaege	Makefile.am: add dummy C++ source file to pet_scop_cmp... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

RSS Atom