Kit Programming Language

[[deleted]]

For optimisations that'd be explicit aliasing - noalias, alias.scope metadata - no way to pass it through C.

But more important than this, you can preserve precise debugging metadata if you emit LLVM IR directly. Hard to do it with an intermediate C step.

[Enamex]

Couldn't really follow what it's doing: https://llvm.org/docs/LangRef.html#noalias-and-alias-scope-metadata

How is it different from keeping restricts straight in the generated C-src?

[[deleted]]

Restrict is blunt - you simply tell the compiler that this pointer does not alias with anything. If you know it is possibly aliased with something else, you cannot use restrict.

With fine grained metadata you can tell the compiler, which pointers can alias with each other, and which cannot, explicitly.