[llvm] [SCEV] Require that addrec operands dominate the loop (PR #67030)

[Philip Reames via llvm-commits]

https://github.com/preames approved this pull request.

Yeah, I don't think this makes sense either.  Good catch, and nice cleanup.

LGTM

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