>>>>> "Richard" == Richard Guenther <richard.guent...@gmail.com> writes:
>> The libcpp part is ok with this change. Richard> Note that sparsely populated hashes come at the cost of increased Richard> cache footprint. Not sure what is more important here though, memory Richard> access or hash computation. I was only approving the change to the dumping. I am undecided about making the hash tables more sparse. Tom
