[all-commits] [llvm/llvm-project] a3bbab: [IR] Don't mark experimental.guard as willreturn (...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a3bbab18527b57c19ef0d55c68727af01ed55b1e
      https://github.com/llvm/llvm-project/commit/a3bbab18527b57c19ef0d55c68727af01ed55b1e
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-10-19 (Thu, 19 Oct 2023)

  Changed paths:
    M llvm/include/llvm/IR/Intrinsics.td
    M llvm/lib/Transforms/Utils/Local.cpp
    M llvm/test/Transforms/Attributor/lvi-after-jumpthreading.ll
    M llvm/test/Transforms/InstCombine/sdiv-guard.ll

  Log Message:
  -----------
  [IR] Don't mark experimental.guard as willreturn (#69433)

Control flow does not necessary continue past guard intrinsics, so don't
mark them as willreturn.

This fixes the miscompile in the sdiv-guard.ll test.