https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114855
--- Comment #48 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:caf3fe7880e62692da45489dc5bcae069c1555c8 commit r15-3852-gcaf3fe7880e62692da45489dc5bcae069c1555c8 Author: Richard Biener <rguent...@suse.de> Date: Tue Sep 24 11:47:26 2024 +0200 tree-optimization/114855 - slow VRP due to equiv oracle queries For the testcase in PR114855 VRP takes 320.41s (23%) (after mitigating backwards threader slowness). This is mostly due to the bitmap check in equiv_oracle::find_equiv_dom. The following turns this bitmap to tree view, trading the linear search for a O(log N) one which improves VRP time to 54.54s (5%). PR tree-optimization/114855 * value-relation.cc (equiv_oracle::equiv_oracle): Switch m_equiv_set to tree view.