[all-commits] [llvm/llvm-project] cf9e61: [LTO][WPD] Simplify mustBeUnreachableFunction and ...

[Fangrui Song via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cf9e61a9bb61605e3c78f5d10ae8a3bcb6d8865a
      https://github.com/llvm/llvm-project/commit/cf9e61a9bb61605e3c78f5d10ae8a3bcb6d8865a
  Author: Fangrui Song <i at maskray.me>
  Date:   2021-12-15 (Wed, 15 Dec 2021)

  Changed paths:
    M llvm/lib/Analysis/ModuleSummaryAnalysis.cpp
    M llvm/test/ThinLTO/X86/Inputs/devirt_hybrid_after_filtering_unreachable_lib.ll
    M llvm/test/ThinLTO/X86/devirt_hybrid_after_filtering_unreachable.ll

  Log Message:
  -----------
  [LTO][WPD] Simplify mustBeUnreachableFunction and test after D115492

An well-formed IR function definition must have an entry basic block and
a well-formed IR basic block must have one terminator so the emptiness
check can be simplified.
Also simplify the test a bit.

Reviewed By: luna

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