[all-commits] [llvm/llvm-project] 7b3567: [InstCombine] Fold assume(false) to non-terminator...

Nikita Popov via All-commits all-commits at lists.llvm.org
Thu Jun 22 07:44:21 PDT 2023


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7b356769fc724c07e1a8be1beb6243474da9aaff
      https://github.com/llvm/llvm-project/commit/7b356769fc724c07e1a8be1beb6243474da9aaff
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-06-22 (Thu, 22 Jun 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/test/Transforms/InstCombine/assume.ll
    M llvm/test/Transforms/InstCombine/out-of-bounds-indexes.ll

  Log Message:
  -----------
  [InstCombine] Fold assume(false) to non-terminator unreachable

assume(false) is immediate UB, so fold it to (non-terminator)
unreachable.




More information about the All-commits mailing list