Patch: Consistently generate widening multiplies

[Bernd Schmidt]

Richard Guenther wrote:
> 
> As you use WIDEN_MULT_EXPR, can you add/adjust gimple
> checking code in tree-cfg.c:verify_gimple_assign_binary?

Can do.  I've put some asserts in expand_expr but I guess they can be moved.

> It seems you would allow different width operands?

Not really.  The new pass verifies that TYPE_PRECISION (inner) == 2 *
TYPE_PRECISION (outer).  It doesn't really make sense to allow anything
else since we don't have the optabs for it.


Bernd
-- 
This footer brought to you by insane German lawmakers.
Analog Devices GmbH      Wilhelm-Wagenfeld-Str. 6      80807 Muenchen
Sitz der Gesellschaft Muenchen, Registergericht Muenchen HRB 40368
Geschaeftsfuehrer Thomas Wessel, William A. Martin, Margaret Seif