diff mbox series

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

Message ID 001c01d79aa3$673bd480$35b37d80$@nextmovesoftware.com
State New
Headers show
Series [Committed] Tidy up !POINTER_TYPE_P test in match.pd LSHIFT_EXPR folding | expand

Commit Message

Roger Sayle Aug. 26, 2021, 5:54 p.m. UTC 
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.

Committed as obvious/pre-approved, after a "make bootstrap" and
"make -k check" with no new failures on x86_64-pc-linux-gnu.


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.

Roger
--
diff mbox series

Patch

diff --git a/gcc/match.pd b/gcc/match.pd
index e5bbb12..f421c74 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))