[all-commits] [llvm/llvm-project] afc1a7: [AliasSetTracker] More precise AAInfo intersection...

[Nikita Popov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: afc1a709433e3754ee3819efd9e144b657919131
      https://github.com/llvm/llvm-project/commit/afc1a709433e3754ee3819efd9e144b657919131
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-07-09 (Thu, 09 Jul 2020)

  Changed paths:
    M llvm/include/llvm/Analysis/AliasSetTracker.h

  Log Message:
  -----------
  [AliasSetTracker] More precise AAInfo intersection check

The code currently checks whether the intersection has one of TBAA,
Scope or NoAlias unset -- however, those might have already been
unset in the first place, in which case we will unnecessarily
report a change. Instead, compare the intersection result to the
original AAInfo.

This makes for a 0.5% geomean compile-time saving on CTMark.

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