pet's Introduction
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 git version, it's best to install the latest release (14.0). The git 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 from source, make sure you also install LLVM (through "make install"). You may want to specify an installation directory using the CMAKE_INSTALL_PREFIX cmake option. You may also want to set the LLVM_BUILD_LLVM_DYLIB option to enable the creation of a single shared library. 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. You may also need to install the llvm package for llvm-config. Preparing: Grab the latest release and extract it or get the source from the git repository as follows. This process requires autoconf, automake, libtool and pkg-config. git clone git://repo.or.cz/pet.git cd pet ./get_submodules.sh ./autogen.sh Compilation: ./configure make make check Use: The main entry points are pet_scop_extract_from_C_source and pet_transform_C_source. The first 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. The second function (pet_transform_C_source) iterates over all scops. 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. An example application is given by pet_loopback.c, which prints out code from the pet_scop without any transformation. New releases are announced on http://groups.google.com/group/isl-announce If you use pet, you can let me know by stacking https://www.openhub.net/p/libpet on ohloh. For bug reports, feature requests and questions, contact [email protected] 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} }
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. ๐๐๐
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google โค๏ธ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.