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

[Nathan Gauër 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
----------------
Keenuts wrote:

Thanks all, used `--check-attributes` so it's fully generated, similarly to the other attribute tests.
@arsenm: indeed would be better, but kept it as tool-generated file so if update_test_checks is improved to check the actual attributes vs the comments all tests will be updated trivially.

@ssahasra : I could add calls, but for convergence attr to be removed, I'd need to run the attribute fixup pass, which would mean this test is not only testing the ADCE/BDCE but also the FunctionAttr pass.

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