[all-commits] [llvm/llvm-project] f9e9b0: [CFG] Move reachable from entry checks into basic ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f9e9b0cdb4f499aa8443c21430fdb09a5a74490f
      https://github.com/llvm/llvm-project/commit/f9e9b0cdb4f499aa8443c21430fdb09a5a74490f
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-05-15 (Sat, 15 May 2021)

  Changed paths:
    M llvm/include/llvm/Analysis/CFG.h
    M llvm/lib/Analysis/CFG.cpp
    M llvm/lib/Transforms/InstCombine/InstructionCombining.cpp

  Log Message:
  -----------
  [CFG] Move reachable from entry checks into basic block variant

These checks are not specific to the instruction based variant of
isPotentiallyReachable(), they are equally valid for the basic
block based variant. Move them there, to make sure that switching
between the instruction and basic block variants cannot introduce
regressions.