[llvm] [DA] Introduce domain for monotonicity (PR #176367)

[Ehsan Amiri via llvm-commits]

amehsan wrote:

I will go through he comments carefully and respond soon (possibly Friday or the weekend). Same for updating my PR.

There seem several issues that needs clarificaiton and response. Will reply soon.

As for any porposed solution, I still ask my question: Please provide your justification for correctness of your solution.

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