354ba42b7d
LLVMContainer: s/REVNG/revng./g
2022-11-23 10:43:33 +01:00
bcd02cc4de
LLVMContainer: infect DataLayouts upon linking
2022-11-23 10:43:33 +01:00
497836bb0c
Pipeline: only remove targets in the container
...
This commit ensures that only content that is actually inside a
container is elegible to be removed.
2022-11-23 10:43:33 +01:00
4c15f17dcf
FunctionType::Layout: introduce argument kind
...
This commit introduces a `Kind` for arguments described in
`FunctionType::Layout`. We nowe basically have three types of arguments:
* Scalar: a regular scarlar argument;
* ReferenceToAggregate: a reference to an aggregete argument on the
stack;
* ShadowPointerToAggregateReturnValue: a pointer to the storage for the
(aggregate) return value allocated by the caller;
2022-11-23 10:41:18 +01:00
3196e8b371
Layout: add support for multiple return values
2022-11-23 09:26:01 +01:00
bf8a212281
ABI: remove MinimumStackArgumentSize value
...
The architecture-specific pointer (generic register) size is used
instead.
For all the ABIs we support the value of this parameter was already
set to its pointer size. We might need to reintroduce the parameter
in the future if we want to support a super-exotic ABI with different
stack alignment requirements, but that seems highly unlikely.
This also introduces the argument extension helper for one stop all
treating small arguments when they are put into a register or pushed
into the stack.
2022-11-23 09:26:01 +01:00
c8ca9ffd77
STLExtras: add constepxr version of find
2022-11-23 09:26:01 +01:00
f912ebf9b9
Model: associate a primitive kind to each register
2022-11-23 09:26:01 +01:00
d7867e0e7e
QualifiedType: add argument-less isPrimitive()
2022-11-23 09:26:01 +01:00
4eced0adc4
Move pointer creation away from model::Binary
2022-11-23 09:26:01 +01:00
3441c6d136
DwarfImport: fix handling of local functions
2022-11-23 09:26:01 +01:00
044071435e
Fix handling of binaries with no functions
...
Fix various edge cases when a binary with no functions was analyzed.
2022-11-22 16:19:28 +01:00
0bfb73fe95
FunctionMetadata: introduce cache
...
FunctionMetadata was being deserialized every time they were
inspected. This commit introduces a cache structure to prevent this
excessive deserializations.
2022-11-22 14:15:00 +01:00
764c7efbb8
Make isCallTo accept any llvm::Value *
2022-11-22 10:12:34 +01:00
fd0914b460
QualifiedType: add isConst method
2022-11-22 10:12:31 +01:00
4334481894
UpcastablePointer: upcast with mutable callables
2022-11-15 14:15:20 +01:00
fb7edef129
Add ptml::scopeTag helper function
2022-11-15 14:15:20 +01:00
7526d72492
Kinds: exposed locations produced
...
Expose the locations that can be found in each kind
2022-11-11 13:43:55 +01:00
d185fc80ac
Rank: fix RankConvertibleTo with RootRank
...
RankConvertibleTo would be erroneously fail when used with a RootRank
either in the From or To template parameter.
2022-11-11 13:43:55 +01:00
fa30486ce0
Outliner: create extractor cache once
2022-11-10 19:41:42 +01:00
ad0f1163b2
AVI: increase performance by caching successors
2022-11-10 19:40:11 +01:00
0b80801b2b
TupleTreeDiff: applyDiff uses ErrorList
...
Change how TupleTreeDiff and Visitor work so they can populate an
ErrorList in case the deserialization/apply of a diff fails.
2022-10-30 09:13:44 +01:00
de76a5239b
PipelineC: improve documentation
2022-10-30 09:13:29 +01:00
a75fc40abe
PipelineC: drop rp_manager_create_memory_only
...
The function was unused, broken and superseded by the other
rp_manager_create with `execution_directory=nullptr`.
2022-10-30 09:13:23 +01:00
81d25f9805
PipelineC: expose invalidation logic
2022-10-30 09:13:14 +01:00
f371c03e93
Globals.h: evictCachedReferences on clear()
2022-10-29 16:46:19 +02:00
d520fd5aea
Cache TTRs in Model tools
2022-10-29 16:46:19 +02:00
fff0fbd874
LoadModelPass: cache TTRs on getReadOnlyModel
...
The cache is evicted on the next call to getWritableModel.
2022-10-29 16:46:19 +02:00
f371be4271
Cache TTRs on getModelFromContext
...
The cache is evicted on getWritableModelFromContext.
2022-10-29 16:46:19 +02:00
d04e2e73d3
TupleTree: caching methods for TupleTreeReferences
2022-10-29 16:46:19 +02:00
0795c7e331
TupleTreeReference: cache target pointers
2022-10-29 16:46:19 +02:00
7eb94c6646
QualifiedType: add operator<=>
2022-10-29 16:46:19 +02:00
cf3103d3d7
TupleTree{Path,Reference}: add operator<=>
2022-10-29 16:46:19 +02:00
8e9170eb60
Enforce that TTRs in TupleTree are mutable
2022-10-29 16:46:19 +02:00
6173d154a3
TupleTree: visitReferences with non-const visitors
2022-10-29 16:46:19 +02:00
5f8dab184d
Move ConstOrNot to Concepts.h
2022-10-29 16:46:19 +02:00
232a28ae69
FileContainer: handle case where Path is empty
...
When requesting a `cloneFiltered` the Path attribute of the
FileContainer might be empty, and this will lead to an abort. Fix this
situation by checking if the Path is empty.
2022-10-24 14:25:02 +02:00
d55aa9b9e6
Pipeline: remove * from targets
...
Now * is just a pipeline frontend shorthand.
2022-10-20 14:20:12 +02:00
025f6d5580
Assembly & CFG: fix MIME type
...
Change the MIME type of the assembly artifact and the svg graphs to the
new naming convention.
2022-10-11 17:11:04 +02:00
677fe190be
Ranks: split TypeField
...
Split the TypeField Rank in 3 more specific ranks: StructField,
UnionField and EnumMember.
2022-10-11 17:10:46 +02:00
b94c23cf52
Yield/ControlFlow: stop accounting for footer
2022-10-11 17:09:39 +02:00
d7265ff160
PipelineC: allow signal masking
...
Some users of PipelineC might be interested in preserving
pre-existing signals, this commits adds this functionality.
2022-10-04 14:13:56 +02:00
7fda1ef459
PipelineC: drop AbortHook
...
Handle crashes via signal handlers. Switch python's revng.api from
a normal python function to faulthandler, which works also in the
case of harsher interruptions (e.g. SIGABRT).
2022-10-04 14:13:56 +02:00
049ba69d43
Pipeline: containers can now enumerate their kinds
2022-09-29 15:55:30 +02:00
dc23473d85
Introduce Loader::getRegistered{Pipes,Analyses}
2022-09-29 15:55:16 +02:00
445bc2aa8c
Pipeline: introduce registry for container types
2022-09-29 15:52:26 +02:00
9363bbd70a
Pipeline: every container type has now a C++ type
2022-09-29 15:51:17 +02:00
bf4122ed0a
Introduce v2 of revng-check-conventions
2022-09-29 15:21:59 +02:00
02c69b0421
TemporaryFile: use RemoveFileOnSignal
2022-09-26 18:05:38 +02:00
6724b6d9cd
revng/Yield/Pipes: streamline file naming
2022-09-26 12:10:47 +02:00
Alessandro Di Federico