[all-commits] [llvm/llvm-project] b92040: [LICM] Disable thread-safety checks in single-thre...

[shubhamnarlawar via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b920407cf5957dfd67acece563560141838fc8d8
      https://github.com/llvm/llvm-project/commit/b920407cf5957dfd67acece563560141838fc8d8
  Author: Shubham Narlawar <shubham.narlawar at rrlogic.co.in>
  Date:   2022-10-10 (Mon, 10 Oct 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/TargetTransformInfo.h
    M llvm/include/llvm/Analysis/TargetTransformInfoImpl.h
    M llvm/include/llvm/CodeGen/BasicTTIImpl.h
    M llvm/include/llvm/Transforms/Utils/LoopUtils.h
    M llvm/lib/Analysis/TargetTransformInfo.cpp
    M llvm/lib/Transforms/Scalar/LICM.cpp
    M llvm/test/Transforms/LICM/promote-single-thread.ll

  Log Message:
  -----------
  [LICM] Disable thread-safety checks in single-thread model

If the single-thread model is used, or the
-licm-force-thread-model-single flag is specified, skip checks
related to thread-safety. This means that store promotion for
conditionally executed stores only requires proof of
dereferenceability and writability, but not of thread-safety. For
example, this enables promotion of stores to (non-constant) globals,
as well as captured allocas.

Fixes https://github.com/llvm/llvm-project/issues/50537.

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