[llvm] [LoopVectorize] Fix nondeterminism in loop-vectorize (PR #200833)

[Florian Hahn via llvm-commits]

================
@@ -0,0 +1,157 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
+; RUN: opt --passes=loop-vectorize %s -S | FileCheck %s
+
+; Check that we see expected deterministic (over multiple test runs) output.
+; NOTE: Beware, if this test fails it may be due to non-determinism.
+
+target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-unknown-linux"
+
+define void @fun(i64 %0, float %1, ptr %a, ptr %b, i64 %len) #0 {
----------------
fhahn wrote:

```suggestion
define void @fun(i64 %0, float %1, ptr noalias %a, ptr noalias %b, i64 %len) #0 {
```

to reomove the runtime check

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