[all-commits] [llvm/llvm-project] 03f9d0: [TBAA] Model call accessing immutable type as read...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 03f9d0ff220828c27d05ced69a13dcb24e0217c0
      https://github.com/llvm/llvm-project/commit/03f9d0ff220828c27d05ced69a13dcb24e0217c0
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-10-14 (Fri, 14 Oct 2022)

  Changed paths:
    M llvm/lib/Analysis/TypeBasedAliasAnalysis.cpp
    M llvm/test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll

  Log Message:
  -----------
  [TBAA] Model call accessing immutable type as readnone

Accesses to constant memory are not observable and should be
reported as readnone, not readonly. This is consistent with what
we do for normal (non-call) instructions: For those, the TBAA
metadata will result in pointsToConstantMemory() returning true,
which will then result in a NoModRef result, not a Ref result.

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