On 12/3/20 2:22 AM, Ilya Leoshkevich wrote: > According to > https://gcc.gnu.org/pipermail/gcc/2020-November/234344.html, GCC is > allowed to perform optimizations that remove floating point traps, > since they do not affect the modeled control flow. This interferes with > two signaling comparison tests, where (a <= b && a >= b) is turned into > (a <= b && a == b) by test_for_singularity, into ((a <= b) & (a == b)) > by vectorizer and then into (a == b) eliminate_redundant_comparison. > > Fix by making traps affect the control flow by turning them into > exceptions. > > gcc/testsuite/ChangeLog: > > 2020-12-03 Ilya Leoshkevich <i...@linux.ibm.com> > > * gcc.target/s390/zvector/autovec-double-signaling-eq.c: Build > with exceptions. > * gcc.target/s390/zvector/autovec-float-signaling-eq.c: > Likewise.
Ok. Thanks! Andreas
