[DA] Add tests for nsw doesn't hold on entire iteration space (NFC)#162281

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

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