AvailableExpressionAnalysisOptimizationPass.cpp

//
//  AvailableExpressionAnalysisOptimizationPass.cpp
//  
//
//  Created by Costas Zarifis on 22/05/2014.
//
//
#include "llvm/Pass.h"
#include "Variable.h"
#include "AvailableExpressionAnalysis.h"
#include "llvm/IR/Module.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Support/InstIterator.h"
#include <string>
#include <vector>

using namespace llvm;
using namespace std;

/*
 * BUGS FOUND AND FIXED :
 * 	-	Avoid static members for the passes. This generates a linking error when making the shared object.
 * 	-	raw_ostream& object does not like to be fed a std::endl symbol. Prefer to user "\n".
 */

namespace {
  struct AvailableExpressionAnalysisOptimizationPass : public FunctionPass {
    static char ID;
    vector<AvailableExpressionAnalysis *>AvailableExpressionAnalyses;
    AvailableExpressionAnalysisOptimizationPass() : FunctionPass(ID) {}

    virtual bool runOnFunction(Function &F) {
    	//initialize analysis
    	AvailableExpressionAnalyses.push_back(new AvailableExpressionAnalysis(F));
    	return false;
    }

    //The dummy optimization does not modify the code, but performs various analyses and outputs their result here
    void print(raw_ostream &OS, const Module*) const {

    	//The pure static analysis. Functional testing
    	OS << "CONSTANT PROPAGATION ANALYSES test : \n";
    	for (unsigned int i = 0 ; i < AvailableExpressionAnalyses.size() ; i++){
        	//OS << "Print CFG (without flow) : " << "\n";
        	//AvailableExpressionAnalyses[i]->JSONCFG(OS);
        	//Run worklist algorithm
//    		errs() << "Function Name : " << AvailableExpressionAnalyses[i]->getFunctionName() << "\n";
//    		errs() << "before runWorklist()...\n";
    		AvailableExpressionAnalyses[i]->runWorklist();
//        	errs() << "after runWorklist()...\n";
        	//Check analysis results.
        	OS << "\nPrint CFG (with flow) : " << "\n";
        	AvailableExpressionAnalyses[i]->JSONCFG(OS);
    	}

  	}
  };
}

char AvailableExpressionAnalysisOptimizationPass::ID = 0;
static RegisterPass<AvailableExpressionAnalysisOptimizationPass> X("AvailableExpressionAnalysisOptimization", "Available Expression Analysis Optimization Pass", false, false);