[PATCH] D114938: [Analyzer] SValBuilder: Simlify a SymExpr to the absolute simplest form

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Dec 2 01:57:08 PST 2021


martong added a comment.

Measurement results are attached, I think there is no relevant difference.

F20847935: another_fixpoint_before_merge_2.png <https://reviews.llvm.org/F20847935>

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


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114938



More information about the cfe-commits mailing list