[all-commits] [llvm/llvm-project] afa13b: Reapply Move "auto-init" instructions to the domin...

[serge-sans-paille via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: afa13ba18d9e0eb0de4cccb7061222fe900b732f
      https://github.com/llvm/llvm-project/commit/afa13ba18d9e0eb0de4cccb7061222fe900b732f
  Author: serge-sans-paille <sguelton at mozilla.com>
  Date:   2023-04-24 (Mon, 24 Apr 2023)

  Changed paths:
    A llvm/include/llvm/Transforms/Utils/MoveAutoInit.h
    M llvm/lib/Passes/PassBuilder.cpp
    M llvm/lib/Passes/PassBuilderPipelines.cpp
    M llvm/lib/Passes/PassRegistry.def
    M llvm/lib/Transforms/Utils/CMakeLists.txt
    A llvm/lib/Transforms/Utils/MoveAutoInit.cpp
    M llvm/test/Other/new-pm-defaults.ll
    M llvm/test/Other/new-pm-lto-defaults.ll
    M llvm/test/Other/new-pm-thinlto-postlink-defaults.ll
    M llvm/test/Other/new-pm-thinlto-postlink-pgo-defaults.ll
    M llvm/test/Other/new-pm-thinlto-postlink-samplepgo-defaults.ll
    M llvm/test/Other/new-pm-thinlto-prelink-defaults.ll
    M llvm/test/Other/new-pm-thinlto-prelink-pgo-defaults.ll
    M llvm/test/Other/new-pm-thinlto-prelink-samplepgo-defaults.ll
    A llvm/test/Transforms/MoveAutoInit/branch.ll
    A llvm/test/Transforms/MoveAutoInit/clobber.ll
    A llvm/test/Transforms/MoveAutoInit/fence.ll
    A llvm/test/Transforms/MoveAutoInit/loop.ll
    A llvm/test/Transforms/MoveAutoInit/scalar.ll
    A llvm/test/Transforms/MoveAutoInit/sret.ll
    A llvm/test/Transforms/MoveAutoInit/volatile.ll

  Log Message:
  -----------
  Reapply Move "auto-init" instructions to the dominator of their users

Original patch (50b2a113db197a97f60ad2aace8b7382dc9b8c31) ignored the
fact that -ftrivial-auto-var-init could affect function parameters with
the sret attribute.
Just do not move instruction that don't affect alloca.
Also add missing test case for volatile instruction.

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