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
a67bc8d1a6
revng-model-diff: return error on mismatch
2022-02-14 10:57:30 +01:00
bac670a38a
monotone_framework_lattice: move generation notice
...
It made it look like the template was autogenerated.
2022-02-14 10:57:20 +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
dfeb437b45
Fix a minor convertible_to concept issue
2022-02-14 10:56:40 +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
ec6d4dbe74
Ensure all files end with a newline
2022-02-14 10:56:15 +01:00
806f076709
Minor changes
2022-02-14 09:39:44 +01:00
7593d4da23
PromoteCSVs: promote PC CSVs
2022-02-12 12:04:14 +01:00
ef1b59158f
revng-translate: propagate arguments after --
2022-02-11 18:45:13 +01:00
812b73f2a2
Remove opaquepc()
...
We can set the PC to the expected value after each call instead
of creating an `opaquepc()` call.
2022-02-11 13:42:29 +01:00
3baf3323ed
Merge branch 'feature/pipeline-improvements'
2022-02-08 18:35:03 +01:00
8f73438a8b
Ban tabs and spaces at end of lines
2022-02-08 17:54:07 +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
fa8061b805
Drop dead Kinds
2022-02-08 17:44:19 +01:00
80d92e2fed
Drop FunctionCounter-related files
2022-02-08 17:44:08 +01:00
c8026ac401
Minor changes
2022-02-08 17:40:09 +01:00
29c50fa909
Model: reserve names defined in stdint.h
...
This commit adds a bunch of type names and macro names to the set of
reserved keywords that cannot be used for names in the revng Model.
These are the names defined in the stdint.h standard C header, that is
included automatically by the decompiler in decompiled code.
We need to reserve these names otherwise it would be possible to add
things to the revng Model with names that clash with the names defined
in stdint.h, which would in turn break recompilation of decompiled code
because of conflicting definitions.
2022-02-08 15:54:02 +01:00
d9c893547f
Merge branch 'feature/revng-pipes'
2022-02-08 08:45:17 +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
a8a8da3bae
Introduce revng pipes
...
This commit imports all the revng pipes (and other support utilities) to
be used with `revng-pipeline`. In particular, the pipes necessary for
binary translations have been introduced.
2022-02-08 00:05:03 +01:00
6f0d0c4f9d
CodeGenerator: accept an external model
2022-02-07 22:24:39 +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
e2cd7cbcdf
Pipeline: simplify LLVMContainer
2022-02-07 20:11:37 +01:00
396095706f
Minor changes to revngPipeline
2022-02-07 20:11:15 +01:00
91fd04079a
AllPasses.h: include Verify.h
2022-02-07 20:11:15 +01:00
0f084ed620
Minor changes
2022-02-07 16:55:46 +01:00
21f16ce95d
Drop *.orig files
...
They have been accidentally committed.
2022-02-07 16:55:46 +01:00
2b5610bc93
Merge branch 'feature/model-tooling'
2022-01-31 19:24:29 +01:00
1c2527f6fa
mv tools/{revng-,}lift
2022-01-31 16:37:22 +01:00
60b2dbab72
revng: support model subcommands
2022-01-31 16:28:26 +01:00
78be0e9268
Explode TupleTree.h
2022-01-31 16:28:26 +01:00
Ivan Krysak