Add truncl tests related to BZ#16414

Backport of 4655c291d1808c35b7c54236ae62be7a3aaa0a2d

diff --git a/ChangeLog b/ChangeLog
index 61b22d62ccd7c33fc6a8d7c6e93a4e17e5e2e831..4919f18432a22b9537f3770664e3da728f8a5a2e 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2014-03-14  Adhemerval Zanella  <azanella@linux.vnet.ibm.com>
+
+       * math/libm-test.inc (trunc_test_data): Add more tests related to
+       BZ#16414.
+
 2014-03-12  Adhemerval Zanella  <azanella@linux.vnet.ibm.com>
 
        [BZ #16689]

diff --git a/math/libm-test.inc b/math/libm-test.inc
index 027dfb964e4122a6f0039223202c7654760723f0..f8aca4622ce374aa1a088a77ae4b7d621831cae5 100644 (file)
--- a/math/libm-test.inc
+++ b/math/libm-test.inc
@@ -12461,6 +12461,15 @@ static const struct test_f_f_data trunc_test_data[] =
     TEST_f_f (trunc, -72057594037927936.75L, -72057594037927936.0L),
     TEST_f_f (trunc, -72057594037927937.5L, -72057594037927937.0L),
 
+    /* Check cases where first double is a exact integer higher than 2^52 and
+       the precision is determined by second long double for IBM long double.  */
+    TEST_f_f (trunc,  34503599627370498.515625L, 34503599627370498.0L),
+    TEST_f_f (trunc, -34503599627370498.515625L, -34503599627370498.0L),
+# if LDBL_MANT_DIG >= 106
+    TEST_f_f (trunc,  1192568192774434123539907640624.484375L, 1192568192774434123539907640624.0L),
+    TEST_f_f (trunc, -1192568192774434123539907640624.484375L, -1192568192774434123539907640624.0L),
+# endif
+
     TEST_f_f (trunc, 10141204801825835211973625643007.5L, 10141204801825835211973625643007.0L),
     TEST_f_f (trunc, 10141204801825835211973625643008.25L, 10141204801825835211973625643008.0L),
     TEST_f_f (trunc, 10141204801825835211973625643008.5L, 10141204801825835211973625643008.0L),