re PR target/79752 (incorrect code generation for __divkf3 with -O2 -mcpu=power9)

2017-03-01  Aaron Sawdey  <acsawdey@linux.vnet.ibm.com>

        PR target/79752
        * config/rs6000/rs6000.md (peephole2 for udiv/umod): Should emit
        udiv rather than div since input pattern is unsigned.

From-SVN: r245817

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d791c18247b9b353af9aa4b35435742684b30064..f2fb7ff72a0c2816396fddb8eec72b16e2417fa1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2017-03-01  Aaron Sawdey  <acsawdey@linux.vnet.ibm.com>
+
+       PR target/79752
+       * config/rs6000/rs6000.md (peephole2 for udiv/umod): Should emit
+       udiv rather than div since input pattern is unsigned.
+
 2017-03-01  Uros Bizjak  <ubizjak@gmail.com>
 
        * config/i386/i386.c (print_reg): Warn for values of

diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
index 06c0a8b8c3e9223ddeb51bb148f2a8823cd158dd..466075a8c7519fe9126e83d88496ecb18c54824a 100644 (file)
--- a/gcc/config/rs6000/rs6000.md
+++ b/gcc/config/rs6000/rs6000.md
@@ -3161,8 +3161,8 @@
    && ! reg_mentioned_p (operands[3], operands[1])
    && ! reg_mentioned_p (operands[3], operands[2])"
   [(set (match_dup 0)
-       (div:GPR (match_dup 1)
-                (match_dup 2)))
+       (udiv:GPR (match_dup 1)
+                 (match_dup 2)))
    (set (match_dup 3)
        (mult:GPR (match_dup 0)
                  (match_dup 2)))