[all-commits] [llvm/llvm-project] b1389f: [BasicAA] Add test for assume with operand bundles...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b1389f66834f1e9cf69c6daf462f10a5f09587dd
      https://github.com/llvm/llvm-project/commit/b1389f66834f1e9cf69c6daf462f10a5f09587dd
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-03-23 (Tue, 23 Mar 2021)

  Changed paths:
    M llvm/test/Analysis/BasicAA/assume.ll

  Log Message:
  -----------
  [BasicAA] Add test for assume with operand bundles (NFC)


  Commit: 931b6066acc597e680b8df25521a2f83b40dfaae
      https://github.com/llvm/llvm-project/commit/931b6066acc597e680b8df25521a2f83b40dfaae
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-03-23 (Tue, 23 Mar 2021)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/test/Analysis/BasicAA/assume.ll

  Log Message:
  -----------
  [BasicAA] Handle assumes with operand bundles

This fixes a regression reported on D99022: If a call has operand
bundles, then the inaccessiblememonly attribute on the function
will be ignored, as operand bundles can affect modref behavior in
the general case. However, for assume operand bundles in particular
this is not the case.

Adjust getModRefBehavior() to always report inaccessiblememonly
for assumes, regardless of presence of operand bundles.


Compare: https://github.com/llvm/llvm-project/compare/f1b47ad278b8...931b6066acc5