[IR] Don't assume readnone/readonly intrinsics are willreturn
authorNikita Popov <npopov@redhat.com>
Wed, 26 Oct 2022 09:55:46 +0000 (11:55 +0200)
committerNikita Popov <npopov@redhat.com>
Tue, 6 Dec 2022 10:48:50 +0000 (11:48 +0100)
commit0b20c3034c9cef2c0fdbfdfba1d4dfa0761a014f
treeb3eb79658764bbad1defd36877e26fda32faf4d7
parenteaea4608e645e36962541f8fe03a8afc1139ed2a
[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
llvm/lib/IR/Instruction.cpp
llvm/lib/Transforms/Utils/Local.cpp