update FunctionAttr test to use check-globals

Author: Keenuts

llvm/test/Transforms/FunctionAttrs/convergent.ll

@@ -1,4 +1,4 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
 ; RUN: opt -passes=function-attrs -S < %s | FileCheck %s
 
 define i32 @nonleaf() convergent {
@@ -158,3 +158,14 @@ define i32 @nonleaf_convergent() convergent {
 
 
 declare token @llvm.experimental.convergence.entry() #1
+;.
+; CHECK: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
+; CHECK: attributes #[[ATTR1]] = { convergent }
+; CHECK: attributes #[[ATTR2]] = { norecurse }
+; CHECK: attributes #[[ATTR3:[0-9]+]] = { convergent nocallback nounwind }
+; CHECK: attributes #[[ATTR4]] = { convergent norecurse nounwind }
+; CHECK: attributes #[[ATTR5]] = { nofree nosync nounwind memory(none) }
+; CHECK: attributes #[[ATTR6]] = { convergent noinline optnone }
+; CHECK: attributes #[[ATTR7]] = { convergent mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
+; CHECK: attributes #[[ATTR8:[0-9]+]] = { convergent nocallback nofree nosync nounwind willreturn memory(none) }
+;.