[PATCH] D22295: Introduce !splitpoint metadata and GlobalSplit pass.

[Peter Collingbourne via llvm-commits]

pcc added a comment.

Thanks Eli. I had similar concerns, but they seemed largely theoretical, as I was unable to come up with a good example of a optimization pass that could reasonably break this, but your example of a loop re-roller seems at least plausible.

I will think about whether there's some reasonable IR extension we can make here. I'm thinking either a constexpr extension, or maybe something with aliases representing the individual objects.


https://reviews.llvm.org/D22295