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

abi: Nested floating point types that are collapsed into vector type. #605

Open lkorenc opened 1 month ago

lkorenc commented 1 month ago

Prerequisites

Description

Currently part of the classification algorithm is commented out - for example two 16b float types in a structure should trigger this path. For more details see implementation in clang. This is rather low priority for now as we are not handling vector types anywhere else yet.