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

[Ehsan Amiri via llvm-commits]

amehsan wrote:

> something that LAA already does

After working on a few examples, I think I need to look more closely into the existing LAA code. Thanks for the information.

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