[llvm] [IPO] Prevent removal of some convergent attr (PR #134863)

[Sameer Sahasrabuddhe via llvm-commits]

Nathan =?utf-8?q?Gauër?= <brioche at google.com>,
Nathan =?utf-8?q?Gauër?= <brioche at google.com>,
Nathan =?utf-8?q?Gauër?= <brioche at google.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/134863 at github.com>


ssahasra wrote:

The issue mentioned in #134844 can be fixed by relaxing the verifier. Given that, this change will benefit greatly from being more aggressive: if a function does not have a call to `entry` intrinsic, then remove tokens from any calls to that function, and iterate.

https://github.com/llvm/llvm-project/pull/134863