[PATCH][RFC] Force predicate computations to separate stmts

[Richard Guenther <rguenther@suse.de>]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 1050 bytes --]


This forces predicate computation in GIMPLE_CONDs and COND_EXPRs
into separate statements making GIMPLE_ASSIGNs the only place
where predicate computation happens.

This helps streamlining the code and allows for example value-numbering
to do sth with these predicates (and eventually drive jump-threading
from it).

The patch is largely mechanical (and after some mechanics some
helpers were invented but not retrofitted to earlier uses) - it is
a draft.  A load of testcase fails are expected because dumps
are different (as usual) and I simply disabled the most ugly
GIMPLE_COND code which is from auto-parallelization.

Other than that the patch bootstraps on x86_64-unknown-linux-gnu
for all languages without -Werror (I managed to partly disable
the new fancy uninitialized variable thing and so we get extra
warnings).

But - I'm fishing for comments (as usual) on this GIMPLE IL change.
(prominent examples where code simplifications were possible are
tree forwprop, VRP and DOM).

Richard.

(no changelog yet, bzipped attachment - it's big)

[-- Attachment #2: Type: APPLICATION/x-bzip, Size: 28193 bytes --]