admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

RemoveHelperCalls: drop copy of OpaqueRegisterUser

Browse Source
This commit is contained in:
Alessandro Di Federico
2025-10-29 10:20:22 +01:00
parent 46a0af46c8
commit dad1634065
1 changed files with 1 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/BasicAnalyses/RemoveHelperCalls.cpp
+1 -31
View File
@@ -10,37 +10,7 @@
#include "revng/BasicAnalyses/RemoveHelperCalls.h"
#include "revng/Support/IRHelpers.h"
class OpaqueRegisterUser {
private:
llvm::Module *M;
OpaqueFunctionsPool<std::string> Clobberers;
public:
OpaqueRegisterUser(llvm::Module *M) : M(M), Clobberers(M, false) {
using namespace llvm;
Clobberers.setMemoryEffects(MemoryEffects::readOnly());
Clobberers.addFnAttribute(Attribute::NoUnwind);
Clobberers.addFnAttribute(Attribute::WillReturn);
Clobberers.setTags({ &FunctionTags::ClobbererFunction });
Clobberers.initializeFromName(FunctionTags::ClobbererFunction);
}
public:
llvm::StoreInst *clobber(revng::IRBuilder &Builder,
llvm::GlobalVariable *CSV) {
auto *CSVTy = CSV->getValueType();
std::string Name = "clobber_" + CSV->getName().str();
llvm::Function *Clobberer = Clobberers.get(Name, CSVTy, {}, Name);
return Builder.CreateStore(Builder.CreateCall(Clobberer), CSV);
}
llvm::StoreInst *clobber(revng::IRBuilder &Builder,
model::Register::Values Value) {
return clobber(Builder,
M->getGlobalVariable(model::Register::getCSVName(Value)));
}
};
#include "revng/Support/OpaqueRegisterUser.h"
static bool isCallToAbort(const llvm::Instruction *I) {
const llvm::Function *Callee = getCallee(I);