[llvm] [DA] Add tests for nsw doesn't hold on entier iteration (PR #162281)

[Michael Kruse via llvm-commits]

Meinersbur wrote:

If I understand correctly, $[L_1, U_1]$ is a subset of $[0, \mathrm{BTC}_1]$. Are the new bounds derived from the conditions leading required to reach a BasicBlock, i.e. acyclic control-flow-sensitive?

If so, this seems to be `isMonotonicAt(BB)` with an additional step: `isMonotonicInDomain(getEffectiveDomain(BB))`.

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