[PATCH] D103317: [Analyzer][Core] Make SValBuilder to better simplify svals with 3 symbols in the tree

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Nov 23 07:30:03 PST 2021


martong added a comment.

In D103317#3127318 <https://reviews.llvm.org/D103317#3127318>, @steakhal wrote:

> To me at least, the patch looks good.
> Please post some comparative measurements to demonstrate it won't introduce runtime regression.

Sure!

F20586670: stats.html <https://reviews.llvm.org/F20586670>

Teaser:
F20586689: svalbuilder_improvements.png <https://reviews.llvm.org/F20586689>


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D103317/new/

https://reviews.llvm.org/D103317



More information about the cfe-commits mailing list