blob: 18360f837e93a40cb12c57f548bac8423a48df80 [file] [log] [blame]
Chris Lattner781e6f52002-07-29 21:24:10 +00001//===- AnalysisWrappers.cpp - Wrappers around non-pass analyses -----------===//
Misha Brukman3da94ae2005-04-22 00:00:37 +00002//
John Criswell7c0e0222003-10-20 17:47:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner21c62da2007-12-29 20:44:31 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman3da94ae2005-04-22 00:00:37 +00007//
John Criswell7c0e0222003-10-20 17:47:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner781e6f52002-07-29 21:24:10 +00009//
10// This file defines pass wrappers around LLVM analyses that don't make sense to
11// be passes. It provides a nice standard pass interface to these classes so
12// that they can be printed out by analyze.
13//
Misha Brukmanbc0e9982003-07-14 17:20:40 +000014// These classes are separated out of analyze.cpp so that it is more clear which
Chris Lattner781e6f52002-07-29 21:24:10 +000015// code is the integral part of the analyze tool, and which part of the code is
16// just making it so more passes are available.
17//
18//===----------------------------------------------------------------------===//
19
Chris Lattnerd9572112004-05-27 06:13:36 +000020#include "llvm/Module.h"
Chris Lattner04eaef22004-04-02 20:56:33 +000021#include "llvm/Pass.h"
Chris Lattnerd9572112004-05-27 06:13:36 +000022#include "llvm/Support/CallSite.h"
Chris Lattner171eee52005-12-22 19:26:06 +000023#include "llvm/Analysis/CallGraph.h"
Dan Gohman65f57c22009-07-15 16:35:29 +000024#include "llvm/Support/raw_ostream.h"
Reid Spencer86f42bd2004-07-04 12:20:55 +000025#include <iostream>
Brian Gaeked0fde302003-11-11 22:41:34 +000026using namespace llvm;
27
Chris Lattner781e6f52002-07-29 21:24:10 +000028namespace {
Chris Lattnerd9572112004-05-27 06:13:36 +000029 /// ExternalFunctionsPassedConstants - This pass prints out call sites to
30 /// external functions that are called with constant arguments. This can be
31 /// useful when looking for standard library functions we should constant fold
32 /// or handle in alias analyses.
Chris Lattnerb12914b2004-09-20 04:48:05 +000033 struct ExternalFunctionsPassedConstants : public ModulePass {
Devang Patel19974732007-05-03 01:11:54 +000034 static char ID; // Pass ID, replacement for typeid
Dan Gohman865f0062009-02-18 05:09:16 +000035 ExternalFunctionsPassedConstants() : ModulePass(&ID) {}
Chris Lattnerb12914b2004-09-20 04:48:05 +000036 virtual bool runOnModule(Module &M) {
Chris Lattner45cfe542009-08-23 06:03:38 +000037 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I) {
38 if (!I->isDeclaration()) continue;
39
40 bool PrintedFn = false;
41 for (Value::use_iterator UI = I->use_begin(), E = I->use_end();
42 UI != E; ++UI) {
43 Instruction *User = dyn_cast<Instruction>(*UI);
44 if (!User) continue;
45
46 CallSite CS = CallSite::get(User);
47 if (!CS.getInstruction()) continue;
48
49 for (CallSite::arg_iterator AI = CS.arg_begin(),
50 E = CS.arg_end(); AI != E; ++AI) {
51 if (!isa<Constant>(*AI)) continue;
52
53 if (!PrintedFn) {
54 errs() << "Function '" << I->getName() << "':\n";
55 PrintedFn = true;
Chris Lattnerd9572112004-05-27 06:13:36 +000056 }
Chris Lattner45cfe542009-08-23 06:03:38 +000057 errs() << *User;
58 break;
59 }
Chris Lattnerd9572112004-05-27 06:13:36 +000060 }
Chris Lattner45cfe542009-08-23 06:03:38 +000061 }
Chris Lattnerd9572112004-05-27 06:13:36 +000062
63 return false;
64 }
65
Chris Lattnerd9572112004-05-27 06:13:36 +000066 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
67 AU.setPreservesAll();
68 }
69 };
70
Devang Patel19974732007-05-03 01:11:54 +000071 char ExternalFunctionsPassedConstants::ID = 0;
Chris Lattner5d8925c2006-08-27 22:30:17 +000072 RegisterPass<ExternalFunctionsPassedConstants>
Duncan Sands3ee8fc92008-09-23 12:47:39 +000073 P1("print-externalfnconstants",
74 "Print external fn callsites passed constants");
Duncan Sandse65d39a2008-09-19 07:57:09 +000075
Chris Lattner171eee52005-12-22 19:26:06 +000076 struct CallGraphPrinter : public ModulePass {
Devang Patel19974732007-05-03 01:11:54 +000077 static char ID; // Pass ID, replacement for typeid
Dan Gohman865f0062009-02-18 05:09:16 +000078 CallGraphPrinter() : ModulePass(&ID) {}
Devang Patel794fd752007-05-01 21:15:47 +000079
Chris Lattner171eee52005-12-22 19:26:06 +000080 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
81 AU.setPreservesAll();
Chris Lattner8257bee2006-12-05 19:43:42 +000082 AU.addRequiredTransitive<CallGraph>();
Chris Lattner171eee52005-12-22 19:26:06 +000083 }
Duncan Sandse65d39a2008-09-19 07:57:09 +000084 virtual bool runOnModule(Module &M) {
Chris Lattner45cfe542009-08-23 06:03:38 +000085 getAnalysis<CallGraph>().print(errs(), &M);
Duncan Sandse65d39a2008-09-19 07:57:09 +000086 return false;
Chris Lattner171eee52005-12-22 19:26:06 +000087 }
88 };
Duncan Sandse65d39a2008-09-19 07:57:09 +000089
Devang Patel19974732007-05-03 01:11:54 +000090 char CallGraphPrinter::ID = 0;
Chris Lattner5d8925c2006-08-27 22:30:17 +000091 RegisterPass<CallGraphPrinter>
Duncan Sands3ee8fc92008-09-23 12:47:39 +000092 P2("print-callgraph", "Print a call graph");
Chris Lattnerd9572112004-05-27 06:13:36 +000093}