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

newpc: add nomerge, willreturn, nounwind

Browse Source
This commit is contained in:
Alessandro Di Federico
2023-10-06 14:04:14 +02:00
parent 84fd26deb9
commit 1c40132242
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/Lift/InstructionTranslator.cpp
+4
View File
@@ -12,6 +12,7 @@
#include <sstream>
#include "llvm/ADT/STLExtras.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/CFG.h"
#include "llvm/IR/Intrinsics.h"
@@ -503,6 +504,9 @@ IT::InstructionTranslator(IRBuilder<> &Builder,
"newpc",
&TheModule);
FunctionTags::Marker.addTo(NewPCMarker);
NewPCMarker->addFnAttr(Attribute::WillReturn);
NewPCMarker->addFnAttr(Attribute::NoUnwind);
NewPCMarker->addFnAttr(Attribute::NoMerge);
}
void IT::finalizeNewPCMarkers() {