Estimated hours taken: 4
compiler/frameopt:
Bug fix: make sure that the transformation that keeps stack frames
put the instruction that restores succip before a livevals/goto pair.
It used to put it in between the livevals and the goto, which violates
an invariant that value numbering depends on.
compiler/vn_table:
Allow the two operands of an operator to be the same.
compiler/vn_util:
Add simplification rules for dealing with boolean and and or,
and rules exploiting the identities of several operators.
tests/hard_coded/float_map:
A test case for the fix to builtin_float_compare recently checked in
by Fergus.
tests/hard_coded/Mmake:
Enable the new test case.
tests/valid/livevals_seq:
A new test case for the fix to frameopt.
tests/valid/double_vn:
A new test case for the fix to vn_table.
tests/valid/Mmake:
Enable the new test cases.
