diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2016-06-16 12:20:45 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2016-06-16 12:20:45 +0200 |
| commit | c577adb24fdab2a324a9c60d612c00c8d03a30e4 (patch) | |
| tree | 43f6e225a24c0b28e7f67c299aaad6deb3cbc19a | |
| parent | 36d3d5d3db9e70689f4eb47baf18f59d545e73ad (diff) | |
| download | gcc-c577adb24fdab2a324a9c60d612c00c8d03a30e4.zip gcc-c577adb24fdab2a324a9c60d612c00c8d03a30e4.tar.gz gcc-c577adb24fdab2a324a9c60d612c00c8d03a30e4.tar.bz2 | |
re PR target/71554 (Miscompilation of __builtin_mul_overflow on i686)
PR target/71554
* gcc.c-torture/execute/pr71554.c: New test.
From-SVN: r237512
| -rw-r--r-- | gcc/ChangeLog | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr71554.c | 28 |
3 files changed, 32 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e720868..b93a689 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -4,6 +4,7 @@ 2016-06-16 Jakub Jelinek <jakub@redhat.com> + PR target/71554 * config/i386/i386.md (setcc + movzbl peephole2): Use reg_set_p. (setcc + and peephole2): Likewise. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7362ecc..b4a20ed 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2016-06-16 Jakub Jelinek <jakub@redhat.com> + PR target/71554 + * gcc.c-torture/execute/pr71554.c: New test. + PR rtl-optimization/71532 * gcc.dg/torture/pr71532.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/execute/pr71554.c b/gcc/testsuite/gcc.c-torture/execute/pr71554.c new file mode 100644 index 0000000..f0cb4bb --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr71554.c @@ -0,0 +1,28 @@ +/* PR target/71554 */ + +int v; + +__attribute__ ((noinline, noclone)) void +bar (void) +{ + v++; +} + +__attribute__ ((noinline, noclone)) +void +foo (unsigned int x) +{ + signed int y = ((-__INT_MAX__ - 1) / 2); + signed int r; + if (__builtin_mul_overflow (x, y, &r)) + bar (); +} + +int +main () +{ + foo (2); + if (v) + __builtin_abort (); + return 0; +} |