Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 1 | //===-- EmitFunctions.cpp - interface to insert instrumentation --*- C++ -*--=// |
| 2 | // |
| 3 | // This inserts a global constant table with function pointers all along |
| 4 | // |
| 5 | //===----------------------------------------------------------------------===// |
| 6 | |
Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 7 | #include "llvm/Constants.h" |
| 8 | #include "llvm/DerivedTypes.h" |
Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 9 | #include "llvm/Module.h" |
Chris Lattner | c56d239 | 2003-01-14 22:39:29 +0000 | [diff] [blame] | 10 | #include "llvm/Pass.h" |
Anand Shukla | a235e14 | 2003-07-18 20:55:26 +0000 | [diff] [blame^] | 11 | #include "llvm/Support/CFG.h" |
| 12 | |
| 13 | enum Color{ |
| 14 | WHITE, |
| 15 | GREY, |
| 16 | BLACK |
| 17 | }; |
Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 18 | |
Chris Lattner | f629309 | 2002-07-23 18:06:35 +0000 | [diff] [blame] | 19 | namespace { |
| 20 | struct EmitFunctionTable : public Pass { |
| 21 | bool run(Module &M); |
| 22 | }; |
| 23 | |
Chris Lattner | a6275cc | 2002-07-26 21:12:46 +0000 | [diff] [blame] | 24 | RegisterOpt<EmitFunctionTable> X("emitfuncs", "Emit a Function Table"); |
Chris Lattner | f629309 | 2002-07-23 18:06:35 +0000 | [diff] [blame] | 25 | } |
Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 26 | |
Anand Shukla | a235e14 | 2003-07-18 20:55:26 +0000 | [diff] [blame^] | 27 | char doDFS(BasicBlock * node,std::map<BasicBlock *, Color > &color){ |
| 28 | color[node] = GREY; |
| 29 | |
| 30 | for(BasicBlock::succ_iterator vl = succ_begin(node), |
| 31 | ve = succ_end(node); vl != ve; ++vl){ |
| 32 | |
| 33 | BasicBlock *BB = *vl; |
| 34 | |
| 35 | if(color[BB]!=GREY && color[BB]!=BLACK){ |
| 36 | if(!doDFS(BB, color)){ |
| 37 | return 0; |
| 38 | } |
| 39 | } |
| 40 | |
| 41 | //if has backedge |
| 42 | else if(color[BB]==GREY) |
| 43 | return 0; |
| 44 | |
| 45 | } |
| 46 | |
| 47 | color[node] = BLACK; |
| 48 | return 1; |
| 49 | } |
| 50 | |
| 51 | char hasBackEdge(Function *F){ |
| 52 | std::map<BasicBlock *, Color > color; |
| 53 | return doDFS(F->begin(), color); |
| 54 | } |
| 55 | |
Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 56 | // Per Module pass for inserting function table |
| 57 | bool EmitFunctionTable::run(Module &M){ |
Chris Lattner | de579f1 | 2003-05-22 22:00:07 +0000 | [diff] [blame] | 58 | std::vector<const Type*> vType; |
Anand Shukla | a235e14 | 2003-07-18 20:55:26 +0000 | [diff] [blame^] | 59 | |
Chris Lattner | de579f1 | 2003-05-22 22:00:07 +0000 | [diff] [blame] | 60 | std::vector<Constant *> vConsts; |
Anand Shukla | a235e14 | 2003-07-18 20:55:26 +0000 | [diff] [blame^] | 61 | std::vector<Constant *> sBCons; |
| 62 | |
| 63 | unsigned int counter = 0; |
Chris Lattner | de579f1 | 2003-05-22 22:00:07 +0000 | [diff] [blame] | 64 | for(Module::iterator MI = M.begin(), ME = M.end(); MI != ME; ++MI) |
Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 65 | if (!MI->isExternal()) { |
Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 66 | vType.push_back(MI->getType()); |
Anand Shukla | a235e14 | 2003-07-18 20:55:26 +0000 | [diff] [blame^] | 67 | |
| 68 | //std::cerr<<MI; |
| 69 | |
Chris Lattner | de579f1 | 2003-05-22 22:00:07 +0000 | [diff] [blame] | 70 | vConsts.push_back(ConstantPointerRef::get(MI)); |
Anand Shukla | a235e14 | 2003-07-18 20:55:26 +0000 | [diff] [blame^] | 71 | sBCons.push_back(ConstantInt::get(Type::SByteTy, hasBackEdge(MI))); |
| 72 | |
Anand Shukla | 619754f | 2003-06-01 02:40:49 +0000 | [diff] [blame] | 73 | counter++; |
Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 74 | } |
| 75 | |
| 76 | StructType *sttype = StructType::get(vType); |
| 77 | ConstantStruct *cstruct = ConstantStruct::get(sttype, vConsts); |
| 78 | |
Chris Lattner | 4ad02e7 | 2003-04-16 20:28:45 +0000 | [diff] [blame] | 79 | GlobalVariable *gb = new GlobalVariable(cstruct->getType(), true, |
| 80 | GlobalValue::ExternalLinkage, |
Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 81 | cstruct, "llvmFunctionTable"); |
| 82 | M.getGlobalList().push_back(gb); |
Anand Shukla | 619754f | 2003-06-01 02:40:49 +0000 | [diff] [blame] | 83 | |
Anand Shukla | a235e14 | 2003-07-18 20:55:26 +0000 | [diff] [blame^] | 84 | ConstantArray *constArray = ConstantArray::get(ArrayType::get(Type::SByteTy, |
| 85 | sBCons.size()), |
| 86 | sBCons); |
| 87 | |
| 88 | GlobalVariable *funcArray = new GlobalVariable(constArray->getType(), true, |
| 89 | GlobalValue::ExternalLinkage, |
| 90 | constArray, "llvmSimpleFunction"); |
| 91 | |
| 92 | M.getGlobalList().push_back(funcArray); |
| 93 | |
Chris Lattner | fa9ee73 | 2003-06-04 20:08:47 +0000 | [diff] [blame] | 94 | ConstantInt *cnst = ConstantSInt::get(Type::IntTy, counter); |
Anand Shukla | 619754f | 2003-06-01 02:40:49 +0000 | [diff] [blame] | 95 | GlobalVariable *fnCount = new GlobalVariable(Type::IntTy, true, |
| 96 | GlobalValue::ExternalLinkage, |
| 97 | cnst, "llvmFunctionCount"); |
| 98 | M.getGlobalList().push_back(fnCount); |
Anand Shukla | e0b5142 | 2002-07-16 18:58:08 +0000 | [diff] [blame] | 99 | return true; // Always modifies program |
| 100 | } |