[llvm] [LAA] rewrite a test to be less nonsensical (PR #93197)

[Nikita Popov via llvm-commits]

================
@@ -1,30 +1,41 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 5
 ; RUN: opt -passes='print<access-info>' -disable-output 2>&1 < %s | FileCheck %s
 
-; CHECK: Dependences:
-; CHECK-NEXT: Unknown:
-; CHECK-NEXT: %t63 = load double, ptr %t62, align 8 ->
-; CHECK-NEXT: store double %t63, ptr %t64, align 8
-
-define i32 @test() {
-   %a1 = alloca [128 x double], align 8
-   %a2 = alloca [128 x double], align 8
-   %a3 = alloca [128 x double], align 8
-   %t30 = getelementptr double, ptr %a2, i64 -32
+define void @test(ptr %x, ptr %y, ptr %z) {
----------------
nikic wrote:

```suggestion
define void @test(ptr noalias %x, ptr noalias %y, ptr noalias %z) {
```
I think that would stay closer to the original intent of the test? Otherwise all these pointers can alias, unlike the allocas.

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