[llvm] [SCEV] Rewrite more SCEVAddExpr when applying guards. (PR #159942)

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:

This depends on https://github.com/llvm/llvm-project/pull/160012 to prevent a regression where we loose divisibility info by the rewrite

https://github.com/llvm/llvm-project/pull/159942