mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Ivan Krysak
76ed261375
Current `init_` prefix used to set the default values of SCVs is very common in typical code, hence it would cause a lot of collisions.
29 lines
826 B
C++
29 lines
826 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 `revng_undefined_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;
|
|
};
|