44720eedbd
Redesign TupleTreeDiff
...
`TupleTreeDiff` is now type-safe and owns the changes.
2022-04-15 15:14:13 +02:00
e40ded965f
QualifiedType RawFunctionType.StackArgumentsType
...
The `StackArgumentsType` field of `RawFunctionType` was the only
cross-reference between `model::Type`s that did not use
`model::QualifiedType` but a naked `TupleTreeReference`.
Switching it to `QualifiedType` make all cross-references across
`model::Type`s homogeneous.
2022-04-08 18:58:58 +02:00
63a6676551
Make EnumType.UnderlyingType a QualifiedType
...
This was one of the few places left in the type system where a
`model::Type` referred to another one not using QualifiedType, but a
naked `TupleTreeReference`.
Switching it to be a `model::QualifiedType` makes cross-references
between `model::Type`s more homogenenous, requiring less corner-cases
to handle for whoever manipulates types.
2022-04-08 18:58:58 +02:00
457d782ea8
UpcastablePointer::YAMLTraits: use Kind
2022-04-08 17:32:12 +02:00
039f7db93e
model::*: ensure Kind -> Class correspondence
2022-04-08 17:31:05 +02:00
dddd8ecbcb
Update EFA tests to support CFG out of the model
2022-04-05 15:37:57 +02:00
c223b0aadc
Fix end address in EFA tests
2022-04-05 15:37:57 +02:00
bb7102f647
Move old tests to EarlyFunctionAnalysis
2022-04-05 15:37:57 +02:00
f6c9b04c81
Adopt clang-tidy: readability-identifier-naming
2022-04-04 21:15:52 +02:00
c7fe3b0a42
Improve ABI testing artifact naming
2022-03-28 15:43:34 +02:00
2313335feb
abi-verify: move to a byte array-oriented approach
2022-03-28 15:43:34 +02:00
a7617f3567
Describe the ABI testing utilities
2022-03-28 15:43:32 +02:00
23173aef29
Add a specialized model comparison tool
...
It fixes mistreated RFT stack arguments before relying on model passes
for the comparison itself.
2022-03-28 15:38:04 +02:00
974229b171
Optimize the ABI testing script
2022-03-28 15:38:01 +02:00
640ab18d60
Rework renvg-abi-verify
2022-03-28 15:38:01 +02:00
fdfaf754c0
Improve ABI test directory name and tags
2022-03-28 15:37:59 +02:00
326624f517
Fix TupleTreeCompatible linkage problem
...
Now all the generated `.cpp` include `Binary.h`. This ensures we don't
trigger the wrong concept due to forward declarations.
Also, this commit introduces a couple of `static_assert`s which should
enable us to early identification of similar problems.
2022-03-28 15:33:30 +02:00
c05b5dbb28
Steps now represent the *end* of a step
...
A special "begin" step has been introduced.
2022-03-28 12:17:05 +02:00
b362d926ec
pipeline: drop implicit rank 0
2022-03-28 12:17:05 +02:00
ec0275c9aa
Minor changes to PipelineC tests
2022-03-28 12:17:05 +02:00
b1dac5d17b
ContainerBase: introduce serialization primitives
2022-03-28 12:17:05 +02:00
58768aca42
YAML pipelines: rename pipe "Name" to pass "Type"
2022-03-28 12:17:05 +02:00
b2dfd2bc64
TupleTreeGenerator.cmake: single call generation
2022-03-28 12:17:05 +02:00
15bb56eb49
Minor changes
2022-03-28 12:17:05 +02:00
c6d2899374
Drop torture tests
...
Torture tests have become useless, since with over time they have
become bitwise identical to regular tests.
This commit removes them since they are now just a waste of time.
2022-03-22 18:27:01 +01:00
70a460c46a
TupleTreeGenerator: use dataclasses
...
Give up on pydantic.
2022-03-22 17:52:02 +01:00
2b55d1df22
Adopt cmake-format
2022-03-17 18:52:18 +01:00
6832698e5b
Introduce revng llvm pipeline
...
This is a wrapper to `revng-pipeline` designed to make the adoption of
pipelines easier for places where we are now using `revng opt`.
2022-03-17 16:46:02 +01:00
af6305725d
Rewrite revng driver infrastructure
...
It really needed some fresh air.
2022-03-17 16:46:00 +01:00
da7701bd4e
Move all executables except revng to libexec/revng
...
We used to collect all binaries into the `bin/` directory. However this
led to confusions since certain commands where available both as
`revng-command` and `revng command`.
This commit moves all the executables except `revng` into
`libexec/revng`, which, according to FHS, is dedicated to "internal
binaries that are not intended to be executed directly by users or shell
scripts".
2022-03-17 14:10:50 +01:00
5e38805063
Rename detail namespaces into revng::detail
2022-03-11 15:37:12 +01:00
cd7f1fced5
Update test results
2022-03-08 20:57:46 +01:00
60cce26768
Support streaming llvm::Errors to Loggers
2022-03-08 15:04:34 +01:00
0a5d2c04a7
Rework LoadModelPass
2022-03-08 15:04:34 +01:00
a88a9e52c3
Improve model::Segment
2022-03-08 13:06:47 +01:00
69cd0db81f
tuple_tree_generator: make Key strongly typed
2022-03-08 12:25:47 +01:00
7f7a222410
python-model: handle importing multiple versions
2022-02-23 18:03:36 +01:00
09a995ba51
python-model: generate from jsonschema
2022-02-23 18:03:35 +01:00
1df6bbc6d6
Introduce ABI testing infrastructure
2022-02-14 13:35:37 +01:00
a122ff0431
Introduce register state deduction unit tests
2022-02-14 13:35:37 +01:00
a38819d8d9
revng-pipeline tests: cleanup temporary files
...
Certain revng-pipeline tests did not clean up temporary files leading to
weird effects running the tests twice in the same build directory.
2022-02-14 10:56:30 +01:00
e80d159944
revng-pipline: simplify Kinds.h
2022-02-08 17:44:33 +01:00
9788c49529
Fix pipeline test suite names
2022-02-08 17:44:26 +01:00
80d92e2fed
Drop FunctionCounter-related files
2022-02-08 17:44:08 +01:00
d696197597
scripts/revng: adopt revng-pipeline
...
The revng-translate tool is now a driver for revng-pipeline to perform
the translation.
This commit also drops computing the `-load` "roots". It shouldn't
really be necessary.
2022-02-08 00:05:03 +01:00
67f9cbdf4c
Introduce the revng-pipeline CLI tool
2022-02-08 00:05:03 +01:00
fe9686be03
revng-pipeline: introduce C API
2022-02-08 00:05:03 +01:00
98ecd38162
Drop PureLLVMPipe
...
Now LLVM passes can be used directly in an LLVMPipe without specifying a
contract for it.
2022-02-07 22:24:39 +01:00
3b7d7c5f7e
Don't use llvm::outs
2022-02-07 22:24:39 +01:00
fec5f3537b
s/Granularity/Rank/
2022-02-07 22:24:39 +01:00
Massimo Fioravanti