gcc/ChangeLog

	* match.pd: ((X inner_op C0) outer_op C1) New pattern.
	((X & C2) << C1): Expand to...
	(X {&,^,|} C2 << C1): ...This.
	((X & C2) >> C1): Expand to...
	(X {&,^,|} C2 >> C1): ...This.

gcc/testsuite/ChangeLog

	* gcc.dg/tree-ssa/forwprop-33.c: New.


Co-Authored-By: Hale Wang <hale.wang@arm.com>

From-SVN: r228661