686083bdab
Remove mentions to revng-c
2024-11-21 15:54:23 +01:00
143c315196
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
672ee5df50
Replace std::string_view with llvm::StringRef
2024-11-06 15:43:13 +02:00
8e3c9c0788
Model: remove obsolete name methods
2024-11-06 15:43:13 +02:00
a67ba96644
Adopt name builder across the model users
2024-11-06 15:43:13 +02:00
2a5d50630b
Model: adopt name builder in verification
2024-11-06 15:43:13 +02:00
2be6f4aebb
TypeSystemPrinter: adopt name builder
2024-11-06 15:43:13 +02:00
ad868f57ad
Model: introduce name builder
2024-11-06 15:43:13 +02:00
c101770c72
ModelTypeTests: pass the binary to the verifier
2024-11-06 15:42:44 +02:00
0a3628e6fe
Model: introduce naming configuration
2024-11-06 15:42:44 +02:00
1eb80ecd2d
Introduce an error creation helper
2024-11-06 15:20:37 +02:00
a12f5d9e97
Minor improvements
2024-11-04 18:51:12 +02:00
f9fad18cb4
EFA, Yield: handle blockless functions
2024-10-31 17:19:51 +01:00
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
16e01f43d6
Import revng-c's FunctionTags.h
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
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
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
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
ce11f37334
abi::Definition: move documentation out
2024-10-08 13:53:53 +02:00
6d44a4b1c2
ABI: introduce UseStrictAggregateAlignmentRules
2024-10-08 13:53:52 +02:00
7dfd669bde
ABI: introduce a new configuration option:
...
`StackArgumentsUseRegularStructAlignmentRules`.
2024-10-08 13:53:52 +02:00
b20bcbe1d4
ABI: introduce BigArgumentsUsePointersToCopy
2024-10-08 13:53:52 +02:00
99e016f120
ABI: reorganize default ABI helpers
2024-10-08 13:53:52 +02:00
fb06320154
ABI: introduce Microsoft_AAPCS64
2024-10-08 13:53:52 +02:00
e92c0b68bb
ABI: introduce Apple_AAPCS64
2024-10-08 13:53:52 +02:00
e4d8ead973
ABI: make MinimumStackArgumentSize explicit
2024-10-08 13:53:52 +02:00
d5d1a7da99
ABI: introduce ReturnValueLocationIsReturned
2024-10-08 13:53:51 +02:00
f8ffe38687
Unify cache directory logic
...
Make the cache directory logic uniform in Python and C++, move the
respective implementations under support since it's project-wide logic
and not exclusive to debug-info.
2024-10-01 13:38:13 +02:00
07e964478d
Invalidation deduceResults after pipe
2024-09-29 12:52:14 +02:00
865ffb9892
Minor changes
2024-09-27 20:45:22 +02:00
05c01e5216
Drop TargetListContainer
2024-09-27 12:07:18 +02:00
33cae7de12
Pipeline: reduce usage of Context
2024-09-27 12:07:18 +02:00
6297537486
Drop Pipe::print
2024-09-27 12:07:18 +02:00
fbf79b5d1b
Make Pipe::checkPrecondition optional
2024-09-27 12:07:18 +02:00
Alessandro Di Federico