274e0f298a
EFA: adopt helper registry
2025-04-17 11:19:17 +03:00
aa15d8ca21
Standardize abort-like function usage
2025-04-17 11:19:17 +03:00
57b5eb7f98
NameBuilder: allow different name checkers
2025-04-17 11:19:17 +03:00
433af9ef6e
Adopt the new name deduplication pass
2025-04-17 11:19:17 +03:00
f070f1f1e1
Model: sunset double name system
2025-04-17 11:19:17 +03:00
705e4a5955
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
9e48994c97
EFA: pass the block to the new nodes
...
Before this commit, only its index was passed.
2025-02-13 13:09:50 +02:00
8841bc7144
Don't include model::NameBuilder from the binary
2025-02-13 13:09:50 +02:00
288448f009
Never include model::VerifyHelper from headers
2025-02-13 13:09:50 +02:00
dfe0970715
FromUnusedAddressesPass: use simple literals
...
Consider simple literals as candidates for the second run of function
collection.
2025-01-28 15:20:45 +01:00
a67ba96644
Adopt name builder across the model users
2024-11-06 15:43:13 +02:00
f9fad18cb4
EFA, Yield: handle blockless functions
2024-10-31 17:19:51 +01:00
16e01f43d6
Import revng-c's FunctionTags.h
2024-10-31 17:19:51 +01:00
43f0304cb2
Pipeline: toString -> locationString
2024-10-15 09:12:55 +02:00
fbf79b5d1b
Make Pipe::checkPrecondition optional
2024-09-27 12:07:18 +02:00
c1cbb4e9a0
Initialize pointers to nullptr
2024-09-27 12:07:17 +02:00
2cdedc71f4
s/serialize/toString/
...
We keep serialize for method dealing with streams.
If it returns a `std::string`, let's use `toString`.
2024-09-27 12:07:17 +02:00
c8d4381297
s/Context &Ctx/Context &Context/g
2024-09-27 12:07:17 +02:00
9bdce8e5c4
s/ExecutionContext &Ctx/ExecutionContext &EC/g
2024-09-27 12:07:17 +02:00
12a0a89e15
Ensure every pipe commits what it should
...
This commit is the final step in ensuring all the pipes commit what they
should. It also asserts this actually happens, enabling us to easily
catch future problems.
2024-09-27 12:07:16 +02:00
850276f5c8
Minor changes
2024-09-27 12:07:16 +02:00
744184c90c
Do not use CallBase::getCalledFunction
...
Use our wrapper, which does not return nullptr if the `FunctionType`s do
not match.
2024-08-07 16:07:59 +02:00
06023b4555
BitLivenessWrapperPass::dump
2024-07-10 16:19:26 +02:00
7ddae47040
Minor changes
2024-07-10 15:34:19 +02:00
4a2db0ba4f
UpcastablePointer: streamline empty behavior
2024-06-27 11:05:52 +02:00
823e561806
TTG: rework polymorphic serialization
...
For now, the only serialization trait we were verifying
a polymorphic TTG type to have was the wrong (the one
that only printed base class's fields).
This commit explicitly disables said serializer and
ensures it's never used.
Here's an illustration of the impact of the changes:
```
model::UpcastableType MyType = getTypeFromSomewhere();
model::Type &View = *MyType;
model::PointerType &Pointer = MyType->asPointer();
serialize(MyType); // Good
serialize(Pointer); // Good
serialize(View); // new: explicit error
// old: only print base type's fields
```
2024-06-27 11:05:51 +02:00
dfa7478685
Adopt reworked model::Type
2024-06-27 11:05:51 +02:00
9e6bf29f74
TTG: pull dump helper into the template
2024-06-27 11:05:49 +02:00
927e8006b9
Model: rename TypePath to DefinitionReference
2024-06-27 11:05:49 +02:00
ac587cbb4f
Model: rename Type into TypeDefinition
2024-06-27 11:05:48 +02:00
398681c5ce
Introduce tests for invalidation
2024-06-25 09:50:38 +02:00
b62bc8df91
s/FunctionMetadata/ControlFlowGraph/g
2024-06-20 10:24:51 +02:00
276a6e0efb
s|ControlFlowGraph.h|CFGHelpers.h|g
2024-06-20 10:24:51 +02:00
6e49fed965
FunctionMetadata::{ControlFlowGraph,Blocks}
2024-06-20 10:24:51 +02:00
553d869d03
Drop Pipe::print method
2024-06-20 10:24:51 +02:00
148e6b1979
Rename all LLVMContainer arguments
2024-06-20 10:24:51 +02:00
bce1d6c0f3
Adopt invalidation along the core pipeline
2024-06-20 10:24:50 +02:00
7553e2acf8
Introduce UniquedBy{Prototype,Metadata}
...
This commit introduces new tags to specify how LLVMContainer should
deduplicate sets of equivalent functions, typically managed by an
`OpaqueFunctionPool`.
2024-06-20 10:24:50 +02:00
f783868dde
Model: adopt tryGet instead of find() != end()
2024-06-20 09:57:36 +02:00
3e33a300d5
Introduce RawFunctionType::Architecture
2024-05-29 15:42:15 +02:00
b273caa8dc
FunctionMetadata::findBlock: do not ignore IBDHB
2024-05-15 13:19:42 +02:00
452036edf1
Purge instructions to save return address
2024-04-30 15:25:53 +02:00
0459b9d084
Introduce RegisterUsageAnalyses
2024-04-19 18:33:00 +02:00
ba65443293
DetectABI call graph: no multiple identical edges
2024-04-18 17:55:22 +02:00
53f0c71d3b
FunctionMetadata::dumpCFG: dump to file
2024-04-05 13:29:15 +02:00
dda484d642
FunctionMetadata::simplify: use .nextBlock()
...
Before we were using `.End()` which lead to lose the inlining index.
2024-04-05 13:28:31 +02:00
df3bd470a1
Enforce determinism on CSV handling
...
Various parts of revng replace `llvm::GlobalVariable`s representing CSVs
with Allocal/Load/Store. In particular, these are PromoteCSV,
RootAnalyzer and PromoteGlobalToLocalVars.
Before this commit, those places were sloppy when replacing CSVs with
Alloca/Load/Store, and did that iterating on a container sorted by
pointers. This caused Alloca/Load/Store to be emitted in different order
accross runs, which in turn caused more non-determinism down the
pipeline.
This commit fixes the non-deterministic behavior, sorting CSVs based on
their names, which should always be present and deterministic.
2024-03-19 09:43:59 +01:00
89b454a224
EFA: improve robustness against non-existent FSO
2024-03-18 19:32:35 +01:00
6b7650276e
EFA: split importModel into multiple methods
2024-03-18 19:32:34 +01:00
5afba1382c
EFA: update clobbered register list computation
2024-03-18 19:32:34 +01:00
Ivan Krysak