?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
pet_tree_is_affine_assume: return isl_bool
2016-11-15 Sven Verdoolaegepet_tree_is_affine_assume: return isl_bool
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-07 Sven Verdoolaegepet_check_code: use pet_scop_get_schedule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-07 Sven VerdoolaegePetScan::scan: detect and report unbalanced pairs of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-07 Sven VerdoolaegeScopLoc: keep track of SourceLocations of scop and...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-11-07 Sven Verdoolaegetree2scop.c: tree_is_decl: do not treat empty block...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-09-04 Sven Verdoolaegem4/ax_detect_clang.m4:fix description of SETLANGDEFAULTS_TAK...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-09-04 Sven Verdoolaegem4/ax_detect_clang.m4: improve detection of 5-argument...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-09-04 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-06-28 Sven Verdoolaegepet.cc: update to CompilerInvocation::setLangDefaults...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-06-28 Sven Verdoolaegeupdate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-05-06 Sven Verdoolaegeupdate isl to version 0.17.1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-05-03 Sven Verdoolaegepet 0.09
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-05-03 Sven Verdoolaegeupdate isl to version 0.17
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-26 Sven VerdoolaegeREADME: update latest release of clang
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-26 Sven Verdoolaegestop creating fake DeclRefExpr
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-26 Sven Verdoolaegescan.cc: extract_array: drop redundant local variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-26 Sven Verdoolaegescan.h: drop spurious semicolon after namespace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-23 Sven Verdoolaegesupport __builtin_assume
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-23 Sven VerdoolaegePetScan::extract_expr: extract out is_assume
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-19 Sven Verdoolaegepet_expr_dump_with_indent: also indent first line
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-15 Sven Verdoolaegeperform substitutions on size expression of array declared...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-15 Sven Verdoolaegescan.cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-15 Sven Verdoolaegeadd pet_substituter::substitute(pet_expr *)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-15 Sven Verdoolaegeadd PetScan::set_array_size
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-15 Sven VerdoolaegePetScan::get_array_size: add extra cache keyed on array...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-15 Sven Verdoolaegeadd isl_id_to_pet_expr
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-15 Sven VerdoolaegePetScan::get_array_size: take isl_id representing array...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-12 Sven Verdoolaegeremove "const" qualifier from the type of a scalar
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-12 Sven Verdoolaegetake into account writes inside macro statements during...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-07 Sven Verdoolaegesupport empty statements
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-07 Sven Verdoolaegefix renaming of inlined function arguments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-04 Sven Verdoolaegeproperly handle arrays of typedefs and structs inside...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-04-04 Sven Verdoolaegeonly keep track of struct definitions once
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-09 Sven Verdoolaegeadd assignments to undeclared loop iterators
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-08 Sven Verdoolaegetests/inf4.c: use unsigned int for infinite loop iterator
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-08 Sven Verdoolaegetree2scop.c: extract out scop_from_for_init
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-08 Sven Verdoolaegetree2scop.c: fix minor style issue
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-08 Sven Verdoolaegetree2scop.c: scop_from_non_affine_for: rename argument...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-08 Sven Verdoolaegetree2scop.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeextract out pet_wrap_aff and pet_wrap_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegepush affine conditions into index expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeprivately expose pet_expr_access_has_any_access_relation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeadd pet_expr_is_same_access
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeadd pet_expr_map_op
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeexpr.c: extract out pet_expr_get_affine
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegepet_context_evaluate_expr: plug in affine expressions...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeadd pet_expr_map_top_down
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegepet_expr_extract_affine: cache result in pet_context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeadd pet_expr_to_isl_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeadd pet_expr_get_hash
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegedrop pet_function_summary_dump_with_indent
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegepet_expr_dump: use isl_printer
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegepet_expr_dump_with_indent: extract out repeated dump_arguments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegepet_function_summary_dump: use isl_printer
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeadd pet_function_summary_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeupdate test case outputs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeupdate isl for generalized isl_hmap_templ.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeadd kills to variables declared in the same scope when...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven VerdoolaegePetScan::extract(StmtRange, ...): pass parent
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-07 Sven Verdoolaegeextract out pet_killed_locals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-06 Sven Verdoolaegeextract out pet_clang_array_depth into separate file
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-06 Sven Verdoolaegescan.cc: array_depth: take QualType as argument
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-06 Sven Verdoolaegeadd pet_expr_access_is_kill
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-06 Sven Verdoolaegechange return type of pet_expr_*_is_* to isl_bool
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-06 Sven Verdoolaegeinclude/pet.h: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-06 Sven Verdoolaegescan.h: fix typo in argument name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-03 Sven Verdoolaegesummary.c: add missing copyright statement
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-03-03 Sven Verdoolaegeskip.c: add missing copyright statement
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-28 Sven Verdoolaegepet_scop_from_pet_stmt: fix error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-24 Sven VerdoolaegeREADME: update LLVM/clang installation instructions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-24 Sven Verdoolaegelink against single libLLVM shared library when available
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-24 Sven Verdoolaegeconfigure.ac: move detection of clang to separate file
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-05 Sven Verdoolaegeadd get_submodules.sh
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-05 Sven VerdoolaegeMakefile.am: add CLEANFILES and DISTCLEANFILES
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-05 Sven Verdoolaegecodegen_test.sh: remove test output file on success
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-05 Sven Verdoolaegepet_test.sh: remove test output file on success
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-05 Sven Verdoolaegeconfigure: do not create gitversion.h
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-05 Sven Verdoolaegemake dist: take isl.py in srcdir if available
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven VerdoolaegePetASTConsumer: avoid initialization reordering warning
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven VerdoolaegePragmaValueBoundsHandler: avoid initialization reordering...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven VerdoolaegePetScan: avoid initialization reordering warning
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegescop_plus.cc:stmt_collect_arrays: avoid different signs...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegepet_inliner::inline_tree: avoid different signs comparison...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegepet_inliner::add_array_arg: avoid different signs comparison...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegepet.cc: is_implicit: avoid different signs comparison...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegescan.cc: PetScan::is_current_stmt_marked_independent...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegescan.cc: killed_locals::add_locals: avoid different...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegescan.cc: PetScan::set_inliner_arguments: avoid different...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegescan.cc: PetScan::extract_expr: avoid different signs...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegescan.cc: PetScan::extract(DeclStmt *): avoid different...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegescan.cc: PetScan::get_summary: avoid different signs...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegepet_expr: avoid declarations of anonymous types in...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven VerdoolaegePetScan::extract(IfStmt *): remove unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven VerdoolaegePetScan::extract_for: remove unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven VerdoolaegePetScan::extract_expr: remove unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-02-01 Sven Verdoolaegesubstituter.cc: substitute_access: remove unused variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-15 Sven Verdoolaegepet 0.08
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-15 Sven Verdoolaegeupdate isl to version 0.16.1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-15 Sven VerdoolaegePetScan::extract(Decl *): check that declaration is...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2016-01-07 Sven Verdoolaegeadd isl.py to distribution
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next