19b2b23ce7
Dropped the steps in favor of begin steps
2022-03-10 13:51:28 +01:00
8852c73cf9
Add global serialization
2022-03-10 13:51:28 +01:00
807d9d56ba
Introduce serialization primitives for containers
2022-03-10 13:51:28 +01:00
091376ddfa
Added kind verification
2022-03-10 13:51:28 +01:00
8032142c92
Renamed Pass Name to Type in the yml dsl
2022-03-10 13:51:28 +01:00
0aaead45ab
Add: Command line explanation of pipes invocation
2022-03-10 13:51:28 +01:00
9b7a81f3f2
Drop: pipeline implicit rank 0
2022-03-10 13:51:28 +01:00
c0f3e34a6a
Add pipelineC invalidation trigger
2022-03-10 13:51:28 +01:00
b12760ccf2
Add invalidate all pipeline manager
2022-03-10 13:51:28 +01:00
f53f062e41
TupleTreeDiff<Binary> now compiles
2022-03-10 13:51:28 +01:00
ddd80f34ec
Model Invalidation Event
2022-03-10 13:51:28 +01:00
37b1dbd6c0
Implement remove on FileContainer
2022-03-10 13:51:28 +01:00
e7d3d6a211
Fix: llvm container mergeBack
2022-03-10 13:51:28 +01:00
de9fb4ae7e
Add CallGraphCache
2022-03-10 13:51:28 +01:00
269d729554
FilteredGraphs: add filter() method
...
The method allows to access the filter function and is useful for
templating.
2022-03-02 15:40:27 +01:00
0659e6b6a3
Model: Improve getCallSitePrototype() helper
...
1. Hoist the logic to retrieve a model CallEdge from an llvm::CallInst
out of `getCallSitePrototype()`, in a separate `getCallEdge()`
function.
2. Modify `getCallSitePrototype()` so that the parent function's type is
optional.
2022-03-02 15:40:27 +01:00
ea53846fa0
Add Qualifier::createPointer(Architecture)
2022-03-02 15:40:27 +01:00
62b5ec38cd
Add CallEdge::isDirect()
2022-03-02 15:40:27 +01:00
e798131082
O2Pipe: fix pipe name
2022-03-02 15:40:27 +01:00
b982b69c5d
revng-model-inject: support model-less modules
...
Inject is meant to inject a model into an `llvm::Module`, but it fails
when operating on a Module that had no model metadata.
This commit fixes the bug.
2022-03-02 15:40:27 +01:00
984aea88ae
Minor changes
2022-02-25 00:32:46 +01:00
868970c5e7
ABI: specify stack alignment
2022-02-25 00:32:01 +01:00
fca0df8dd2
ABI: specify who's responsible for stack cleanup
2022-02-25 00:31:37 +01:00
2c35fc87d5
Conversion to RawFunctionType cannot fail
2022-02-25 00:31:14 +01:00
b14fee7515
Implement abi::FunctionType::layout()
...
The `Layout` data structure works as a common view over
`RawFunctionType` and `CABIFunctionType`.
2022-02-25 00:30:14 +01:00
541643afc3
Move function type conversion to librevngABI
2022-02-24 23:56:30 +01:00
8511cbf40b
tuple_tree_generator: drop tags
...
They were more harmful than beneficial.
2022-02-23 17:36:34 +01:00
10dc6744b4
mv include/revng/{Model,TupleTree}/EnumTraits.h
...
`EnumTraits.h` is not model-specific.
2022-02-23 17:32:50 +01:00
242b885a78
Remove obsolete ABI utilities
2022-02-14 13:35:37 +01:00
371f5c4555
Implement ABI-based register state deductions
...
This will help EarlyFunctionAnalysis in providing more accurate results,
in case assumptions about the ABI can be made.
2022-02-14 13:35:37 +01:00
9771ae29d6
Move RegisterState to ABI
2022-02-14 13:35:37 +01:00
cafe44097b
ABI: introduce default function type generation
2022-02-14 13:35:37 +01:00
8d876b0def
ABI: introduce bulk function conversion
2022-02-14 13:35:37 +01:00
e20e65ca9a
Require a description when registering a pass
2022-02-14 13:35:36 +01:00
7369e49eba
Implement "best effort" function type convertion
2022-02-14 13:35:36 +01:00
5c671e8446
Add abi::Trait specialization for s390x ABI
2022-02-14 13:35:36 +01:00
75c00f5112
Add abi::Trait specialization for mips ABI
2022-02-14 13:35:36 +01:00
c9daab2ce4
Add abi::Trait specializations for arm ABIs
2022-02-14 13:35:36 +01:00
4069d547b6
Add abi::Trait specializations for x86 ABIs
2022-02-14 13:35:36 +01:00
756d0f7376
Add abi::Trait specializations for x86_64 ABIs
2022-02-14 13:35:36 +01:00
d30c4c54fb
Introduce trait to describe ABIs
2022-02-14 13:35:36 +01:00
68129c9221
Add model::Binary::DefaultABI field
2022-02-14 13:35:36 +01:00
d108f7f049
Extend model::ABI enumeration
2022-02-14 11:28:36 +01:00
c14567e3d0
Make TupleTree::visitReferences public
2022-02-14 11:28:36 +01:00
fd3e7243c1
Remove an unused parameter from TupleTree::clone
2022-02-14 11:28:36 +01:00
ec625e8533
Define architecture-specific register access
2022-02-14 11:28:36 +01:00
9b7eb76ac4
Introduce enumSwitch
2022-02-14 11:28:36 +01:00
3bb266125c
Add always_true and always_false traits
2022-02-14 10:57:10 +01:00
a21dff02de
Add additional registers to the model
2022-02-14 10:57:00 +01:00
7151c587f9
Prevent TupleTreeReference::isValid() asserts
2022-02-14 10:56:50 +01:00
Massimo Fioravanti