[all-commits] [llvm/llvm-project] d82762: [LAA] Remove overeager assertion for aggregate types.

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d8276208be763ba5b70e9b422034e77764a8649f
      https://github.com/llvm/llvm-project/commit/d8276208be763ba5b70e9b422034e77764a8649f
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-01-04 (Tue, 04 Jan 2022)

  Changed paths:
    M llvm/lib/Analysis/LoopAccessAnalysis.cpp
    A llvm/test/Analysis/LoopAccessAnalysis/symbolic-stride.ll
    M llvm/test/Transforms/LoopLoadElim/symbolic-stride.ll

  Log Message:
  -----------
  [LAA] Remove overeager assertion for aggregate types.

0a00d64 turned an early exit here into an assertion, but the assertion
can be triggered, as PR52920 shows.

The later code is agnostic to the accessed type, so just drop the
assert. The patch also adds tests for LAA directly and
loop-load-elimination to show the behavior is sane.