bd84bd7f2e
Rework --analyze and --analyses-list
2024-10-31 17:19:51 +01:00
8e6942451e
Import revng-c's Kinds.h
2024-10-31 17:19:51 +01:00
d633b414e1
Import revng-c's Ranks.h
2024-10-31 17:19:51 +01:00
ac31e804fe
Import revng-c's STLExtras.h
2024-10-31 17:19:51 +01:00
05881c242a
revngSupport: use default set of LLVM libraries
2024-10-31 17:19:51 +01:00
16e01f43d6
Import revng-c's FunctionTags.h
2024-10-31 17:19:51 +01:00
d27773c688
CMakeLists.txt: reorg for revng-c compatibility
2024-10-31 17:19:51 +01:00
d72f6413f0
Import revng-c's Support/IRHelpers.h
2024-10-31 17:19:51 +01:00
36c344fc62
OpaqueFunctionsPool: improve assertion
2024-10-31 17:19:51 +01:00
c97438c5e4
DynamicHierarchy: ensure we call init last
2024-10-31 17:19:51 +01:00
687aaf2c7b
Merge branch 'feature/mass-testing-improvements'
2024-10-31 12:13:40 +01:00
f0a5a48c8e
mass-testing: generate crash graphs for OOMs
...
Add graph/crash statistics generation for the OOM category as well.
2024-10-31 08:58:59 +01:00
023b470473
mass-testing: implement cmd/env overrides
...
Implement override mechanisms via command-line and/or env for the
following aspects:
* The maximum memory set by `test-harness`
* The timeout handled by `test-harness`
* The number of concurrent jobs to spawn while running `revng mass-testing run`
2024-10-31 08:58:59 +01:00
1cbd01804c
mass-testing-report: handle empty crash stats
...
When generating crash statistics, handle the case where there are no
statistics for the specified category.
2024-10-31 08:58:59 +01:00
208e18cedb
revng.internal.cli: unify temporary_file
...
Unify the logic responsible for the `temporary_file` function, since its
body was duplicated three times over the codebase.
2024-10-31 08:58:59 +01:00
e651eaa072
revng ptml: update color token mapping
...
Update the dict that takes care of mapping PTML tokens to their color
with the updated list of PTML tokens.
2024-10-31 08:58:59 +01:00
2d75b9e430
Merge branch 'feature/storage-speedup'
2024-10-30 21:58:01 +01:00
dd8d158e47
revng opt: make compatible with zstd
...
Change the `revng opt` wrapper so that when a zstd-compressed module is
passed it is decompressed on the fly and passed to llvm's opt.
2024-10-30 21:57:56 +01:00
8e65716ad8
Use zstd compression in pipeline
...
Use the zstd compression for:
* The `LLVMContainer` when serializing
* The invalidation cache when writing to disk
2024-10-30 21:57:55 +01:00
3fc9bbf8fc
Uniform GzipStream
...
Uniform the functions/classes in GzipStream with the ones in ZstdStream.
2024-10-30 21:57:55 +01:00
5b200df81a
Implement ZstdStream
...
Implement the `zstdCompress` and `zstdDecompress` functions. Also
implement the `ZstdCompressedOstream` which is a `llvm::raw_ostream`
which compresses data on the fly.
2024-10-30 21:57:55 +01:00
9c47c92af2
Target::PathComponents: use SmallVector<1>
2024-10-30 19:30:04 +01:00
e9e9a958e6
PathTargetBimap: drop ReverseMap
2024-10-30 17:54:48 +01:00
bf9ef91f4e
Drop revng model import binary
2024-10-16 11:46:56 +02:00
48dd571500
Drop revng model dump
2024-10-16 11:44:26 +02:00
892a0fc62a
working-environment.md: add the Docker option
2024-10-16 10:46:31 +02:00
3773cb6c6d
Merge branch 'feature/ptml-c-type-builder'
2024-10-15 09:18:42 +02:00
99e966f6e8
ptml::TagBuilder: rename GenerateTagLessPTML
...
The new name is `IsInTaglessMode`.
This also makes it public, since their no point of keeping a const
option private.
2024-10-15 09:12:55 +02:00
43f0304cb2
Pipeline: toString -> locationString
2024-10-15 09:12:55 +02:00
c057ba335e
ptml::IndentedOstream: accept a builder reference
...
This avoids the need to have duplicated builders in cases were we
already have one at the cost of always having to manually create one.
2024-10-15 09:12:55 +02:00
9ebe98e5c8
PTMLIndentedOstream: rename into IndentedOstream
2024-10-15 09:12:55 +02:00
ec19b26ee9
PTMLBuilder: rename into ptml::MarkupBuilder
2024-10-15 09:12:55 +02:00
a0c670652c
Improve usages of Expected<T>
2024-10-10 14:50:26 +02:00
5993cee3a1
Merge branch 'feature/arm64-fixes'
2024-10-08 13:53:59 +02:00
a3ab8e2415
ABI-docs: add a basic explanation
2024-10-08 13:53:53 +02:00
724f8bfb59
ABI: streamline terminology
...
"packed" is used instead of "unnaturally aligned".
2024-10-08 13:53:53 +02:00
4bdc7f83b5
ABI: drop incomplete pascal support
2024-10-08 13:53:53 +02:00
5150fbd8c8
ABI: Limit usage of the StackAlignment option
2024-10-08 13:53:53 +02:00
ce11f37334
abi::Definition: move documentation out
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
659bd01974
ABI: make distribution carry alignment information
...
This allows argument distribution to change based on the previous
argument by only preserving alignment information.
2024-10-08 13:53:53 +02:00
6d44a4b1c2
ABI: introduce UseStrictAggregateAlignmentRules
2024-10-08 13:53:52 +02:00
85474eb228
ABI: let last argument distribution differ
2024-10-08 13:53:52 +02:00
7dfd669bde
ABI: introduce a new configuration option:
...
`StackArgumentsUseRegularStructAlignmentRules`.
2024-10-08 13:53:52 +02:00
b378ac9b17
ABI: improve handling of padding arguments
2024-10-08 13:53:52 +02:00
8c313a73af
Model: make sure segments use generic addresses
2024-10-08 13:53:52 +02:00
561f94115a
ABI: make pointer to copy testing stricter
2024-10-08 13:53:52 +02:00
1289678457
ABI: fix AArch64 pointer-to-copy handling
2024-10-08 13:53:52 +02:00
b20bcbe1d4
ABI: introduce BigArgumentsUsePointersToCopy
2024-10-08 13:53:52 +02:00
Alessandro Di Federico