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
a93ffd3760
Rename UnusedStackArgumentBytes
...
Old name was `StackBytesAllocatedForRegisterArguments`.
2025-02-12 16:43:19 +02:00
a67ba96644
Adopt name builder across the model users
2024-11-06 15:43:13 +02:00
a0c670652c
Improve usages of Expected<T>
2024-10-10 14:50:26 +02:00
724f8bfb59
ABI: streamline terminology
...
"packed" is used instead of "unnaturally aligned".
2024-10-08 13:53:53 +02:00
3f803ccc5c
ABI-tests: add potential padding support
2024-10-08 13:53:53 +02:00
6063015975
ABI-tests: support return-value-less SPTAR
2024-10-08 13:53:53 +02:00
561f94115a
ABI: make pointer to copy testing stricter
2024-10-08 13:53:52 +02:00
993f66d59c
revng cli: drop revng- prefix from libexec
...
Drop using the `revng-` prefix from all executables under
`libexec/revng/`. Now any executable found under there that is
executable and without extension will be considered a `revng`
subcommand, following the usual command-line rules.
2024-10-01 13:38:14 +02:00
bc064244d6
s/deserialize/fromString/g
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
953bc49369
ABI-tests: fix a broken comparison operator
2024-08-16 16:33:39 +02:00
4a2db0ba4f
UpcastablePointer: streamline empty behavior
2024-06-27 11:05:52 +02:00
2fbb06f642
ABI-tests: remove an obsolete check
...
The new `prepare-tested-model.yml` script takes care of it.
2024-06-27 11:05:51 +02:00
dfa7478685
Adopt reworked model::Type
2024-06-27 11:05:51 +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
43349943a7
Stop serializing the model in the IR
2024-06-20 09:57:36 +02:00
8ecdd76e68
ABI-tests: improve ABI mismatch error message
2024-03-15 19:05:10 +01:00
b73d4934c8
ABI-tests: extend register comparison
...
It now accounts for endianness.
2024-02-09 15:09:37 +00:00
16feb420c3
ABI-tests: handle stack argument offset gracefully
2024-02-09 15:09:37 +00:00
654e0958e9
ABI-tests: remove obsolete abi replacement
...
See the `replace-abi.py` script for how it's done now.
2024-02-09 15:09:37 +00:00
b75406f711
ABI-tests: make ID matching more robust
2024-02-09 15:09:37 +00:00
5fcdfebbaf
ABI-tests: support pointers-to-copy on the stack
2024-02-09 15:09:37 +00:00
24e907525e
ABI-tests: support pointers-to-copy in registers
2024-02-09 15:09:37 +00:00
a1ddbe5d83
ABI-tests: improve reported errors
2024-02-09 15:09:37 +00:00
d1a78d903b
ABI-tests: make tested function set leaner
2024-02-09 15:09:37 +00:00
43c6780baf
ABI-tests: introduce ID list deduplication
2024-02-09 15:09:37 +00:00
f08d1a2f81
ABI-tests: prefer model::Type::Key to RFT *
2024-02-09 15:09:37 +00:00
cf0ce66674
ABI-tests: use updated stdout.yml file format
...
This also allows to simplify the resulting datastructure somewhat.
2024-02-09 15:09:37 +00:00
4a8455e994
ABI-tests: separate value preservation verifier
2024-02-09 15:09:37 +00:00
d13e83163d
Minor improvements
2024-02-09 15:09:37 +00:00
77b1acaf00
Prefer uint64_t to size_t wherever relevant
2024-01-29 11:57:54 +02:00
b25a32de2a
Stop using std:: prefix for std::size_t
2024-01-29 11:57:54 +02:00
d648f9b970
s/Layout::returnsAggregateType/Layout::hasSPTAR/
2023-12-12 12:04:34 +01:00
10dcb7be11
Fix semantics of model::Types purging passes
...
One of the two passes to purge unused types from the model had a
ill-defined semantics.
This commit simplifies them in two passes: one that purges all the types
unreachable from outside `Binary::Types` and one that does the same but
also preserves types with a `CustomName` or an `OriginalName`.
2023-12-05 16:19:39 +01:00
1285c6e7af
Make RawFunctionType::StackArgumentsType a TTR
...
This is homogeneous with all other nullable references to types in the
model, such as the StackFrameType in model::Function, and others.
2023-12-05 16:19:38 +01:00
ca3d3fe5f1
ABI-testing: rework the layout verification
...
Following the switch in the testing approach on the revng-qa side,
the logic here also needed to be updated.
2023-11-02 17:10:04 +01:00
65fa67df84
YAMLTraits: specialize for std::byte
2023-11-02 17:10:04 +01:00
dcc8fd16c5
ABI-testing: rename the parser file
...
Since `artifact` is so ambiguous, a more explicit name was given.
2023-11-02 17:10:04 +01:00
cfe28d8e56
Stop using std:: prefix for u?int\d+_t types
2023-11-02 17:10:03 +01:00
8ab26f8d7f
Adopt TupleTreeReference::empty()
2023-10-05 10:19:44 +02:00
b67e2ac13a
Minor changes
2023-10-04 17:47:50 +02:00
247879f7fc
model::Type::ID: switch to progressive IDs
...
This commit switches `model::Type::ID` from being a GUID to be a
progressive number, in order to make things easier for humans.
On top of this, this commit introduces the following changes:
* TypeCopier: import all the necessary PrimitiveTypes and improve
handling of CustomName.
* Move Kind as the last field of the key of each TupleTree type used in
an `UpcastablePointer`.
* Update the ground truth of tests to ignore the `CustomName` in favor
of focusing on `OriginalName`.
* Increase adoption of `model::Binary::makeType`, equivalent to
`Binary.recordNewType(makeType<model::*Type>())`.
2023-08-23 16:14:04 +02:00
7d235f4fd0
Enforce licence header consistency
...
Also do some basic cleanup: capitalize first letters, add `.`
at the end of the sentences, and so on.
2023-07-03 15:23:10 +00:00
f68185abc9
Push ParseCommandLineOptions into InitRevng
2023-04-28 14:34:35 +02:00
1f439cbb8c
ABI-testing: extend to support unusual alignment
...
Because it's often hard to predict the specific location of an argument when
non-natural alignment is concerned, this adds an extra check allowing
the cases to pass if they would be well-formed if only some pesky
"extra" bytes were to disappear.
2023-03-15 10:19:03 +01:00
750b6361a8
ABI-testing: add SPTARV support
2023-03-15 10:19:03 +01:00
d65ed50e0b
ABI-testing: allow explicit abi overrides
...
Since dwarf sometimes misdetects abi pretty badly, to maintain
the usefulness of the test, it's beneficial to sometimes discard
the "detected" ABI by overriding it by the known value.
This also add a check ensuring that all the functions presents in
the artifact are also present in the binary.
2023-03-15 10:19:03 +01:00
Ivan Krysak