admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
7,109 Commits 215 Branches 0 Tags
69a6508ea764c3f65bdc127d3e4d4e00d4467bdb
Commit Graph

7109 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ivan Krysak 69a6508ea7 mlir_lit_tests: introduce comment-specific tests 2026-03-27 08:21:58 +00:00
Ivan Krysak 754cfd57fe Model: introduce migration to version 9 2026-03-27 08:19:21 +00:00
Ivan Krysak 16f4be79bb Migration tests: ignore empty lines 2026-03-27 08:18:57 +00:00
Ivan Krysak de31315cd7 Model: rename Inline into AlwaysInline 2026-03-27 08:16:21 +00:00
Ivan Krysak 8f747e7ff3 Name-import tests: be explicit about the ABI 2026-03-27 08:15:56 +00:00
Ivan Krysak 19741a32ab ImportModel: expose a high level type importer 2026-03-27 08:15:23 +00:00
Ivan Krysak 35fe2309c3 import-types: use clift.types as the attribute 
Before this, `clift.test` was used
 2026-03-27 08:14:53 +00:00
Ivan Krysak 756c097900 Import dynamic function prototype 2026-03-27 08:14:22 +00:00
Ivan Krysak cbfa009aa4 Factor function prototype importing out 2026-03-27 08:13:52 +00:00
Ivan Krysak 882fed11ad emitFunctionPrototype: simplify helper handling 2026-03-27 08:13:25 +00:00
Ivan Krysak b632772cbb ImportModel: import function attributes 2026-03-27 08:12:51 +00:00
Ivan Krysak 00f05cac7a ImportModel: introduce importSegmentDeclaration 2026-03-27 08:12:17 +00:00
Ivan Krysak 02ae9bfac3 Clifter: adopt importFunctionDeclaration 2026-03-27 08:11:45 +00:00
Ivan Krysak 8f89984f36 ImportModel: introduce importFunctionDeclaration 2026-03-27 08:11:11 +00:00
Ivan Krysak e250657c0b ImportDescriptiveInfo: import return value comment 2026-03-27 08:10:41 +00:00
Ivan Krysak d6edb20142 ImportDescriptiveInfo: import comments 2026-03-27 08:10:10 +00:00
Ivan Krysak c30f309f5e Clift: introduce getMutableComment 2026-03-27 08:09:09 +00:00
Ivan Krysak e34fbcb955 FunctionOp: add noreturn and always_inline 2026-03-27 08:08:08 +00:00
Ivan Krysak 9524312ed4 C-Attributes: test typed arguments 2026-03-27 08:07:41 +00:00
Ivan Krysak 318681cd42 Introduce TypeDependencyGraph 2026-03-27 08:05:10 +00:00
Ivan Krysak aa53ba5d0b ImportDescriptiveInfo: import argument attributes 2026-03-27 08:04:40 +00:00
Ivan Krysak 58257d5520 ImportModel: import _ABI 2026-03-27 08:04:10 +00:00
Ivan Krysak 105f15266b ImportModel: import _CAN_CONTAIN_CODE 2026-03-27 07:19:27 +00:00
Ivan Krysak 1c14ae1c93 Introduce: CAttributeListBuilder 2026-03-27 07:19:27 +00:00
Ivan Krysak 729b025de3 CAttributes.h: move back to PTML 
When `revng` and `revng-c` were being merged, this header founds its
way into `revngSupport` even though it makes more sense under the PTML
umbrella.
 2026-03-27 07:19:27 +00:00
Ivan Krysak e706628a49 Rename Annotations.h into CAttributes.h 2026-03-27 07:19:27 +00:00
Ivan Krysak 7f66f25253 mlir::clift::ClassAttr: add attribute support 2026-03-27 07:19:27 +00:00
Ivan Krysak 928bcdb118 mlir::clift::FunctionType: add attribute support 2026-03-27 07:19:27 +00:00
Ivan Krysak 5c55680e49 PTML: fix list attribute emission 2026-03-27 07:19:27 +00:00
Ivan Krysak 8a3a2082b5 CAttributeAttr: enforce argument types 2026-03-27 07:19:27 +00:00
Ivan Krysak f4e7d50361 Allow C-Attributes to accept integers and types 2026-03-27 07:18:49 +00:00
Lauri Vasama ad6f6df04e Improve function arg/result attribute interface 2026-03-27 07:18:49 +00:00
Ivan Krysak b1781988e0 Backend: do not require full attribute presence 2026-03-27 07:18:49 +00:00
Ivan Krysak c789aba269 CliftAttributes: ensure field lifetime is extended 2026-03-27 07:18:49 +00:00
Ivan Krysak 92fd9188d5 ImportDescriptiveInfo: improve an error message 2026-03-27 07:18:49 +00:00
Ivan Krysak cdc633e31d CliftPipes: drop Pipe from filenames 
This removes unnecessary Pipe from filenames which the directory name
already contains.

This also renames some of them to match the *new* pipeline.
 2026-03-27 07:18:49 +00:00
Ivan Krysak 278b898793 llvm-to-clift -> clifter 2026-03-27 07:05:44 +00:00
Ivan Krysak 24b08e5439 Drop an unused clift-legalization pipe 
It was never used as the corresponding `clift-opt` was used everywhere.
 2026-03-27 07:02:32 +00:00
Ivan Krysak 73ddff7126 import-clift-types -> import-types 2026-03-26 16:28:48 +00:00
Ivan Krysak addfc543c8 import-model-names -> import-descriptive-info 2026-03-26 16:28:48 +00:00
Ivan Krysak 6dc6ad2cf3 importModelTypes -> importTypes 2026-03-26 16:28:48 +00:00
Ivan Krysak 53a476e9ee importNames -> importDescriptiveInfo 
This opens up the possibility of importing more than just names.
 2026-03-26 16:28:48 +00:00
Ivan Krysak 79618b3b63 CliftImportModel: extract name importing 2026-03-26 16:00:49 +00:00
Ivan Krysak 01658cab09 import-model-names: split into two 
One is module-granularity (name unchanged). The other (new) one
is function-granularity: `import-function-model-names`.
 2026-03-26 16:00:49 +00:00
Ivan Krysak 62c6f6ecd1 import-model-names: factor importing logic out 2026-03-26 16:00:49 +00:00
Ivan Krysak 2cc7edb4b2 import-model-names: fix invalidation problems 
Model fields were read *after* invalidation data is written, which is
not acceptable.
 2026-03-26 16:00:49 +00:00
Ivan Krysak 7244b12825 import-clift-types: switch to binary rank 2026-03-26 16:00:46 +00:00
Ivan Krysak 58facb0de2 pipebox: introduce two more clift containers 
`CliftSingleTypeContainer` for a type-level entity and
`CliftModuleContainer` for a binary-level one (like a header).
 2026-03-25 17:26:24 +00:00
Ivan Krysak b76a09d483 pipebox: rename CliftContainer.h 
The new name is `CliftContainers.h`.
 2026-03-25 17:26:24 +00:00
Ivan Krysak 2841f8ab84 Introduce module-level CliftContainer 2026-03-25 17:26:24 +00:00