6b472471bf
InvokeIsolatedFunctions: handle missing functions
2025-12-22 11:34:47 +01:00
ce4f6ef996
llvmName: turn into a free function
2025-12-22 11:34:46 +01:00
a1f9bd2d16
Minor changes
2025-12-22 11:34:46 +01:00
e8b55583e6
isolate: outline function splitting in function
...
Outline the code responsible for splitting an isolated function into its
own `llvm::Module` in a separate function.
2025-12-19 10:29:28 +01:00
664eb497c1
isolate: selectively clone helpers
...
When performing `cloneFiltered`, instead of cloning all the helper
functions only clone those that are transitively called from the isolated
function.
2025-12-19 10:29:28 +01:00
7f7f9571a8
pypeline: implement container discarding
...
Add infrastructure to pypeline that allows containers to be notified
when they are being used last, this allows two things:
* `Pipe`s eagerly clearing those containers once they are done reading
their contents
* `ScheduledTask`s clearing those out at the end of their execution in
case the pipe did not do it
This overall should improve memory usage as container no longer take up
memory if they are no longer used as part of a `Schedule`.
2025-12-19 10:29:28 +01:00
3d2015a233
isolate: implement trivial memory optimizations
...
Implement trivial memory optimizations on the `isolate` pipe:
* Clone the `root` module right away to the correct context before
performing isolation
* Delete the `root` function's body right after isolation
* Delete the isolated function body from the cloned module after it has
been `cloneFiltered`-ed into the output container
2025-12-19 10:28:29 +01:00
5820908675
Remove and ban \file
2025-12-16 17:41:55 +01:00
1632aeac73
Comment run* function with inlinable content
...
Add `TODO` comments to piperuns' `run*` functions that will have content
inlined once the old pipeline is removed.
2025-12-10 16:16:14 +01:00
19f67c8223
Introduce LLVMFunctionMixin
...
Add a mixin class for piperuns that work on an LLVM module and need
both the model function and the `llvm::Function`. Pipe that inherit this
mixin will receive both the model and LLVM function in the
`runOnLLVMFunction` method.
2025-12-10 15:05:53 +01:00
296eb9a76f
Make SingleOutputPipe uniform to other piperuns
...
Make the interface required by `SingleOutputPipe` similar to other
piperuns by requiring a constructor, the use of `PipeRunArgument`s and
the implementation of a non-static `run` function.
2025-12-10 15:05:53 +01:00
ca3c5113d9
Add recompile-isolated to pypeline
2025-11-18 17:47:54 +01:00
77f925c792
Add PromoteCSVs to pypeline
2025-11-18 17:47:54 +01:00
a685cd1055
Add EnforceABI to pypeline
2025-11-18 17:47:54 +01:00
0df05f97b7
Add Isolate to pypeline
2025-11-18 17:47:54 +01:00
c883bed765
Drop Logger's StaticEnabled feature
2025-10-31 17:25:03 +01:00
ecc88b156d
IsolateFunctions: Unexpected is no direct branch
2025-10-29 15:10:18 +01:00
e81dbfd898
Minor changes
2025-10-29 10:56:50 +01:00
1e55635b65
Introduce efa::FunctionEdgeType::Unexpected
2025-10-24 18:23:23 +02:00
4fb6b5f4e1
Minor changes
2025-10-24 18:20:48 +02:00
f8bd4c3bac
Move around some files in preparation for libtcg
...
* Make the following private headers public:
* Lift/CPUStateAccessAnalysisPass.h
* Lift/CSVOffsets.h
* Lift/PTCDump.h
* Lift/VariableManager.h
* Move from revngSupport to revngLift:
* IRAnnotators.{h,cpp}
* SelfReferencingDbgAnnotationWriter.{h,cpp}
* Move from revngSupport to revngModel:
* FunctionTags.{h,cpp}
* ProgramCounterHandler.{h,cpp}
* Move from revngSupport to revngRecompile:
* OriginalAssemblyAnnotationWriter.{h,cpp}
2025-10-24 15:34:11 +02:00
2ba5ca3e3d
Suppress selected IRBuilder checks
2025-10-21 19:17:37 +03:00
3561c2b907
Adopt IRBuilder wrapper
2025-10-21 19:17:01 +03:00
ecb9d76c64
Model: drop obsolete default value handling
2025-10-13 18:33:10 +03:00
e56f543b1a
Split module.bc.zstd
2025-10-13 10:26:41 +03:00
dadd836035
MetaAddress: assert validity
2025-10-08 12:22:34 +03:00
5bc4ae45de
RemoveExceptionalCalls: preserve debug information
2025-09-10 17:44:01 +02:00
a285ad2785
IRHelperRegister: get a comment from Description
2025-07-23 11:38:53 +02:00
71988af041
Fix MIT license
2025-04-30 16:10:54 +02:00
5d0986c315
FunctionIsolation: 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
dce5c1a02c
NamingConfiguration: pull more prefixes inside
...
Unify additional values that used to be hardcoded in the old backend
under the same naming configuration root.
2025-04-17 11:19:17 +03:00
f070f1f1e1
Model: sunset double name system
2025-04-17 11:19:17 +03:00
3edb6cbb9b
Minor improvements
2025-04-15 16:35:42 +03:00
705e4a5955
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
8841bc7144
Don't include model::NameBuilder from the binary
2025-02-13 13:09:50 +02:00
a67ba96644
Adopt name builder across the model users
2024-11-06 15:43:13 +02:00
1eb80ecd2d
Introduce an error creation helper
2024-11-06 15:20:37 +02:00
a12f5d9e97
Minor improvements
2024-11-04 18:51:12 +02:00
c97438c5e4
DynamicHierarchy: ensure we call init last
2024-10-31 17:19:51 +01: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
20b2f97484
EnforceABI: register all recreated functions
...
Before this change, we were remapping from old to new only functions
that have been requested. Now, we remap also those that are just called.
2024-09-27 12:07:16 +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
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
ae7e7a0bc7
IsolateFunctions: add tracing
2024-08-07 16:07:59 +02:00
Alessandro Di Federico