added new dead block optimization flag

[r6099]

[r6098]

[r6097]

added additional option for algebraic simplifications

[r6096]

[r6095]

get_negated_pnc() now used the mode to supress unordered bit
on modes that do not have them.

[r6094]

[r6093]

added doxygen comment

[r6092]

removed old comment

[r6091]

[r6090]

[r6086]

[r6085]

[r6082]

[r6081]

[r6080]

new i/f for compute_value_confirm_cmp

[r6079]

[r6078]

[r6077]

[r6076]

CVS---------------------------------------------------------------------

[r6075]

[r6074]

indentation fixed

[r6073]

as needed for IEEE-754

[r6072]

add some newlines to make it more readable

[r6071]

[r6070]

fixed (void) function headers

[r6069]

added new info string for Confirm based optimization

[r6068]

[r6067]

[r6066]

[r6065]

[r6064]

but did not work in the test

[r6063]

added Confirm node based optimizations
moved type detection into inner if's

[r6062]

used is_*() functions instead of == op_ tests

[r6061]

improved doxygen documentation

[r6060]

[r6059]

all Confirm nodes.

[r6058]

[r6057]

[r6056]

[r6055]