[LAA] Initial support for runtime checks with pointer selects.
authorFlorian Hahn <flo@fhahn.com>
Thu, 12 May 2022 18:33:48 +0000 (19:33 +0100)
committerFlorian Hahn <flo@fhahn.com>
Thu, 12 May 2022 18:33:48 +0000 (19:33 +0100)
commit5890b30105999a137e72e42f3760bebfd77001ca
tree151f024d40985745377f9c1cd2d20aacd8114425
parent76775bde8ad4c03e4f9d527e5fc1f75ebae266fe
[LAA] Initial support for runtime checks with pointer selects.

Scaffolding support for generating runtime checks for multiple SCEV expressions
per pointer. The initial version just adds support for looking through
a single pointer select.

The more sophisticated logic for analyzing forks is in D108699

Reviewed By: huntergr

Differential Revision: https://reviews.llvm.org/D114487
llvm/include/llvm/Analysis/LoopAccessAnalysis.h
llvm/lib/Analysis/LoopAccessAnalysis.cpp
llvm/test/Analysis/LoopAccessAnalysis/forked-pointers.ll