[PR,target/79752] fix rs6000 power9 peephole2 for udiv/umod -- backported to gcc-6-branch
diff mbox

Message ID 1489502865.5885.1.camel@linux.vnet.ibm.com
State New
Headers show

Commit Message

Aaron Sawdey March 14, 2017, 2:47 p.m. UTC
This showed up in power9 code for __divkf3 software float support and
caused a divd to be emitted where we needed a divdu.

backported/bootstrapped/regtested to gcc-6-branch


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

	Backport from mainline
	2017-02-28  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.

Patch
diff mbox

Index: gcc/config/rs6000/rs6000.md
===================================================================
--- gcc/config/rs6000/rs6000.md (revision 246123)
+++ gcc/config/rs6000/rs6000.md (working copy)
@@ -3063,8 +3063,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)))