98903f6b07
Move Ranks.h to revng
2024-11-04 15:09:56 +01:00
f544a39195
Move STLExtras.h to revng
2024-11-04 15:09:56 +01:00
2e4f4d09b9
Remaining FunctionTags have been moved to revng
2024-11-04 15:09:56 +01:00
e239e18b0c
Adopt FunctionPoolTag
2024-11-04 15:09:56 +01:00
800340d6e8
IRHelpers.cpp has been moved to revng
2024-11-04 15:09:56 +01:00
2ed940dc3a
FunctionTags have been moved to revng
2024-11-04 15:09:56 +01:00
fdd0d6d06c
CMakeLists.txt: reduce revng differences
2024-11-04 15:09:56 +01: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
2d2fe890fb
Add Clift expression operations
2024-10-31 08:41:25 +01:00
4338607257
Add Clift operand type parser
2024-10-31 08:41:25 +01:00
eb20e745a3
Add Clift op type constraints
2024-10-31 08:41:25 +01:00
ecf4869473
Move CliftTypeHelpers.h functions to CliftType.h
...
Also added some new type functions.
2024-10-31 08:41:25 +01:00
ac013efb1d
Improve Clift op constraint formatting
2024-10-31 08:41:25 +01:00
3e0b0d3fd7
Add Clift_ExpressionOp class
2024-10-31 08:41:25 +01:00
26adce6182
Add isLvalueExpression on ExpressionOpInterface
2024-10-31 08:41:25 +01:00
9479086bc4
Improve CliftTypes.td formatting
2024-10-31 08:41:25 +01:00
e1b55fd5c3
Add custom assembly format for Clift FunctionOp
2024-10-31 08:41:25 +01:00
2350f91c48
Use symbol attribute for GlobalVariableOp
2024-10-31 08:41:25 +01:00
596244a5a2
Add NoTerminator trait to Clift_Op
2024-10-31 08:41:25 +01:00
5385ea7e7f
Add result for LocalVariableOp
2024-10-31 08:41:25 +01:00
8dc04776a6
Add Clift_StatementOp class
2024-10-31 08:41:25 +01:00
8e6adb5268
Add addConst and removeConst for ValueType
2024-10-31 08:41:25 +01:00
8a613dc9f0
Remove Clift ArrayType const
...
Use the qualification of the element type instead.
2024-10-31 08:41:25 +01:00
b8f0e7d99b
Add missing const qualifiers in DefinedType
2024-10-31 08:41:25 +01:00
c29a71a0d9
Add colon in clift.undef assembly format
2024-10-31 08:41:25 +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
63a3c9cec0
PTML: move location creation to the type builder
2024-10-15 10:45:13 +03:00
94d860e2b2
Clean up builder configuration
...
This also re-enables stack inlining by default.
2024-10-15 10:45:13 +03:00
1a35cbcb77
Introduce PTMLCTypeBuilder
2024-10-15 10:45:13 +03:00
f523edc863
Pipeline: toString -> locationString
2024-10-15 09:13:28 +02:00
8aa7b55e2d
PTMLIndentedOstream: rename into IndentedOstream
2024-10-15 09:13:28 +02:00
8288bd68d2
PTMLCBuilder: rename into ptml::CBuilder
2024-10-15 09:13:28 +02:00
0e13b20730
PTMLBuilder: rename into ptml::MarkupBuilder
2024-10-15 09:13:28 +02:00
8dbbbd3552
Minor Improvements
2024-10-15 09:13:28 +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
Alessandro Di Federico