[llvm] [IR] Relax convergence requirements on call (PR #135794)

[Sameer Sahasrabuddhe via llvm-commits]

================
@@ -0,0 +1,92 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
+; RUN: opt %s -passes=adce -S | FileCheck %s
+
+; CHECK:      Function Attrs: convergent
----------------
ssahasra wrote:

I didn't really understand the purpose of the ADCE and BDCE tests in the context of this patch. There are no calls there that change in a way that trips the verifier.

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