34 lines
1.3 KiB
C
34 lines
1.3 KiB
C
|
//===- CalledValuePropagation.h - Propagate called values -------*- C++ -*-===//
|
||
|
|
//
|
||
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
||
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
||
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
||
|
|
//
|
||
|
|
//===----------------------------------------------------------------------===//
|
||
|
|
//
|
||
|
|
// This file implements a transformation that attaches !callees metadata to
|
||
|
|
// indirect call sites. For a given call site, the metadata, if present,
|
||
|
|
// indicates the set of functions the call site could possibly target at
|
||
|
|
// run-time. This metadata is added to indirect call sites when the set of
|
||
|
|
// possible targets can be determined by analysis and is known to be small. The
|
||
|
|
// analysis driving the transformation is similar to constant propagation and
|
||
|
|
// makes uses of the generic sparse propagation solver.
|
||
|
|
//
|
||
|
|
//===----------------------------------------------------------------------===//
|
||
|
|
|
||
|
|
#ifndef LLVM_TRANSFORMS_IPO_CALLEDVALUEPROPAGATION_H
|
||
|
|
#define LLVM_TRANSFORMS_IPO_CALLEDVALUEPROPAGATION_H
|
||
|
|
|
||
|
|
#include "llvm/IR/PassManager.h"
|
||
|
|
|
||
|
|
namespace llvm {
|
||
|
|
|
||
|
|
class CalledValuePropagationPass
|
||
|
|
: public PassInfoMixin<CalledValuePropagationPass> {
|
||
|
|
public:
|
||
|
|
PreservedAnalyses run(Module &M, ModuleAnalysisManager &);
|
||
|
|
};
|
||
|
|
} // namespace llvm
|
||
|
|
|
||
|
|
#endif // LLVM_TRANSFORMS_IPO_CALLEDVALUEPROPAGATION_H
|