descriptionnone
ownerskimo-pet@kotnet.org
last changeFri, 5 Feb 2016 15:09:19 +0000 (5 16:09 +0100)
content tags
add:
readme
Requirements:

- pkg-config (http://www.freedesktop.org/wiki/Software/pkg-config)
	(not needed when compiling a release using the included isl)
- gmp (http://gmplib.org/)
- libyaml (http://pyyaml.org/wiki/LibYAML)
	(only needed if you want to compile the pet executable)
- LLVM/clang libraries, 2.9 or higher (http://clang.llvm.org/get_started.html)
	Unless you have some other reasons for wanting to use the svn version,
	it's best to install the latest release (3.7).
	The svn version occasionally introduces incompatibilities.
	Nevertheless, if you encounter any such incompatibilities, please
	report them so that they can be fixed.
	However, development versions from before the latest release
	are not supported.

	Also, if you are following the instructions on how to build
	the svn version, make sure you also install LLVM
	(through "make install").  You may want to specify an installation
	directory using the --prefix configure option.

	If you configure older versions of LLVM using cmake, you may end up
	with clang libraries that have been compiled with -fno-rtti without
	this option appearing in the output of "llvm-config --cxxflags".
	You may then run into errors about undefined reference to the
	'typeinfo' of some classes.
	You will then have to add this option manually to CXXFLAGS while
	configuring pet.

	If you want to use the ubuntu package libclang-dev, then you need
	version 3.2 (ubuntu raring) or later.
	Older versions of this package did not include the required libraries.

Preparing:

Grab the latest release and extract it or get the source from
the git repository as follows.  This process requires autoconf,
automake and libtool.

	git clone git://repo.or.cz/pet.git
	cd pet
	git submodule init
	git submodule update
	./autogen.sh

Compilation:

	./configure
	make
	make check

Use:

The main entry point is pet_scop_extract_from_C_source.
This function extracts a scop from the C source file with the given name
and returns it as a pet_scop.  The scop corresponds to the piece
of code delimited by

    #pragma scop

and

    #pragma endscop

The code in between needs to consist only of expression statements,
if statements and for statements.  All access relations and loop initializations
need to be piecewise quasi-affine.  Conditions are allowed to be non-affine,
in which case a separate statement is constructed to evaluate the condition.

If the autodetect option has been set, pet will try to automatically
detect a scop and no pragmas are required.  On the other hand, pet
will not produce any warnings in this case as any code that does not
satisfy the requirements is considered to lie outside of the scop.

The layout of pet_scop is documented in include/pet.h.


New releases are announced on http://freecode.com/projects/libpet

If you use pet, you can let me know by stacking
https://www.ohloh.net/p/libpet on ohloh.

For bug reports, feature requests and questions,
contact isl-development@googlegroups.com

If you use pet for your research, you are invited to cite
the following paper.

@InProceedings{Verdoolaege2012pet,
    author = {Sven Verdoolaege and Tobias Grosser},
    title = {Polyhedral Extraction Tool},
    booktitle = {Second Int. Workshop on Polyhedral Compilation Techniques
		(IMPACT'12)},
    address = {Paris, France},
    month = jan,
    year = {2012}
}
shortlog
6 days ago Sven VerdoolaegeMakefile.am: add CLEANFILES and DISTCLEANFILESmaster
6 days ago Sven Verdoolaegecodegen_test.sh: remove test output file on success
6 days ago Sven Verdoolaegepet_test.sh: remove test output file on success
6 days ago Sven Verdoolaegeconfigure: do not create gitversion.h
6 days ago Sven Verdoolaegemake dist: take isl.py in srcdir if available
10 days ago Sven VerdoolaegePetASTConsumer: avoid initialization reordering warning
10 days ago Sven VerdoolaegePragmaValueBoundsHandler: avoid initialization reorderi...
10 days ago Sven VerdoolaegePetScan: avoid initialization reordering warning
10 days ago Sven Verdoolaegescop_plus.cc:stmt_collect_arrays: avoid different signs...
10 days ago Sven Verdoolaegepet_inliner::inline_tree: avoid different signs compari...
10 days ago Sven Verdoolaegepet_inliner::add_array_arg: avoid different signs compa...
10 days ago Sven Verdoolaegepet.cc: is_implicit: avoid different signs comparison...
10 days ago Sven Verdoolaegescan.cc: PetScan::is_current_stmt_marked_independent...
10 days ago Sven Verdoolaegescan.cc: killed_locals::add_locals: avoid different...
10 days ago Sven Verdoolaegescan.cc: PetScan::set_inliner_arguments: avoid differen...
10 days ago Sven Verdoolaegescan.cc: PetScan::extract_expr: avoid different signs...
...
tags
3 weeks ago pet-0.08 pet 0.08
8 months ago pet-0.07 pet 0.07
15 months ago pet-0.06 pet 0.06
21 months ago pet-0.05 pet 0.05
2 years ago pet-0.04 pet 0.04
3 years ago pet-0.03 pet 0.03
3 years ago pet-0.02 pet 0.02
4 years ago pet-0.01 pet 0.01
heads
6 days ago master