blob: 2fe5d226ec761658ac2e5aeda4805166eeab5c41 [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"
Brian Gaeked0fde302003-11-11 22:41:34 +000025using namespace llvm;
26
Chris Lattner781e6f52002-07-29 21:24:10 +000027namespace {
Chris Lattnerd9572112004-05-27 06:13:36 +000028 /// ExternalFunctionsPassedConstants - This pass prints out call sites to
29 /// external functions that are called with constant arguments. This can be
30 /// useful when looking for standard library functions we should constant fold
31 /// or handle in alias analyses.
Chris Lattnerb12914b2004-09-20 04:48:05 +000032 struct ExternalFunctionsPassedConstants : public ModulePass {
Devang Patel19974732007-05-03 01:11:54 +000033 static char ID; // Pass ID, replacement for typeid
Owen Anderson90c579d2010-08-06 18:33:48 +000034 ExternalFunctionsPassedConstants() : ModulePass(ID) {}
Chris Lattnerb12914b2004-09-20 04:48:05 +000035 virtual bool runOnModule(Module &M) {
Chris Lattner45cfe542009-08-23 06:03:38 +000036 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I) {
37 if (!I->isDeclaration()) continue;
38
39 bool PrintedFn = false;
40 for (Value::use_iterator UI = I->use_begin(), E = I->use_end();
41 UI != E; ++UI) {
42 Instruction *User = dyn_cast<Instruction>(*UI);
43 if (!User) continue;
44
Gabor Greif7d3056b2010-07-28 22:50:26 +000045 CallSite CS(cast<Value>(User));
46 if (!CS) continue;
Chris Lattner45cfe542009-08-23 06:03:38 +000047
48 for (CallSite::arg_iterator AI = CS.arg_begin(),
49 E = CS.arg_end(); AI != E; ++AI) {
50 if (!isa<Constant>(*AI)) continue;
51
52 if (!PrintedFn) {
53 errs() << "Function '" << I->getName() << "':\n";
54 PrintedFn = true;
Chris Lattnerd9572112004-05-27 06:13:36 +000055 }
Chris Lattner45cfe542009-08-23 06:03:38 +000056 errs() << *User;
57 break;
58 }
Chris Lattnerd9572112004-05-27 06:13:36 +000059 }
Chris Lattner45cfe542009-08-23 06:03:38 +000060 }
Chris Lattnerd9572112004-05-27 06:13:36 +000061
62 return false;
63 }
64
Chris Lattnerd9572112004-05-27 06:13:36 +000065 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
66 AU.setPreservesAll();
67 }
68 };
69
Devang Patel19974732007-05-03 01:11:54 +000070 char ExternalFunctionsPassedConstants::ID = 0;
Chris Lattner5d8925c2006-08-27 22:30:17 +000071 RegisterPass<ExternalFunctionsPassedConstants>
Duncan Sands3ee8fc92008-09-23 12:47:39 +000072 P1("print-externalfnconstants",
73 "Print external fn callsites passed constants");
Duncan Sandse65d39a2008-09-19 07:57:09 +000074
Chris Lattner171eee52005-12-22 19:26:06 +000075 struct CallGraphPrinter : public ModulePass {
Devang Patel19974732007-05-03 01:11:54 +000076 static char ID; // Pass ID, replacement for typeid
Owen Anderson90c579d2010-08-06 18:33:48 +000077 CallGraphPrinter() : ModulePass(ID) {}
Devang Patel794fd752007-05-01 21:15:47 +000078
Chris Lattner171eee52005-12-22 19:26:06 +000079 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
80 AU.setPreservesAll();
Chris Lattner8257bee2006-12-05 19:43:42 +000081 AU.addRequiredTransitive<CallGraph>();
Chris Lattner171eee52005-12-22 19:26:06 +000082 }
Duncan Sandse65d39a2008-09-19 07:57:09 +000083 virtual bool runOnModule(Module &M) {
Chris Lattner45cfe542009-08-23 06:03:38 +000084 getAnalysis<CallGraph>().print(errs(), &M);
Duncan Sandse65d39a2008-09-19 07:57:09 +000085 return false;
Chris Lattner171eee52005-12-22 19:26:06 +000086 }
87 };
Duncan Sandse65d39a2008-09-19 07:57:09 +000088
Devang Patel19974732007-05-03 01:11:54 +000089 char CallGraphPrinter::ID = 0;
Chris Lattner5d8925c2006-08-27 22:30:17 +000090 RegisterPass<CallGraphPrinter>
Duncan Sands3ee8fc92008-09-23 12:47:39 +000091 P2("print-callgraph", "Print a call graph");
Chris Lattnerd9572112004-05-27 06:13:36 +000092}