[llvm] [DA] use NSW arithmetic (PR #116632)

[Sjoerd Meijer via llvm-commits]

================
@@ -0,0 +1,34 @@
+; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa
+
+; Check that the testcase does not crash the compiler.
+; https://github.com/llvm/llvm-project/issues/51512
+
----------------
sjoerdmeijer wrote:

Two questions about the test but maybe they are the same things:
- I see that this is a test that used to crash, but it is probably better to test the output of DA here?
- Can we check for FlagNSW?

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