[all-commits] [llvm/llvm-project] ff3102: [OpaquePtr][LoopAccessAnalysis] Support opaque poi...

[aeubanks via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ff31020ee651d4867c5f1910fa0ded11cf8c2b13
      https://github.com/llvm/llvm-project/commit/ff31020ee651d4867c5f1910fa0ded11cf8c2b13
  Author: Arthur Eubanks <aeubanks at google.com>
  Date:   2022-02-09 (Wed, 09 Feb 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/LoopAccessAnalysis.h
    M llvm/lib/Analysis/LoopAccessAnalysis.cpp
    A llvm/test/Analysis/LoopAccessAnalysis/depend_diff_types_opaque_ptr.ll

  Log Message:
  -----------
  [OpaquePtr][LoopAccessAnalysis] Support opaque pointers

Previously we relied on the pointee type to determine what type we need
to do runtime pointer access checks.

With opaque pointers, we can access a pointer with more than one type,
so now we keep track of all the types we're accessing a pointer's
memory with.

Also some other minor getPointerElementType() removals.

Reviewed By: #opaque-pointers, nikic

Differential Revision: https://reviews.llvm.org/D119047