ABI compatible function prototype lowering

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

372 stars 23 forks source link

ABI compatible function prototype lowering #2

Open xlauko opened 2 years ago

xlauko commented 2 years ago

We want to emit ABI compatible low-level dialect. In clang, this is performed before lowering to LLVM. We want to give the same result when lowering from high-level in the low-level dialect. Lowering requires data layout modeling first.

Problems to solve:

[ ] implement mlir type transformation pass that will split types/merge types/promote to allocas according to ABI rules
[ ] keep provenance to original type

lkorenc commented 1 year ago

This is a mountain of work, therefore progress will be tracked in separate issues with abi-lowering tag.