>>>>> "Richard" == Richard Guenther <[email protected]> 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
