Messages in this thread | | | From | Linus Torvalds <> | Date | Thu, 17 Mar 2022 18:21:26 -0700 | Subject | Re: [PATCH v5] x86: use builtins to read eflags |
| |
On Thu, Mar 17, 2022 at 5:31 PM Segher Boessenkool <segher@kernel.crashing.org> wrote: > > On Thu, Mar 17, 2022 at 01:36:19PM -0700, Linus Torvalds wrote: > > > > So yes, a builtin can improve code generation. > > Yes, and they are much easier to write, and can be written correctly by > lookenspeepers who just *have* to twist every knob that they can -- more > easily than inline asm anyway, which is unforgiving to the extreme.
What?
They aren't easier for the user: they are entirely undocumented, they can't be fvound anywhere sane, and even if you do find them, you don't actually have a clue which compiler version implements them.
If you know about the name - and how would you? - one of the first google hits when you try to figure out what it does is the gcc bugzilla about how they are undocumented:
https://gcc.gnu.org/bugzilla//show_bug.cgi?id=92137
and then when you look at that bugzilla, the reply to the "it's undocumented" is _literally_
"You shouldn't use those, they are for internal use only. That's the reason they are not documented"
so I call BS on them being "easier to write".
I also call BS on the "can be written correctly", since the actual gcc built-in is not just undocumented, it is also (a) badly defined in that there is no chance in hell it can ever do anything sane thanks to missing serialization definitions, and (b) clearly seriously buggy and generates completely bogus code as Andrew Cooper found out.
Now, compare that to just using inline asm: it's trivial, and we've used it basically unchanged for three decades.
So seriously: when I say "yes, a builtin can improve code generation", I mean it purely in the theoretical sense.
Because in the *practical* sense that actually takes reality into account, I can unequivocally say that the built-in is pure and utter garbage, should never be used, and should actively be deleted from the gcc source base because it's so fundamentally broken.
Do you really want to make arguments that are counter-factual when the facts are *this* clear?
Linus
| |