ASDenysPetrov accepted this revision. ASDenysPetrov added a comment. This revision is now accepted and ready to land.
In D126481#3545350 <https://reviews.llvm.org/D126481#3545350>, @martong wrote: > This part of the SValBuilder is responsible for **constant folding**. We need > this constant folding, so the engine can work with less symbols, this way it > can be more efficient. Whenever a symbol is constrained with a constant then > we substitute the symbol with the corresponding integer. If a symbol is > constrained with a range, then the symbol is kept and we fall-back to use the > range based constraint manager, which is not that efficient. This patch is > the natural extension of the existing constant folding machinery with the > support of `SymbolCast` symbols. Now I see. Thanks. I also wouldn't mind if you add this explanation to the summary. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D126481/new/ https://reviews.llvm.org/D126481 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits