From: Roger Sayle <roger@nextmovesoftware.com>
Date: Thu, 26 Aug 2021 17:51:46 +0000 (+0100)
Subject: [Committed] Tidy up !POINTER_TYPE_P test in match.pd LSHIFT_EXPR folding
X-Git-Tag: basepoints/gcc-13~5150
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=a2d9b558299df91e9c34a583eb0f0b14d1cacce9;p=thirdparty%2Fgcc.git

[Committed] Tidy up !POINTER_TYPE_P test in match.pd LSHIFT_EXPR folding

As suggested by Richard Biener in the comments of PR middle-end/102029,
the new test "INTEGRAL_TYPE_P (type) && !POINTER_TYPE_P (type) ..." is
redundant, and just "INTEGRAL_TYPE_P (type)" is the preferred form.

2021-08-26  Roger Sayle  <roger@nextmovesoftware.com>
	    Richard Biener  <rguenther@suse.de>

gcc/ChangeLog
	* match.pd (shift transformations): Remove a redundant
	!POINTER_TYPE_P check.
---

diff --git a/gcc/match.pd b/gcc/match.pd
index e5bbb123a6ad..f421c74b62c7 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -3390,7 +3390,6 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
 (simplify
  (convert (lshift:s@0 (convert:s@1 @2) INTEGER_CST@3))
  (if (INTEGRAL_TYPE_P (type)
-      && !POINTER_TYPE_P (type)
       && tree_nop_conversion_p (type, TREE_TYPE (@0))
       && INTEGRAL_TYPE_P (TREE_TYPE (@2))
       && TYPE_PRECISION (TREE_TYPE (@2)) <= TYPE_PRECISION (type))