Fix for 56175

[Yuri Rumyantsev]

Hi All,

This patch is aimed to recognize (A & C) ^ (B & C) -> (A ^ B) & C
pattern in simpify_bitwise_binary for short integer types.
The fix is very simple - we simply turn off short type sinking at the
first pass of forward propagation allows to get
+10% speedup for important benchmark Coremark 1.0 at x86 Atom and
+5-7% for other x86 platforms too.
Bootstrapping and regression testing were successful on x86-64.

Is it Ok for trunk?

ChangeLog.

2013-02-20  Yuri Rumyantsev  <ysrumyan@gmail.com>

	PR tree-optimization/56175
	* tree-ssa-forwprop.c (simplify_bitwise_binary) : Avoid type sinking
	at 1st forwprop pass to recognize (A & C) ^ (B & C) -> (A ^ B) & C
	for short integer types.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch
Type: application/octet-stream
Size: 931 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20130220/8cfb6ed8/attachment.obj>