[Bug c++/66520] bad code generated code for branches with single &
ebotcazou at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Sun Jun 14 10:57:00 GMT 2015
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66520
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Compiler should not generate the same code, and should listen to the
> developer, when she/he connects predicates with single `&'. I already wrote
> that I did benchmarks, and also mentioned a paper from a top computer
> science conference (which I see you didn't even bother to read it) which has
> all the evidence required.
You're still missing the point! If the non-branchy form is the fastest, then
the compiler should generate it also with the short-circuit form &&.
> And I also mentioned it that Intel's compiler is catching this very well.
Nope, the Intel compiler is inconsistent here (unlike GCC and Clang).
More information about the Gcc-bugs
mailing list