blob: f548d007d78ede72d0f287908d24080bbf0b68a8 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===- AnalysisWrappers.cpp - Wrappers around non-pass analyses -----------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5f5a5732007-12-29 20:44:31 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
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//
14// These classes are separated out of analyze.cpp so that it is more clear which
15// 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
20#include "llvm/Module.h"
21#include "llvm/Pass.h"
22#include "llvm/Support/CallSite.h"
23#include "llvm/Analysis/CallGraph.h"
Dan Gohmanf8b81bf2009-07-15 16:35:29 +000024#include "llvm/Support/raw_ostream.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025using namespace llvm;
26
27namespace {
28 /// 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.
32 struct ExternalFunctionsPassedConstants : public ModulePass {
33 static char ID; // Pass ID, replacement for typeid
Dan Gohmanc74a1972009-02-18 05:09:16 +000034 ExternalFunctionsPassedConstants() : ModulePass(&ID) {}
Dan Gohmanf17a25c2007-07-18 16:29:46 +000035 virtual bool runOnModule(Module &M) {
Chris Lattner397f4562009-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
45 CallSite CS = CallSite::get(User);
46 if (!CS.getInstruction()) continue;
47
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;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000055 }
Chris Lattner397f4562009-08-23 06:03:38 +000056 errs() << *User;
57 break;
58 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +000059 }
Chris Lattner397f4562009-08-23 06:03:38 +000060 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +000061
62 return false;
63 }
64
65 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
66 AU.setPreservesAll();
67 }
68 };
69
70 char ExternalFunctionsPassedConstants::ID = 0;
71 RegisterPass<ExternalFunctionsPassedConstants>
Duncan Sandsd10d6f72008-09-23 12:47:39 +000072 P1("print-externalfnconstants",
73 "Print external fn callsites passed constants");
Duncan Sandsf7dbeb32008-09-19 07:57:09 +000074
Dan Gohmanf17a25c2007-07-18 16:29:46 +000075 struct CallGraphPrinter : public ModulePass {
76 static char ID; // Pass ID, replacement for typeid
Dan Gohmanc74a1972009-02-18 05:09:16 +000077 CallGraphPrinter() : ModulePass(&ID) {}
Dan Gohmanf17a25c2007-07-18 16:29:46 +000078
79 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
80 AU.setPreservesAll();
81 AU.addRequiredTransitive<CallGraph>();
82 }
Duncan Sandsf7dbeb32008-09-19 07:57:09 +000083 virtual bool runOnModule(Module &M) {
Chris Lattner397f4562009-08-23 06:03:38 +000084 getAnalysis<CallGraph>().print(errs(), &M);
Duncan Sandsf7dbeb32008-09-19 07:57:09 +000085 return false;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000086 }
87 };
Duncan Sandsf7dbeb32008-09-19 07:57:09 +000088
Dan Gohmanf17a25c2007-07-18 16:29:46 +000089 char CallGraphPrinter::ID = 0;
90 RegisterPass<CallGraphPrinter>
Duncan Sandsd10d6f72008-09-23 12:47:39 +000091 P2("print-callgraph", "Print a call graph");
Dan Gohmanf17a25c2007-07-18 16:29:46 +000092}