?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
add support for (single) declarations
2012-11-08 Sven Verdoolaegeadd support for (single) declarations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-08 Sven Verdoolaegepet_scop_collect_arrays: skip arrays that already appear...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-08 Sven Verdoolaegeextract out PetScan::assign
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-08 Sven VerdoolaegePetScan::mark_write: handle NULL access
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-08 Sven Verdoolaegeextract out pet_scop_add_array
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-08 Sven Verdoolaegepet_array_free: return NULL pointer of type struct...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-08 Sven Verdoolaegefix use of DiagnosticOptions for older clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-04 Sven Verdoolaegeupdate for change in clang's PreprocessorOptions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-04 Sven Verdoolaegeupdate for change in clang's HeaderSearchOptions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-04 Sven Verdoolaegeupdate for change in clang's DiagnosticOptions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-04 Sven Verdoolaegescop_extract_from_C_source: take TargetOptions object...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-15 Sven VerdoolaegePetScan::extract: also clear assignments in while loops
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-15 Sven Verdoolaegeclear_assignments: also consider decrements and increments...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-15 Sven Verdoolaegeconfigure.ac: check for getExpansionLoc in clang/Basic...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-05 Sven Verdoolaegeconfigure.ac: link against same LLVM components as...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-03 Sven VerdoolaegePetScan::extract_array: use declared size on VLA parameters...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-01 Sven VerdoolaegePetScan::scan: use expansion offset to determine if...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-21 Sven VerdoolaegePetScan::extract_for: also check whether bound is simple...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeuse isl_pw_aff_tdiv_q and isl_pw_aff_tdiv_r instead...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeupdate isl for isl_pw_aff_tdiv_q and isl_pw_aff_tdiv_r
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegesupport modulo operation in statements
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-07 Sven Verdoolaegeinclude/pet.h: fix typo in documentation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-07 Sven Verdoolaegemake avoiding overflows on signed integes optional
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-02 Sven Verdoolaegeupdate isl for rename of !isl_set_dim_has_{lower,upper...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-07-27 Sven Verdoolaegescan.cc: add missing include
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-07-06 Sven Verdoolaegeonly require libyaml for compiling the pet executable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-04 Sven Verdoolaegepet 0.02
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-04 Sven Verdoolaegeconfigure.ac: allow specification of gmp location
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegeupdate isl to version 0.10
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven VerdoolaegeREADME: mention support for non-affine conditions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven VerdoolaegeREADME: update to latest release of clang
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescop_add_break: try and merge filters
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegesupport break and continue
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegeadd pet_expr_filter
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescop.c: extract out insert_filter_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescop.c: extract out args_insert_access
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegeadd pet_scop_alloc
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven VerdoolaegePetScan::extract(IfStmt *): extract out extract_non_affine_if
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegehandle generic conditions is for loops
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegepet_scop_embed: take mapping from virtual to real iterator
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven VerdoolaegePetScan::extract_for: rename variable "dim" to "space"
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescop.c: extract out internalize_iv
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescan.cc: move has_nested up
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescan.cc: move is_nested_parameter up
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegehandle non-affine conditions in while loops
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescan.cc: extract out PetScan::extract_affine_while
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescan.cc: move scop_add_array up
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescan.cc: move create_test_access up
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegepet_scop_filter: allow filters with non-zero-dimensional...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescan.cc: extract out identity_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescan.cc: extract out infinite_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegeadd pet_scop_reset_context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-03 Sven Verdoolaegescop.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-06-02 Sven VerdoolaegePetScan::extract_for: remove incorrect optimization...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven Verdoolaegesupport decrement and increment operations in statements
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven Verdoolaegescan.cc: fix whitespace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven Verdoolaegescan.cc: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven VerdoolaegePetScan::nested_access: check that nested access doesn...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven VerdoolaegePetScan::extract_non_affine_condition: resolve nested...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven VerdoolaegePetScan::extract_access_expr: remove duplication by...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven Verdoolaegecache assigned values in then and else branch of if...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven Verdoolaegepet_scop_collect_arrays: also collect arrays that only...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven Verdoolaegescan.cc: add_parameter_bounds: double check that there...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven Verdoolaegepet_scop_restrict: project out unnamed parameters from...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven VerdoolaegePetScan::resolve_nested: detect and remove duplicate...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven VerdoolaegePetScan::extract_nested: insert outer filters in earlier...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven Verdoolaegemark __pet_test_* variables as uniquely_defined
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-22 Sven Verdoolaegepet_array: add uniquely_defined attribute
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-14 Sven Verdoolaegesupport any affine condition in a while
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-14 Sven Verdoolaegeadd PetScan::try_extract_affine_condition
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-11 Sven Verdoolaegemake detection of conditional assignment optional
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-11 Sven Verdoolaegepass pet_options to PetScan instead of only the autodetect...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-11 Sven Verdoolaegeavoid negative array indices
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-05-11 Sven Verdoolaegepet: allow specification of isl options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-04-06 Sven Verdoolaegescop.c: expr_extract_context: don't assume access is...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-04-06 Sven Verdoolaegeadd pet_expr_is_affine
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-27 Sven Verdoolaegeadjust to change in number of arguments of DeclRefExpr...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-27 Sven Verdoolaegelink in new -lclangEdit when available
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-27 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegeavoid overflows on signed integers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven VerdoolaegePetScan::extract_for: relax requirement on increment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven VerdoolaegePetScan::extract_for: update context with respect to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegerepresent loop increment as isl_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegeallow slightly more generic compound increment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven VerdoolaegePetScan::extract(IfStmt *): update context with respect...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegetry and extract condition of ternary operator as a...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegepet_scop_from_pet_stmt: extract context constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegepet_scop_restrict: update context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegepet_scop_embed: update context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegepet_scop_add: combine (intersect) contexts of original...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegeadd pet_scop_restrict_context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven VerdoolaegePetScan::extract_affine: don't bother with wrapping...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven VerdoolaegePetScan::extract_conditional_assignment: simplify computation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegerepresent conditions using isl_pw_affs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven VerdoolaegePetScan::extract_for: compute gist before testing whether...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven VerdoolaegePetScan::extract_for: only compute is_simple once
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven VerdoolaegePetScan::extract_for: make domain refer to the virtual...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven VerdoolaegePetScan::extract_for: also call can_wrap on non-simple...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven VerdoolaegePetScan::extract_for: explicitly keep track of when...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-03-06 Sven Verdoolaegescan.cc: strided_domain: return parameter set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next