diff options
| author | Jeff Law <law@redhat.com> | 2020-04-18 09:39:18 -0600 |
|---|---|---|
| committer | Jeff Law <law@redhat.com> | 2020-04-18 09:39:18 -0600 |
| commit | baf3b9b2e5259558ef86bd62398e2ccecd7a4a4c (patch) | |
| tree | e6f26876f0c50c218be7ffbd8a442c88769f533d /gcc/testsuite | |
| parent | b57e1621eb76ba80c949ad098829aa8171a8c4ab (diff) | |
| download | gcc-baf3b9b2e5259558ef86bd62398e2ccecd7a4a4c.zip gcc-baf3b9b2e5259558ef86bd62398e2ccecd7a4a4c.tar.gz gcc-baf3b9b2e5259558ef86bd62398e2ccecd7a4a4c.tar.bz2 | |
Don't let DEBUG_INSNSs change register renaming decisions
PR debug/94439
* regrename.c (check_new_reg_p): Ignore DEBUG_INSNs when walking
the chain.
PR debug/94439
* gcc.dg/torture/pr94439.c: New test.
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr94439.c | 55 |
2 files changed, 60 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index db69156..c2b5ddf 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2020-04-18 Jeff Law <law@redhat.com> + + PR debug/94439 + * gcc.dg/torture/pr94439.c: New test. + 2020-04-18 Iain Buclaw <ibuclaw@gdcproject.org> * gdc.dg/link.d: Use d_runtime_has_std_library effective target. diff --git a/gcc/testsuite/gcc.dg/torture/pr94439.c b/gcc/testsuite/gcc.dg/torture/pr94439.c new file mode 100644 index 0000000..a461b2f --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr94439.c @@ -0,0 +1,55 @@ +/* { dg-do compile { target i?86-*-* x86_64-*-* } } */ +/* { dg-additional-options "-flive-patching=inline-clone -funroll-loops -fno-tree-forwprop -fno-expensive-optimizations -mstack-arg-probe -fcompare-debug" } */ +/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */ + +extern void exit (int); +extern void abort (void); + +#define COMPARE_BODY(A, B, TYPE, COPYSIGN) \ + do { \ + TYPE s1 = COPYSIGN ((TYPE) 1.0, A); \ + TYPE s2 = COPYSIGN ((TYPE) 1.0, B); \ + if (s1 != s2) \ + abort (); \ + if ((__builtin_isnan (A) != 0) != (__builtin_isnan (B) != 0)) \ + abort (); \ + if ((A != B) != (__builtin_isnan (A) != 0)) \ + abort (); \ + } while (0) + +void +comparel (long double a, long double b) +{ + COMPARE_BODY (a, b, long double, __builtin_copysignl); +} + +void +comparecl (_Complex long double a, long double r, long double i) +{ + comparel (__real__ a, r); + comparel (__imag__ a, i); +} + +#define VERIFY(A, B, TYPE, COMPARE) \ + do { \ + TYPE a = A; \ + TYPE b = B; \ + _Complex TYPE cr = __builtin_complex (a, b); \ + static _Complex TYPE cs = __builtin_complex (A, B); \ + COMPARE (cr, A, B); \ + COMPARE (cs, A, B); \ + } while (0) + +#define ALL_CHECKS(PZ, NZ, NAN, INF, TYPE, COMPARE) \ + do { \ + VERIFY (NAN, NZ, TYPE, COMPARE); \ + VERIFY (INF, NZ, TYPE, COMPARE); \ + VERIFY (INF, NAN, TYPE, COMPARE); \ + VERIFY (INF, INF, TYPE, COMPARE); \ + } while (0) + +void +check_long_double (void) +{ + ALL_CHECKS (0.0l, -0.0l, __builtin_nanl(""), __builtin_infl(), long double, comparecl); +} |