llvm-project/llvm/test/Analysis/LoopAccessAnalysis
Graham Hunter 3c74ed9ee3 [LAA] Fix ICE with scAddExpr in forked pointers
The IR from https://github.com/llvm/llvm-project/issues/57368 results
in an assert firing when trying to create a runtime check for the
forked pointer. One of the forks is fine since it's loop invariant,
but the other is a scAddExpr (containing a scAddRecExpr, so not
invariant) when RtCheck::insert expects a scAddRecExpr.

This is a simple fix to just avoid forks which aren't AddRec or
loop invariant. We can allow it as a forked pointer later with
more work.

Reviewed By: fhahn

Differential Revision: https://reviews.llvm.org/D133020
2022-09-21 10:27:06 +01:00
..
backward-dep-different-types.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
depend_diff_types.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
depend_diff_types_opaque_ptr.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
forked-pointers.ll [LAA] Fix ICE with scAddExpr in forked pointers 2022-09-21 10:27:06 +01:00
forward-loop-carried.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
forward-loop-independent.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
independent-interleaved.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
interleave-innermost.ll
loop-invariant-dep-with-backedge-taken-count.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
memcheck-for-loop-invariant.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
memcheck-ni.ll
memcheck-off-by-one-error.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
memcheck-store-vs-alloc-size.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
memcheck-wrapping-pointers.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
multiple-strides-rt-memory-checks.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
non-wrapping-pointer.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
nullptr.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
number-of-memchecks.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
pointer-phis.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
pointer-with-unknown-bounds.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
pr31098.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
pr56672.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
resort-to-memchecks-only.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
reverse-memcheck-bounds.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
runtime-pointer-checking-insert-typesize.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
safe-no-checks.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
safe-with-dep-distance.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
scalable-vector-regression-tests.ll [LoopAccessAnalysis][SVE] Bail out for scalable vectors 2021-11-24 15:52:20 +00:00
store-to-invariant-check1.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
store-to-invariant-check2.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
store-to-invariant-check3.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
stride-access-dependence.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
symbolic-stride.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
uncomputable-backedge-taken-count.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
underlying-objects-1.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
underlying-objects-2.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
unsafe-and-rt-checks-convergent.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
unsafe-and-rt-checks.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00
wrapping-pointer-versioning.ll [LAA] Rename printing pass to print<access-info>. 2022-08-26 11:00:09 +01:00