https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63467
--- Comment #6 from Andi Kleen <andi-gcc at firstfloor dot org> --- For the marker case it's enough if it just stays in the same position in the basic block and does get duplicated if the BB gets too. That's somewhat special semantics, that is why I think it would need some way to annotate (asm const?) Ok maybe Andrew's trick works, but it seems fragile. Would that work for other loop transformations (like graphite) too?