[llvm] [LoopAccessAnalysis] Fix type mismatch (PR #183116)

[Florian Hahn via llvm-commits]

================
@@ -194,6 +195,36 @@ exit:
   ret void
 }
 
+define void @test_assumed_bounds_type_mismatch(ptr noalias %array, ptr readonly %pred, i32 %n) nosync nofree {
----------------
fhahn wrote:

is there a reason we need a loop with a store? If not, would be good to remove the store and add to llvm/test/Transforms/LoopVectorize/dereferenceable-info-from-assumption-variable-size.ll. It should get vectorized with the crash fixed

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