search

trailofbits / vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
https://trailofbits.github.io/vast/
Apache License 2.0
368 stars 23 forks source link

No longer lower `hl.array` into `memref`. #610

Closed lkorenc closed 1 month ago

lkorenc commented 1 month ago

There is a bunch of problems with memref in the pipeline - most notably it not being easily added to data layout. Apart from that, it is also kind of weird that struct/pointer survive all the way down to final ll, whereas array did not - with this change it is more uniform.

github-actions[bot] commented 1 month ago

Cpp-Linter Report :warning:

Some files did not pass the configured checks!

clang-tidy reports: 2 concern(s) - **include/vast/Conversion/TypeConverters/LLVMTypeConverter.hpp:5:1:** error: [clang-diagnostic-error] > unknown type name 'VAST_RELAX_WARNINGS' ```hpp 5 | VAST_RELAX_WARNINGS | ^ ``` - **include/vast/Conversion/TypeConverters/LLVMTypeConverter.hpp:15:1:** error: [clang-diagnostic-error] > unknown type name 'VAST_UNRELAX_WARNINGS' ```hpp 15 | VAST_UNRELAX_WARNINGS | ^ ```

Have any feedback or feature suggestions? Share it here.