mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-07-18 12:29:27 +00:00
dd298c8c6e
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12294 91177308-0d34-0410-b5e6-96231b3b80d8
63 lines
2.1 KiB
C++
63 lines
2.1 KiB
C++
//===- llvm/Analysis/FindUnsafePointerTypes.h - Unsafe pointers -*- C++ -*-===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file was developed by the LLVM research group and is distributed under
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file defines a pass that can be used to determine, interprocedurally,
|
|
// which pointer types are accessed unsafely in a program. If there is an
|
|
// "unsafe" access to a specific pointer type, transformations that depend on
|
|
// type safety cannot be permitted.
|
|
//
|
|
// The result of running this analysis over a program is a set of unsafe pointer
|
|
// types that cannot be transformed. Safe pointer types are not tracked.
|
|
//
|
|
// Additionally, this analysis exports a hidden command line argument that (when
|
|
// enabled) prints out the reasons a type was determined to be unsafe. Just add
|
|
// -printunsafeptrinst to the command line of the tool you want to get it.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_ANALYSIS_UNSAFEPOINTERTYPES_H
|
|
#define LLVM_ANALYSIS_UNSAFEPOINTERTYPES_H
|
|
|
|
#include "llvm/Pass.h"
|
|
#include <set>
|
|
|
|
namespace llvm {
|
|
|
|
class PointerType;
|
|
|
|
struct FindUnsafePointerTypes : public Pass {
|
|
// UnsafeTypes - Set of types that are not safe to transform.
|
|
std::set<PointerType*> UnsafeTypes;
|
|
public:
|
|
// Accessor for underlying type set...
|
|
inline const std::set<PointerType*> &getUnsafeTypes() const {
|
|
return UnsafeTypes;
|
|
}
|
|
|
|
/// run - Inspect the operations that the specified module does on
|
|
/// values of various types. If they are deemed to be 'unsafe' note that the
|
|
/// type is not safe to transform.
|
|
///
|
|
virtual bool run(Module &M);
|
|
|
|
/// print - Loop over the results of the analysis, printing out unsafe types.
|
|
///
|
|
void print(std::ostream &o, const Module *Mod) const;
|
|
|
|
/// getAnalysisUsage - Of course, we provide ourself...
|
|
///
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
|
AU.setPreservesAll();
|
|
}
|
|
};
|
|
|
|
} // End llvm namespace
|
|
|
|
#endif
|