[all-commits] [llvm/llvm-project] 327bbb: [DSE] Make capture check more precise

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 327bbbb10bfd95db38ae3406c87d481a07f67633
      https://github.com/llvm/llvm-project/commit/327bbbb10bfd95db38ae3406c87d481a07f67633
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-09-25 (Sat, 25 Sep 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
    M llvm/test/Transforms/DeadStoreElimination/captures-before-load.ll

  Log Message:
  -----------
  [DSE] Make capture check more precise

It is sufficient that the object has not been captured before the
load that produces the pointer we're loading. A capture after that
can not affect the already loaded pointer.

This is small part of D110368 applied separately.