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

[Matt Arsenault via llvm-commits]

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


================
@@ -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
----------------
arsenm wrote:

does update_test_checks include the check for the comment or did you manually add that back in? If you use --check-globals, it should check the function level attribute groups at the end of the file 

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