sampsyo / quala

custom type systems for Clang
MIT License
96 stars 7 forks source link

Generate metadata for globals and parameters #9

Open sampsyo opened 10 years ago

sampsyo commented 10 years ago

The current metadata is instruction-level-only. We also should generate metadata for globals and for function parameters (and possibly return values). This will require a level of indirection since LLVM doesn't let you associate metadata directly with a global. This can work more or less how debug information for globals and functions already works: a single, module-global map from names to metadata.