[gcc(refs/users/aoliva/heads/testme)] verbosify unified nonconst merges

[Alexandre Oliva]

https://gcc.gnu.org/g:b90d7a7ffa1fc32af74fdf09ba89e16a4def59ee

commit b90d7a7ffa1fc32af74fdf09ba89e16a4def59ee
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Thu Sep 17 09:46:56 2020 -0300

    verbosify unified nonconst merges

Diff:
---
 gcc/fold-const.c | 27 ++++++++++++++++++++++++++-
 1 file changed, 26 insertions(+), 1 deletion(-)

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 52ac05f43a4..961e8954128 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -6701,6 +6701,22 @@ fold_truth_andor_1 (location_t loc, enum tree_code code, tree truth_type,
       ll_mask = const_binop (BIT_IOR_EXPR, ll_mask, rl_mask);
       lr_mask = const_binop (BIT_IOR_EXPR, lr_mask, rr_mask);
 
+      bool report
+	= (l_split_load
+	   || (!(lnbitsize == rnbitsize
+		 && xll_bitpos == xlr_bitpos
+		 && lnbitpos >= 0
+		 && rnbitpos >= 0)
+	       && !(((ll_bitsize + ll_bitpos == rl_bitpos
+		      && lr_bitsize + lr_bitpos == rr_bitpos)
+		     || (ll_bitpos == rl_bitpos + rl_bitsize
+			 && lr_bitpos == rr_bitpos + rr_bitsize))
+		    && ll_bitpos >= 0
+		    && rl_bitpos >= 0
+		    && lr_bitpos >= 0
+		    && rr_bitpos >= 0)));
+
+      tree orig_lhs = lhs, orig_rhs = rhs;
       lhs = make_bit_field_ref (loc, ll_inner, ll_arg,
 				lntype, lnbitsize, lnbitpos,
 				ll_unsignedp || rl_unsignedp, ll_reversep);
@@ -6750,7 +6766,16 @@ fold_truth_andor_1 (location_t loc, enum tree_code code, tree truth_type,
       if (! integer_all_onesp (lr_mask))
 	rhs = build2_loc (loc, BIT_AND_EXPR, type, rhs, lr_mask);
 
-      return build2_loc (loc, wanted_code, truth_type, lhs, rhs);
+      result = build2_loc (loc, wanted_code, truth_type, lhs, rhs);
+
+      if (report)
+	inform (loc, "merged nc extra %qE and %qE into %qE",
+		orig_lhs, orig_rhs, result);
+      else if (l_xor || r_xor)
+	inform (loc, "merged extra %qE and %qE into %qE",
+		orig_lhs, orig_rhs, result);
+
+      return result;
     }
 
   /* Handle the case of comparisons with constants.  If there is something in