https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116718
--- Comment #2 from Jose E. Marchesi ---
As far as I can tell the feature requires no inlining to happen. From the llvm
patch:
After this patch-set verifier would rewrite the program below:
r2 = 1
*(u64 *)(r10 - 32) = r2
call %[bpf
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116718
--- Comment #1 from Andrew Pinski ---
Note gcc does ipa based register allocation. I wonder if most of these like
attributes are just to work around llvm not doing that.