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

[via llvm-commits]

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

as mentioned above, I think this patch should be merged independent of the idea that I explained.

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