LLVM 231 optimization -- course project
CSE231 FA15
LLVM_231
LLVM project for CSE 231Fall15
Project 2
Project 2 has 4 parts.
| Analysis | Use of Analysis Results |
|---|---|
| Constant Propagation | Optimization: Constant Folding, Branch Folding |
| Available Expressions | Optimization: Common Sub-expression Elminiation |
| Range Analysis | Bug finder: Warn programmer if can't show array access in bounds |
| Intra-Procedural Pointer Analysis | Catalyst: Improve all other analyses using this information |
For this part, we modulaize three sections for implementation of this project. They are:
- Guardian
- Artisan
- Miner
Work Flow:
- ### Guardian Guardian is the analysis for the program. For example, for pointer analysis, it will run Anderson al- gorithm based on IR of code.
-
Artisan
Artisan is a wrapper for Guardian result. It will display in text or graphic representation. For example, in pointer analysis, it gives the the graphic represen- tation of the pointer relation with arrows. For example, for pointer analysis, it gives a intutive graph represtation of pointer analysis.
-
Miner
Mineristheoptimizer.AccordingtotheGuardian's result, it does the optimization on the source file and output optimized file.
Lattice Structure
- LatticeNode:
- the node in the lattic
- LatticeEdge:
- the edge connecting each node
- Flow:
- the information stored in each edge
Run the
environment
source startenv.sh
#install artisan library
apt-get install python-gtk2 graphviz
sudo pip install xdot
run script
To save your life, we prepare the runscript for you to test the test case in P2.
/runscript/P2runAll.sh
An simple example to run the Guardian -> Artisan -> Miner
#guardian
./runscripts/guardian/runPointer.sh ${CSE231ROOT}/P2test/optimizerSimple
#artisan
./runscripts/artisan/draw.sh ${CSE231ROOT}/P2test/optimizerSimple
#miner
./runscripts/miner/dig.sh ${CSE231ROOT}/P2test/optimizerSimple
Project 1
There are three parts in Paroject 1
- Part 1: Collecting Static Instruction Counts
- Part 2: Collecting Dynamic Instruction Counts
- Part 3: Profiling Branch Bias
source file are at
- passes:
/llvm/src/lib/CSE231
- helper function
/extra/instrument
*benchmark
/extra/benchmarks/
## start environment
source startenv.sh
## complie library
make llvm
It compiles the code of project into CSE231.so
## run script
we prepare the runscript for you.
If you want to run section `x`
/runscripts/run-sectionx.sh
result will be in the `logs`.