[llvm] 0f7aa38 - [Attributor][NFC] Precommit test

[Johannes Doerfert via llvm-commits]

Author: Johannes Doerfert
Date: 2023-07-25T17:47:32-07:00
New Revision: 0f7aa38223d6e02127699a9c157be30dc983ecba

URL: https://github.com/llvm/llvm-project/commit/0f7aa38223d6e02127699a9c157be30dc983ecba
DIFF: https://github.com/llvm/llvm-project/commit/0f7aa38223d6e02127699a9c157be30dc983ecba.diff

LOG: [Attributor][NFC] Precommit test

Added: 
    

Modified: 
    llvm/test/Transforms/Attributor/nosync.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/Attributor/nosync.ll b/llvm/test/Transforms/Attributor/nosync.ll
index 6aadf4b0696024..c0294f44edf1ee 100644
--- a/llvm/test/Transforms/Attributor/nosync.ll
+++ b/llvm/test/Transforms/Attributor/nosync.ll
@@ -427,6 +427,18 @@ define float @cos_test2(float %x) {
   %c = call float @llvm.cos.f32(float %x)
   ret float %c
 }
+
+declare void @unknown()
+define void @nosync_convergent_callee_test() {
+; CHECK: Function Attrs: memory(none)
+; CHECK-LABEL: define {{[^@]+}}@nosync_convergent_callee_test
+; CHECK-SAME: () #[[ATTR15]] {
+; CHECK-NEXT:    call void @unknown() #[[ATTR22:[0-9]+]]
+; CHECK-NEXT:    ret void
+;
+  call void @unknown() nosync convergent readnone
+  ret void
+}
 ;.
 ; CHECK: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind optsize ssp willreturn memory(none) uwtable }
 ; CHECK: attributes #[[ATTR1]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) uwtable }
@@ -450,6 +462,7 @@ define float @cos_test2(float %x) {
 ; CHECK: attributes #[[ATTR19]] = { nofree nounwind }
 ; CHECK: attributes #[[ATTR20]] = { nofree willreturn }
 ; CHECK: attributes #[[ATTR21]] = { nofree willreturn memory(write) }
+; CHECK: attributes #[[ATTR22]] = { convergent nosync memory(none) }
 ;.
 ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
 ; CGSCC: {{.*}}