[llvm] [BasicAA] Fix handling of indirect assumption based results (PR #100130)

[Florian Hahn via llvm-commits]

================
@@ -0,0 +1,103 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
+; RUN: opt -S -passes=slp-vectorizer < %s | FileCheck %s
+
+target triple = "x86_64-redhat-linux-gnu"
+
+; Should not get vectorized.
----------------
fhahn wrote:

Would probably be helpful to include a bit more info about why it shouldn't get vectorized, as the test case isn't super easy to read.

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