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.
[X] I have read the documentation and the proposed feature is not implemented.
Description
In the ABI component we often need to do computations that involve reasoning about size of types - be it in bytes or bits. For readability sake (and to reduce error space) we want to have an abstraction (probably based on some strong types) to model bit_size and byte_size as separate types.
Prerequisites
Description
In the ABI component we often need to do computations that involve reasoning about size of types - be it in bytes or bits. For readability sake (and to reduce error space) we want to have an abstraction (probably based on some strong types) to model
bit_size
andbyte_size
as separate types.