[llvm] [DA] Add initial support for monotonicity check (PR #162280)

[via llvm-commits]

https://github.com/amehsan commented:

I will start looking into this tomorrow, and would like to do a proper review of the main algorithm. Please bear with me as I may be interrupted by other stuff. Thanks a lot.

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