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
The current implement of isDeclaration() in core dialect is quite wonky, as it looks for a hl.alias named attribute, to detect that a function is an alias. This breaks the abstraction of core::FuncBaseOp being a generic function operation base (although so far no other dialect has an attribute for function aliasing).
Prerequisites
Description
The current implement of
isDeclaration()incoredialect is quite wonky, as it looks for ahl.aliasnamed attribute, to detect that a function is an alias. This breaks the abstraction ofcore::FuncBaseOpbeing a generic function operation base (although so far no other dialect has an attribute for function aliasing).