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

[Ryotaro Kasuga via llvm-commits]

================
@@ -0,0 +1,459 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
----------------
kasuga-fj wrote:

For now, I've added all the cases I could think of. Please let me know if there's anything else you're interested in.

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