tests/accumulator/*.m:
tests/analysis_*/*.m:
tests/benchmarks*/*.m:
tests/debugger*/*.{m,exp,inp}:
tests/declarative_debugger*/*.{m,exp,inp}:
tests/dppd*/*.m:
tests/exceptions*/*.m:
tests/general*/*.m:
tests/grade_subdirs*/*.m:
tests/hard_coded*/*.m:
Make these tests use four-space indentation, and ensure that
each module is imported on its own line. (I intend to use the latter
to figure out which subdirectories' tests can be executed in parallel.)
These changes usually move code to different lines. For the debugger tests,
specify the new line numbers in .inp files and expect them in .exp files.
Branches: main
Change the argument order of many of the predicates in the map, bimap, and
multi_map modules so they are more conducive to the use of state variable
notation, i.e. make the order the same as in the sv* modules.
Prepare for the deprecation of the sv{bimap,map,multi_map} modules by
removing their use throughout the system.
library/bimap.m:
library/map.m:
library/multi_map.m:
As above.
NEWS:
Announce the change.
Separate out the "highlights" from the "detailed listing" for
the post-11.01 NEWS.
Reorganise the announcement of the Unicode support.
benchmarks/*/*.m:
browser/*.m:
compiler/*.m:
deep_profiler/*.m:
extras/*/*.m:
mdbcomp/*.m:
profiler/*.m:
tests/*/*.m:
ssdb/*.m:
samples/*/*.m
slice/*.m:
Conform to the above change.
Remove any dependencies on the sv{bimap,map,multi_map} modules.
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.
