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

[Gabor Marton via Phabricator via cfe-commits]

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