mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alvise de Faveri
73c743597b
Separate `ModelToHeader.cpp` into 3 different files: 1. DependencyGraph, used to calculate the precedence between type declarations 2. ModelTypeNames, that holds all the naming logic, whose primitives are accessible from other modules through a public header 3. ModelToHeader, that now contains only the logic to print out declarations and definitions Also add a compilation test for the headers generated by this pass.
61 lines
1.9 KiB
C++
61 lines
1.9 KiB
C++
#include "llvm/ADT/STLExtras.h"
|
|
#include "llvm/Support/Casting.h"
|
|
|
|
#include "revng-c/Support/ModelHelpers.h"
|
|
|
|
model::QualifiedType
|
|
peelConstAndTypedefs(const model::QualifiedType &QT, model::VerifyHelper &VH) {
|
|
model::QualifiedType Result = QT;
|
|
|
|
while (true) {
|
|
|
|
auto QIt = llvm::find_if(Result.Qualifiers, [](const model::Qualifier &Q) {
|
|
return Q.isArrayQualifier() or Q.isPointerQualifier();
|
|
});
|
|
auto QEnd = Result.Qualifiers.end();
|
|
|
|
if (QIt != QEnd)
|
|
return model::QualifiedType(QT.UnqualifiedType, { QIt, QEnd });
|
|
|
|
// If we reach this point, Result has no pointer nor array qualifiers.
|
|
// Let's look at the Unqualified type and unwrap it if it's a typedef.
|
|
using llvm::dyn_cast;
|
|
if (auto *TD = dyn_cast<model::TypedefType>(Result.UnqualifiedType.get())) {
|
|
Result = model::QualifiedType(Result.UnqualifiedType, {});
|
|
} else {
|
|
// If Result is not a typedef we can bail out
|
|
break;
|
|
}
|
|
}
|
|
revng_assert(Result.verify(VH));
|
|
return Result;
|
|
}
|
|
|
|
model::TypePath createEmptyStruct(model::Binary &Binary, uint64_t Size) {
|
|
using namespace model;
|
|
revng_assert(Size > 0 and Size < std::numeric_limits<int64_t>::max());
|
|
TypePath Path = Binary.recordNewType(makeType<model::StructType>());
|
|
model::StructType *NewStruct = llvm::cast<model::StructType>(Path.get());
|
|
NewStruct->Size = Size;
|
|
return Path;
|
|
}
|
|
|
|
bool isEventuallyArray(const model::QualifiedType &QT) {
|
|
const model::QualifiedType *NextQt = &QT;
|
|
|
|
while (NextQt) {
|
|
if (not NextQt->Qualifiers.empty())
|
|
if (NextQt->Qualifiers.back().isArrayQualifier())
|
|
return true;
|
|
|
|
const model::Type *Unqualified = NextQt->UnqualifiedType.get();
|
|
if (const auto *TD = llvm::dyn_cast<model::TypedefType>(Unqualified))
|
|
NextQt = &TD->UnderlyingType;
|
|
else
|
|
NextQt = nullptr;
|
|
}
|
|
|
|
// We've traversed all layers of typedefs and we have never found an array
|
|
// qualifier, hence this is QT is not eventually an array.
|
|
return false;
|
|
} |