[DA] Add initial support for monotonicity check#162280

kasuga-fj wants to merge 2 commits intomainllvm/llvm-project:mainfrom

users/kasuga-fj/da-monotonic-check-0llvm/llvm-project:users/kasuga-fj/da-monotonic-check-0Copy head branch name to clipboard