[all-commits] [llvm/llvm-project] 0b20c3: [IR] Don't assume readnone/readonly intrinsics are...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0b20c3034c9cef2c0fdbfdfba1d4dfa0761a014f
      https://github.com/llvm/llvm-project/commit/0b20c3034c9cef2c0fdbfdfba1d4dfa0761a014f
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-12-06 (Tue, 06 Dec 2022)

  Changed paths:
    M llvm/lib/IR/Instruction.cpp
    M llvm/lib/Transforms/Utils/Local.cpp

  Log Message:
  -----------
  [IR] Don't assume readnone/readonly intrinsics are willreturn

This removes our "temporary" hack to assume that readnone/readonly
intrinsics are also willreturn. An explicit willreturn annotation,
usually via default intrinsic attributes, is now required.

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