?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
tree2scop.c: add_implication: handle higher dimensional domains
2014-03-25 Sven Verdoolaegetree2scop.c: add_implication: handle higher dimensional...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: map_to_previous: handle higher dimensional...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: after: handle higher dimensional domains
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_extract_nested_from_space: add extra dimensions...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_extract_nested_from_space: embed arguments in given...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegeadd pet_expr_access_get_domain_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_expr_resolve_nested: allow specification of domain...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: handle_writes: separate out handling of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: handle_writes: remove redundant pet_context_mar...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: extract_kill: allow specification of statement...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_scop_add_boolean_array: allow specification of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_skip_info_*_extract*: pass along pet_context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_scop constructors: allow specification of domain...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_{break,continue}: minor clean-up
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_{break,continue}: allow specification...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_create_test_index: allow specification of domain...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_stmt_from_pet_expr: allow specification of statement...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_stmt_from_pet_expr: minor clean-up
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_stmt_from_pet_expr: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_context: keep track of domain set rather than domain...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegeadd pet_nested_remove_from_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_non_affine_if: drop preallocation...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_non_affine_if: delay construction...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_affine_for: delay construction...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_non_affine_while: drop preallocation...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_non_affine_while: delay construction...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_infinite_loop: delay construction...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: infinite_domain: delay intersection with...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: extract out shared apply_affine_break
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_affine_for: remove preallocation...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_affine_for: delay construction...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_affine_for: introduce is_non_affine...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: scop_from_affine_for: delay intersection...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegeadd pet_scop_intersect_domain_prefix
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegeadd pet_prefix_projection
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegescop.c: extent_is_virtual_array: check for members...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_array_embed: separate out extent_is_virtual_array
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegedrop pet_scop_writes
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegetree2scop.c: is_nested_allowed: take tree instead of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegepet_skip_info_*_extract*: pass struct pet_state instead...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegemove extraction of pet_scop from pet_tree to separate...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-25 Sven Verdoolaegeconstruct pet_scop from intermediate pet_tree data...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeadd pet_context_clear_writes_in_{expr,tree}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeintroduce pet_tree objects
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegemove PetScan::extract_while before its first use
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegemove PetScan::is_nested_allowed before its first use
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegemove PetScan::extract_non_affine_condition before its...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan: drop allow_nested attribute
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeintroduce pet_loc
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegemove pet_scop_extract_nested to nest.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegemove pet_expr_extract_nested to nest.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_for: use pet_expr_extract_comparison
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::scan(FunctionDecl *): construct a pet_context...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeremove PetScan::try_extract_affine_condition
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::set_upper_bounds: convert array bounds to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegescan.cc: update_size: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_affine(const llvm::APInt &): extract...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegepostpone the detection of affine assumptions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeextract out pet_expr_is_assume
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_access_expr: delay plugging in the...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_affine(Expr *): stop taking into account...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_access_expr: construct access expression...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::resolve_nested: handle self dependences in...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::resolve_nested: handle presence of arguments...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeadd functions for manipulating expression arguments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeadd pet_expr_access_pullback_multi_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeseparate out array index manipulation functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_conditional_assignment: extract write...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::mark_write: turn into a static function
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegepostpone clearing assigned values until the point where...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegepostpone handling of assignments until the point where...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::assign: take pet_expr as input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_expr(ConditionalOperator *): preserve...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegepet_check_code: op_expr_extract_pw_aff: handle more...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegemove pet_nested_extract_expr to nest.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_affine: extract expression as pet_expr...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegetreat fors with non-affine initialization or non-constant...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_for: move up extraction of constant...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_for: extract initial value as pet_expr...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_for: extract increment as pet_expr...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract(pet_expr*): take explicit source range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeextract out PetScan::extract_while
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_condition: convert clang::Expr to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegescan.cc: separate out shared create_decl_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegerepresent affine expressions on zero-dimensional domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_binary_increment: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::nested_access: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_affine(DeclRefExpr *): rename "dim...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_affine(const llvm::APInt &): rename...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven VerdoolaegePetScan::extract_affine(IntegerLiteral *): rename ...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeadd pet_expr_extract_affine and pet_expr_extract_affine_cond...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeadd pet_context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegepet_comparison: handle NaN input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegepet_to_bool: handle NaN input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegepet_not: handle NaN input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeupdate isl for affine NaN expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeadd support for nested accesses represented by a pet_expr...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeseparate out extraction of nested expression from isl_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegepet_expr_is_scalar_access: do not consider scalar fields...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-24 Sven Verdoolaegeextract out pet_extract_cst
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next