[all-commits] [llvm/llvm-project] d440f9: [LICM] Make capture check more precise

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d440f9a326f06df067b26adf48df3d52e9a07b7b
      https://github.com/llvm/llvm-project/commit/d440f9a326f06df067b26adf48df3d52e9a07b7b
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-04-19 (Mon, 19 Apr 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LICM.cpp
    M llvm/test/Transforms/LICM/promote-capture.ll

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

During store promotion, we check whether the pointer was captured
to exclude potential reads from other threads. However, we're only
interested in captures before or inside the loop. Check this using
PointerMayBeCapturedBefore against the loop header.

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