Fix for 56175

[Yuri Rumyantsev <ysrumyan at gmail dot com>]

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.

Attachment: patch
Description: Binary data