GitLab

This fixes opt/reassoc033.c.

This fixes opt/fehler310.c.

This fixes opt/fehler312.c.

This fixes opt/fehler308.c.

This fixes opt/fehler311.c.

When distributing Conv over a Sub, build a new Sub, not an Add.

We now restart the optimization as soon as we changed an operand or the
relation. This makes the whole optimization less error-prone.

This fixes opt/fehler309.c.

This allows the use the function in more cases.

The involved conversion are all same size and won't create extra target
instructions. So we can safely perform the transformtion at the Add/Sub
level to get a normalizing effect. This also fixes a problem where an
AddP was constructed with the wrong offset_mode.

This fixes firm-testsuite/opt/fehler307.c

We can get a proper mode for pointer-pointer from
get_reference_offset_mode().

Also choose a signed integer type which is more typical for offsets.

Other localopts/confirm construction already optimize this case, so
testing a==b is enough to check for equality.