[all-commits] [llvm/llvm-project] 2a607d: [Attributor] Delete stores only required for assum...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2a607d912e04901cbbe6467a747aa4e55a271423
      https://github.com/llvm/llvm-project/commit/2a607d912e04901cbbe6467a747aa4e55a271423
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2022-12-07 (Wed, 07 Dec 2022)

  Changed paths:
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/value-simplify-assume.ll

  Log Message:
  -----------
  [Attributor] Delete stores only required for assumes (with the assumes)

We keep loads if they feed into assumes but even if we cannot predict
their value we should delete them if the associated stores are deleted
as well. This is not perfect but prioritizes deleting stores now.