On Tue, 2023-12-12 at 17:50 +0800, Jiahao Xu wrote: > diff --git a/gcc/testsuite/gcc.target/loongarch/short-circuit.c > b/gcc/testsuite/gcc.target/loongarch/short-circuit.c > new file mode 100644 > index 00000000000..2cef0193466 > --- /dev/null > +++ b/gcc/testsuite/gcc.target/loongarch/short-circuit.c > @@ -0,0 +1,19 @@ > +/* { dg-do compile } */ > +/* { dg-options "-O2 -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; > +} > +/* { dg-final { scan-tree-dump-times "if" 6 "gimple" } } */
This test already passes without defining LOGICAL_OP_NON_SHORT_CIRCUIT. Or am I missing something here? -- Xi Ruoyao <xry...@xry111.site> School of Aerospace Science and Technology, Xidian University