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`.