[llvm] [DA] Add option to run only SIV routines (PR #157084)

[Michael Kruse via llvm-commits]

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

LGTM

I would have made the option to select SIV, ZIV, RDIV, or MIV, one might want to test those indivudually as well. Can also be done when needed.

> Given this, I'm starting to think that ScalarEvolution may not be an appropriate framework for handling these inequalities.

Are you aware of [`SCEVPredicate`](https://github.com/llvm/llvm-project/blob/9865f7ec2bb15f3d8aa25c7e9305393422597dc5/llvm/include/llvm/Analysis/ScalarEvolution.h#L215)?

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