3d38451abd
Enable error checking on Model deserialization
...
This commit changes the `TupleTree::deserialize` method to return an
`llvm::ErrorOr<TupleTree>`, enabling users to choose their policies on
error reporting.
2021-09-02 14:42:51 +02:00
bae9214652
Stricten verification for model::Identifier
...
Now only `Identifier`s that are valid C identifiers are guaranteed to
verify.
The `fromString` factory is updated accordingly.
2021-09-02 14:42:47 +02:00
48f6a60629
Fix callOnPathSteps for KeyedObjectContainer
...
callOnPathSteps was using linear scan search in KeyedObjectContainer.
This commit fixes it for using binary search, dramatically improving
performance in workloads that do lots of lookups.
2021-09-02 14:39:23 +02:00
3f5644dd02
Add operator<=> for model::Qualifier
...
This allows to keep `model::Qualifier`s in ordered containers, which is
necessary e.g. in `revng-c`.
2021-09-02 14:39:23 +02:00
aa46b03050
Add name() members to various Model types
2021-09-02 14:39:23 +02:00
44b348db6a
Provide efficient getName for model::Type enums
2021-09-02 14:39:23 +02:00
612461cffa
Enable more explicit edge iteration
...
Add reverse iterator support
2021-09-02 11:09:29 +03:00
509ee3c41a
Disallow label-less mutable edge graphs
2021-09-02 11:09:17 +03:00
95e983fef3
Rename has_parent into HasParent
2021-09-02 11:09:04 +03:00
b6d95c2cbc
Add GenericGraph::clear
2021-09-02 11:08:52 +03:00
3f1f99deff
Add GenericGraph::reserve
2021-09-02 11:08:39 +03:00
9a902cc8ab
Implement in-place node creation
2021-09-02 11:08:27 +03:00
009a5ae060
Rework EdgeView to improve code consistency
2021-09-02 11:08:14 +03:00
7d24eeaf48
Add a move-only addNode overload
2021-09-02 11:08:01 +03:00
4df418fcbc
Add a EdgeLabel alias
2021-09-02 11:07:49 +03:00
334cdf9f05
Make iterators and mapping filters consistent
2021-09-02 11:07:39 +03:00
027be0b030
Implement renvg::mapped_iterator
...
It's a specialization of `llvm::mapped_iterator` with better
support for temporary objects (`operator->` doesn't cause UB)
2021-09-02 11:05:22 +03:00
e5be45ab3b
Add explicit names for iterator types
2021-09-02 11:05:10 +03:00
8535f166a9
Prevent multiple edges between a pair of nodes
2021-09-02 11:04:59 +03:00
f15e41433f
Make graph testing node type agnostic
2021-09-02 11:04:44 +03:00
c8a60f9d8e
Implement safe node removal
2021-09-02 09:14:20 +03:00
5b60c22feb
Implement the core of the mutable edge node
2021-09-02 09:14:20 +03:00
2050561716
Add a comment on top explaining the node types
2021-09-02 09:14:20 +03:00
d768d5d89a
Add getters for successor and predecessor counts
2021-09-02 09:14:20 +03:00
fbf90f8b17
Implement revng::SmallMap::contains
2021-09-01 16:32:56 +02:00
a5600a68ab
TupleTree: improve support for 0-sized tuples
2021-07-21 18:22:58 +02:00
bf55034fa6
Support deserializing empty TupleTreeReference
2021-07-21 18:22:58 +02:00
fd30d3de42
Import the model's type system
...
This commit introduces the type system of the model along with several
various other improvements to the model and its users.
* Introduce the type system.
* Introduce possibility to tag certain fields in the model as to be
optional during YAML serialization.
* All the `Name` fields have been replaced in favor of `CustomName` plus
a `name` method that will use `CustomName` if available, or an
automatically generated name otherwise.
* Make TupleTreeReferences behavior more robust: now you either need to
have a valid pointer to `Root` and a `Path` or be default constructed
(`nullptr` for `Root` and an empty `Path`). Any other configuration is
invalid.
* The type system introduces `RawFunctionType`: this superseds the
previous way in which we were specifying arguments and return
values. Users of such information have been updated accordingly.
2021-07-21 18:22:58 +02:00
0f8fa271d9
TupleTree: reduce INTROSPECTION responsibilities
...
This commit also introduces support for optional YAML serialization of
fields.
2021-07-21 18:19:45 +02:00
a546ac2a37
Introduce model::Register::getSize
2021-07-21 18:19:45 +02:00
69367669d7
model::Register: enable as KOC key
2021-07-21 18:19:45 +02:00
56644b8512
Move model::Register in its own file
2021-07-15 13:50:53 +02:00
8fa8ca2d03
Rework getWriteableModel to return a TupleTree
...
The previous design returned a model::Binary &, which did not allow
users writing the model to properly initialize cross references between
different parts of the model.
2021-07-15 13:30:25 +02:00
b4929b431c
Drop IsTupleEnd concept
2021-07-15 13:30:25 +02:00
6d10581163
Whitespace and other minor changes
2021-07-15 13:30:25 +02:00
b96fbd091d
Fix check-conventions with clang-format-12
2021-06-14 23:04:02 +02:00
6f7de910a6
Enable warning -Wunused-local-typedefs
2021-06-14 23:04:02 +02:00
71c79461d8
MaterializedValue: fix comparison between APInt
...
Comparing APInt requires them to have the same BitWidth.
2021-06-14 23:04:02 +02:00
2448fec4a5
AVI: use new LVI API
2021-06-14 23:04:02 +02:00
1e5cce6654
AVI: handle new SCEVType in switch
2021-06-14 23:04:02 +02:00
f8d20946d8
RecursiveCoroutine: add noexcept where needed
...
Fix compilation error: the expression 'co_await
__promise.final_suspend()' is required to be non-throwing
This compilation error started being triggered when switching to
clang-12.
2021-06-14 23:04:02 +02:00
a7a55f974a
Require TupleTreeCompatible concept on TupleTree
2021-06-09 20:13:27 +02:00
3cb6dcd163
Move IsYamlizable generic lambda in TupleTree.h
2021-06-09 20:13:27 +02:00
75bff8f29c
Move CompositeScalar in YAMLTraits.h
...
Soon Binary.h will not be the only user.
This commit makes the same machinery usable elsewhere.
2021-06-09 20:13:27 +02:00
c9b3cdd88b
Fix UpcastablePointer copy/move ctor/assignment
2021-06-09 20:13:27 +02:00
4b7f383ea5
Conceptify YAMLTraits.h
2021-06-09 20:13:27 +02:00
432b75f2ba
TupleTreePath.h: fix copy/move ctors/assignments
2021-06-09 20:13:27 +02:00
8557a30206
TupleTree: improve serialization
2021-06-09 20:13:27 +02:00
83a629444a
Default operator== for TupleTreePath
2021-06-09 20:13:27 +02:00
b78d52ac3c
Add TupleTreeReference::operator==, ignoring Root
2021-06-09 20:13:27 +02:00
Pietro Fezzardi