[all-commits] [llvm/llvm-project] a034e6: [CVP] Check whether the default case is reachable ...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a034e65e972175a2465deacb8c78bc7efc99bd23
      https://github.com/llvm/llvm-project/commit/a034e65e972175a2465deacb8c78bc7efc99bd23
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2024-01-31 (Wed, 31 Jan 2024)

  Changed paths:
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/basic.ll
    A llvm/test/Transforms/CorrelatedValuePropagation/switch.ll

  Log Message:
  -----------
  [CVP] Check whether the default case is reachable (#79993)

This patch eliminates unreachable default cases using context-sensitive
range information.