On 11/5/20 11:18 AM, Patrick Palka wrote:
[ This patch depends on
c++: Use two levels of caching in satisfy_atom
https://gcc.gnu.org/pipermail/gcc-patches/2020-November/558096.html ]
A large source of cache misses in satisfy_atom is caused by the identity
of an (atom,args) pair within t
[ This patch depends on
c++: Use two levels of caching in satisfy_atom
https://gcc.gnu.org/pipermail/gcc-patches/2020-November/558096.html ]
A large source of cache misses in satisfy_atom is caused by the identity
of an (atom,args) pair within the satisfaction cache being determined by
the
