[all-commits] [llvm/llvm-project] 20f0c6: [SimplifyCFG] Allow dropping block that only conta...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 20f0c68fd83a0147a8ec1722bd2e848180610288
      https://github.com/llvm/llvm-project/commit/20f0c68fd83a0147a8ec1722bd2e848180610288
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-06-30 (Fri, 30 Jun 2023)

  Changed paths:
    M llvm/include/llvm/Transforms/Utils/Local.h
    M llvm/lib/Transforms/Utils/Local.cpp
    M llvm/lib/Transforms/Utils/SimplifyCFG.cpp
    M llvm/test/CodeGen/Thumb2/pr52817.ll
    M llvm/test/Transforms/LoopVectorize/ARM/pointer_iv.ll
    M llvm/test/Transforms/SimplifyCFG/X86/critedge-assume.ll
    M llvm/test/Transforms/SimplifyCFG/assume.ll
    M llvm/test/Transforms/SimplifyCFG/gepcost.ll
    M llvm/test/Transforms/SimplifyCFG/hoist-common-skip.ll

  Log Message:
  -----------
  [SimplifyCFG] Allow dropping block that only contains ephemeral values

Perform the TryToSimplifyUncondBranchFromEmptyBlock() transform if
the block is empty except for ephemeral values. The ephemeral values
will be dropped in that case.

This makes sure that assumes don't block this transforms, as reported
in https://discourse.llvm.org/t/llvm-assume-blocks-optimization/71609.

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