match.pd: Add BIT_FIELD_REF canonicalizations.

2018-07-24 Richard Biener <rguenther@suse.de> * match.pd: Add BIT_FIELD_REF canonicalizations. From-SVN: r262946

match.pd: Add BIT_FIELD_REF canonicalizations.
2018-07-24 Richard Biener <rguenther@suse.de> * match.pd: Add BIT_FIELD_REF canonicalizations. From-SVN: r262946
6ec96dcb · Richard Biener · Richard Biener · 4f3c75ba · 6ec96dcb · 6ec96dcb
Commit 6ec96dcb authored Jul 24, 2018 by Richard Biener Committed by Richard Biener Jul 24, 2018
Hide whitespace changes
Inline Side-by-side

Showing with 17 additions and 0 deletions

gcc/ChangeLog
+4 -0

gcc/match.pd
+13 -0

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+2018-07-24  Richard Biener  <rguenther@suse.de>
+
+	* match.pd: Add BIT_FIELD_REF canonicalizations.
+
 2018-07-23  Bernd Edlinger  <bernd.edlinger@hotmail.de>

 	PR c/86617

--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -4659,6 +4659,19 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
 /* Canonicalizations of BIT_FIELD_REFs.  */

 (simplify
+ (BIT_FIELD_REF (BIT_FIELD_REF @0 @1 @2) @3 @4)
+ (BIT_FIELD_REF @0 @3 { const_binop (PLUS_EXPR, bitsizetype, @2, @4); }))
+
+(simplify
+ (BIT_FIELD_REF (view_convert @0) @1 @2)
+ (BIT_FIELD_REF @0 @1 @2))
+
+(simplify
+ (BIT_FIELD_REF @0 @1 integer_zerop)
+ (if (tree_int_cst_equal (@1, TYPE_SIZE (TREE_TYPE (@0))))
+  (view_convert @0)))
+
+(simplify
 (BIT_FIELD_REF @0 @1 @2)
 (switch
  (if (TREE_CODE (TREE_TYPE (@0)) == COMPLEX_TYPE