[llvm] [DA] add testcase (PR #116631)

[Nikita Popov via llvm-commits]

================
@@ -0,0 +1,67 @@
+; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
+; RUN: | FileCheck %s
+
+define void @foo(i32* nocapture %A, i32 %n) {
----------------
nikic wrote:

```suggestion
define void @foo(ptr nocapture %A, i32 %n) {
```
etc. Convert to opaque pointers please.

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