https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116615

--- Comment #9 from Palmer Dabbelt <palmer at gcc dot gnu.org> ---
(In reply to Xi Ruoyao from comment #3)
> FYI on LoongArch it's claimed LOGICAL_OP_NON_SHORT_CIRCUIT=0 mostly helps FP
> benchmarks, something like
> 
> /* { dg-options "-O2 -ffast-math -fdump-tree-gimple" } */
> 
> int
> short_circuit (float *a)
> {
>   float t1x = a[0];
>   float t2x = a[1];
>   float t1y = a[2];
>   float t2y = a[3];
>   float t1z = a[4];
>   float t2z = a[5];
> 
>   if (t1x > t2y  || t2x < t1y  || t1x > t2z || t2x < t1z || t1y > t2z || t2y
> < t1z)
>     return 0;
> 
>   return 1;
> }
> 
> See r14-8446.  Maybe because FP comparison is more expensive.
> 
> I'm really not a fan of the change because without -ffast-math (which should
> really not be used for 99.9% real-life code) the FP comparision isn't
> allowed to be short-circuited anyway.  Generally I'm much frustrated when
> all the people seem using -ffast-math to bench things and justify changes.

Ya, I also kind of just ignore the -ffast-math stuff...

Reply via email to