GitLab

Since we have two fp-vrp.o files, the -u argument of ar sometimes (on
rebuilds) missed one. As -u is not necessary anyways, we now include both.

This is safer for resources the user requires itself, since the
information must live longer than the analysis then.

Now we have a simple optimization actually using DCA.

warning: no previous prototype for 'dca_analyze' [-Wmissing-prototypes]

Factor out the following function:

/* Compute VRP fixpoint.  The Result is available via links to
 * vrp_bitinfo*, allocated on client_obst. */
void fp_vrp_analyze(ir_graph* const irg, struct obstack *client_obst);

It doesn't make sense as long as we can't set proper oparity_binary in
the be node scripts at the same time. Furthermore the benefits of the
flag should be marginal to nothing here.

Old gnu assemblers don't support it (unfortunately we are using such old
binutils in the invasic project - gaislers sparc-elf-gcc-4.4.2 package)

- Semantic was strange: shallow checking for pointers, deep checking for
  structs (because no real solution in case of cycles was implemented)
- Implementation was incomplete/buggy
- Nobody was using it anyway

This is the conservative and fast solution. We would get better results
if we would follow all Sync predecessors and ensure there is a store on
all of them (or after a join point).

- use c99 features
- no unexpected and unnecessary tuple removing/graph modifying
- translate some comments from german to english

This should fix testsuite/opt/switch_ll.c

They weren't used in a sensible way and their semantic for
non-arithmetic ops was unclear.
Also implicitely fixes a bunch of bugs where these where set but no op_index
was set at the same time.

oparity_unary, oparity_binary require opindex to be set, which wasn't
always the case.
Also people seem to expect certain semantics from unops/binops, like
being arithmetic operations. So we shouldn't automatically set
oparity_XXX.