[llvm] draft: inline asm mode (PR #146215)

[Andrew Pinski via llvm-commits]

pinskia wrote:

> > ...static analyzer for inline-asm could be broken in general and not just because of things like the fix needed for [rust-lang/rust#143021](https://github.com/rust-lang/rust/issues/143021) but for other reasons.
> 
> Its broken-ness is the incentive for considering another approach - thus this one. Does emitting the directives around the emitted-template-label not solve the problem? Or are there other general issues to consider?

Yes then you could get a false negative.
That is one part of the inline-asm uses `%=` correctly but not another part (of the same template).
So the question is what is the balance you want here. Is more false positives ok or more false negatives ok?

I also think the name of the directive should be more like `.labels local_only`, `.labels all` because at this point it is not about inline-asm but rather allowing labels which are local; rather than allowing local symbols. 


https://github.com/llvm/llvm-project/pull/146215