[PATCH 2/3] Add simplify rules for wrapped binary operations.

[Robin Dapp]

I'm going to commit the attached two patches.  Removed the redundant
changes in test cases and added constructor initialization of
fold_all_stmts.

Regards
 Robin

--

gcc/ChangeLog:

2019-08-21  Robin Dapp  <rdapp@linux.ibm.com>

	* gimple-loop-versioning.cc (loop_versioning::record_address_fragment):
	Add nop_convert case.
	* tree-ssa-propagate.c
(substitute_and_fold_dom_walker::before_dom_children):
	Fold all statements if requested.
	* tree-ssa-propagate.h (class substitute_and_fold_engine):
	Allow to fold all statements.
	* tree-vrp.c (class vrp_folder):
	Let substitute_and_fold_engine fold all statements.

gcc/fortran/ChangeLog:

2019-08-21  Robin Dapp  <rdapp@linux.ibm.com>

	* trans-intrinsic.c (gfc_conv_intrinsic_findloc): Initialize
	to prevent "maybe used uninitialized".

--

gcc/ChangeLog:

2019-08-21  Robin Dapp  <rdapp@linux.ibm.com>

	* match.pd: Add (T)(A) + CST -> (T)(A + CST).

gcc/testsuite/ChangeLog:

2019-08-21  Robin Dapp  <rdapp@linux.ibm.com>

	* gcc.dg/tree-ssa/copy-headers-5.c: Do not run vrp pass.
	* gcc.dg/tree-ssa/copy-headers-7.c: Do not run vrp pass.
	* gcc.dg/tree-ssa/loop-15.c: Remove XFAIL.
	* gcc.dg/tree-ssa/pr23744.c: Change search pattern.
	* gcc.dg/wrapped-binop-simplify.c: New test.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-fold.diff
Type: text/x-patch
Size: 3400 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20190821/7f979076/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-matchpd.diff
Type: text/x-patch
Size: 4681 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20190821/7f979076/attachment-0001.bin>