Files
revng-revng/include/revng/PromoteStackPointer/InstrumentStackAccessesPass.h
Alessandro Di Federico 143c315196 Merge revng-c into revng
2024-11-21 10:50:55 +01:00

29 lines
810 B
C++

#pragma once
//
// This file is distributed under the MIT License. See LICENSE.md for details.
//
#include "llvm/Pass.h"
#include "revng/Support/FunctionTags.h"
/// Wrap stack accesses into StackOffsetMarker-tagged calls
///
/// stack_offset is an identity-like function with a second argument
/// representing the range of offsets from SP0 that the pointer passed in as the
/// first argument can assume.
///
/// \note This pass looks for all the users of `_init_local_sp`, therefore
/// it needs to be run *after* `PromoteStackPointerPass`
struct InstrumentStackAccessesPass : public llvm::ModulePass {
public:
static char ID;
InstrumentStackAccessesPass() : llvm::ModulePass(ID) {}
void getAnalysisUsage(llvm::AnalysisUsage &AU) const override;
bool runOnModule(llvm::Module &M) override;
};