In case people here haven't seen it yet: https://internals.rust-lang.org/t/llvm-discussion-about-restrict-noalias/9722
I would love to contribute, but I haven't even found the time to read Jeroen Dobbelaere's proposal, and probably won't until after EuroLLVM
Finally got around to reading that RFC... unfortunately I can't say that I really understood any of it. Seems to be very convoluted and I suspect that it will make noalias practically unusable for rust (because unlike C restrict, pretty much everything is noalias for us).
It was hard to follow, indeed.
which is exactly why it is hard to oppose it or contirbute to it
my understanding, however, was that the proposal does not get rid of the currently available alias annotations
They hosted a round table at EuroLLVM and I attended. Even in such an interactive discussion I didn't really manage to a good idea of what the IR semantics of their proposal would be (or even how it would be used by AA passes), they kept talking in C terms. I got the impression they want to map C
restrict rules 1:1 to IR. That's fair in a way, but probably indeed makes it useless for Rust.