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

[via llvm-commits]

amehsan wrote:

> As far as LLVM is concerned, doing an access at address `p+(1<<58)` is UB, because you do not have provenance to access that address.

You are right. I missed that. Adding provenance to the picture I suspect there might be a more permissive algorithm for monotonicity. I need to do some more work on it. Will post an update by Monday.

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