[all-commits] [llvm/llvm-project] 43907d: Fix incorrect inference of writeonly despite readi...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 43907d608a22a61245813efeb978928fdfb90b6a
      https://github.com/llvm/llvm-project/commit/43907d608a22a61245813efeb978928fdfb90b6a
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2022-01-18 (Tue, 18 Jan 2022)

  Changed paths:
    M llvm/include/llvm/IR/InstrTypes.h
    M llvm/test/Feature/OperandBundles/function-attrs.ll

  Log Message:
  -----------
  Fix incorrect inference of writeonly despite reading operand bundle

If we have a writeonly function called from a callsite with a potentially reading operand bundle, we can not conclude the callsite is writeonly.

The changed test is the only one I've been able to demonstrate a current miscompile on, but an incorrect result here could show up in a bunch of subtle ways.  For instance, this issue caused several spurious test changes when combined with D117591.