diff options
| author | Bernd Edlinger <bernd.edlinger@hotmail.de> | 2016-11-03 12:52:19 +0000 |
|---|---|---|
| committer | Bernd Edlinger <edlinger@gcc.gnu.org> | 2016-11-03 12:52:19 +0000 |
| commit | 5de3e2d862e02f7b0c8efe8fbec2c15592302ba9 (patch) | |
| tree | bbb121d397d87880f925bad35ace530d7cf2d7fd | |
| parent | 4098e9b907f82950130ed6820be9236727be7371 (diff) | |
| download | gcc-5de3e2d862e02f7b0c8efe8fbec2c15592302ba9.zip gcc-5de3e2d862e02f7b0c8efe8fbec2c15592302ba9.tar.gz gcc-5de3e2d862e02f7b0c8efe8fbec2c15592302ba9.tar.bz2 | |
re PR libgcc/78067 (libgcc2 calls count_leading_zero with 0)
2016-11-03 Bernd Edlinger <bernd.edlinger@hotmail.de>
PR libgcc/78067
* libgcc2.c (__floatdisf, __floatdidf): Avoid undefined results from
count_leading_zeros.
testsuite:
2016-11-03 Bernd Edlinger <bernd.edlinger@hotmail.de>
PR libgcc/78067
* gcc.dg/torture/fp-int-convert.h: Add more conversion tests.
From-SVN: r241817
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/fp-int-convert.h | 3 | ||||
| -rw-r--r-- | libgcc/ChangeLog | 6 | ||||
| -rw-r--r-- | libgcc/libgcc2.c | 5 |
4 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 455401f..5f59bd8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-11-03 Bernd Edlinger <bernd.edlinger@hotmail.de> + + PR libgcc/78067 + * gcc.dg/torture/fp-int-convert.h: Add more conversion tests. + 2016-11-03 Senthil Kumar Selvaraj <senthil_kumar.selvaraj@atmel.com> * gcc.c-torture/execute/pr78170.c: Require int32plus. diff --git a/gcc/testsuite/gcc.dg/torture/fp-int-convert.h b/gcc/testsuite/gcc.dg/torture/fp-int-convert.h index 59773e3..bbe9666 100644 --- a/gcc/testsuite/gcc.dg/torture/fp-int-convert.h +++ b/gcc/testsuite/gcc.dg/torture/fp-int-convert.h @@ -53,6 +53,8 @@ do { \ TEST_I_F_VAL (U, F, HVAL1U (P, U), P_OK (P, U)); \ TEST_I_F_VAL (U, F, HVAL1U (P, U) + 1, P_OK (P, U)); \ TEST_I_F_VAL (U, F, HVAL1U (P, U) - 1, P_OK (P, U)); \ + TEST_I_F_VAL (I, F, WVAL0S (I), 1); \ + TEST_I_F_VAL (I, F, -WVAL0S (I), 1); \ } while (0) #define P_OK(P, T) ((P) >= sizeof(T) * CHAR_BIT) @@ -74,6 +76,7 @@ do { \ ? (S)1 \ : (((S)1 << (sizeof(S) * CHAR_BIT - 2)) \ + ((S)3 << (sizeof(S) * CHAR_BIT - 2 - P)))) +#define WVAL0S(S) (S)((S)1 << (sizeof(S) * CHAR_BIT / 2 - 1)) #define TEST_I_F_VAL(IT, FT, VAL, PREC_OK) \ do { \ diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index e2e5327..e81444c 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,9 @@ +2016-11-03 Bernd Edlinger <bernd.edlinger@hotmail.de> + + PR libgcc/78067 + * libgcc2.c (__floatdisf, __floatdidf): Avoid undefined results from + count_leading_zeros. + 2016-11-02 Uros Bizjak <ubizjak@gmail.com> * Makefile.in (LIB2_DIVMOD_FUNCS): Add _divmoddi4. diff --git a/libgcc/libgcc2.c b/libgcc/libgcc2.c index 1d71fc4..97b9237 100644 --- a/libgcc/libgcc2.c +++ b/libgcc/libgcc2.c @@ -1674,6 +1674,11 @@ FUNC (DWtype u) hi = -(UWtype) hi; UWtype count, shift; +#if !defined (COUNT_LEADING_ZEROS_0) || COUNT_LEADING_ZEROS_0 != W_TYPE_SIZE + if (hi == 0) + count = W_TYPE_SIZE; + else +#endif count_leading_zeros (count, hi); /* No leading bits means u == minimum. */ |