[llvm][NFC] Robustify test

[urnathan]

Summary

Here's another testcase that checks an attribute table. It uses [[Foo:pattern]] captures for the attribute numbering, but still expects a specific ordering. Change it to use CHECK-DAG:

[nikic]

Never manually modify UTC generated tests.

[urnathan]

In D157796#4582535, @nikic wrote:

Never manually modify UTC generated tests.

Oh, I see the note at the start. I guess one gets to regenerate this at a suitable point ...

llvm/test/Transforms/Attributor/norecurse.ll

 ; CHECK-NEXT:    [[A:%.*]] = call i32 @k() #[[ATTR9:[0-9]+]]
 ; CHECK-NEXT:    ret i32 [[A]]
 ;
   %a = call i32 @k()
   ret i32 %a
 }
 
 ; CHECK: Function Attrs
-; CHECK-NEXT: declare i32 @k()
+; CHECK-NEXT: declare i32 @k() #[[ATTR3:[0-9]+]]
 declare i32 @k() readnone
 
 define void @intrinsic(ptr %dest, ptr %src, i32 %len) {
 ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite)
 ; CHECK-LABEL: define {{[^@]+}}@intrinsic
 ; CHECK-SAME: (ptr nocapture nofree writeonly [[DEST:%.*]], ptr nocapture nofree readonly [[SRC:%.*]], i32 [[LEN:%.*]]) #[[ATTR4:[0-9]+]] {
 ; CHECK-NEXT:    call void @llvm.memcpy.p0.p0.i32(ptr nocapture nofree writeonly [[DEST]], ptr nocapture nofree readonly [[SRC]], i32 [[LEN]], i1 noundef false) #[[ATTR10:[0-9]+]]
 ; CHECK-NEXT:    ret void
 ;
   call void @llvm.memcpy.p0.p0.i32(ptr %dest, ptr %src, i32 %len, i1 false)
   ret void
 }
 
-; CHECK: Function Attrs
-; CHECK-NEXT: declare void @llvm.memcpy.p0.p0.i32
+; CHECK: Function Attrs:
+; CHECK-NEXT: declare void @llvm.memcpy.p0.p0.i32({{[^)]*}}) #[[ATTRCPY:[0-9]+]]
 declare void @llvm.memcpy.p0.p0.i32(ptr, ptr, i32, i1)
 
 define internal i32 @called_by_norecurse() {
 ; CHECK: Function Attrs: norecurse nosync memory(none)
 ; CHECK-LABEL: define {{[^@]+}}@called_by_norecurse
 ; CHECK-SAME: () #[[ATTR6:[0-9]+]] {
 ; CHECK-NEXT:    [[A:%.*]] = call i32 @k() #[[ATTR9]]
 ; CHECK-NEXT:    ret i32 undef
t:
   ret i1 true
 f:
   %r = call i1 @rec(i1 true)
   call void @unknown()
   ret i1 false
 }
 
 ;.
-; CHECK: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
-; CHECK: attributes #[[ATTR1]] = { mustprogress nofree nosync nounwind willreturn memory(none) }
-; CHECK: attributes #[[ATTR2]] = { nosync memory(none) }
-; CHECK: attributes #[[ATTR3:[0-9]+]] = { memory(none) }
-; CHECK: attributes #[[ATTR4]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) }
-; CHECK: attributes #[[ATTR5:[0-9]+]] = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
-; CHECK: attributes #[[ATTR6]] = { norecurse nosync memory(none) }
-; CHECK: attributes #[[ATTR7]] = { null_pointer_is_valid }
-; CHECK: attributes #[[ATTR8:[0-9]+]] = { norecurse }
-; CHECK: attributes #[[ATTR9]] = { nosync }
-; CHECK: attributes #[[ATTR10]] = { nofree willreturn }
+; CHECK-DAG: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
+; CHECK-DAG: attributes #[[ATTR1]] = { mustprogress nofree nosync nounwind willreturn memory(none) }
+; CHECK-DAG: attributes #[[ATTR2]] = { nosync memory(none) }
+; CHECK-DAG: attributes #[[ATTR3]] = { memory(none) }
+; CHECK-DAG: attributes #[[ATTR4]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) }
+; CHECK-DAG: attributes #[[ATTRCPY]] = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
+; CHECK-DAG: attributes #[[ATTR6]] = { norecurse nosync memory(none) }
+; CHECK-DAG: attributes #[[ATTR7]] = { null_pointer_is_valid }
+; CHECK-DAG: attributes #[[ATTR8:[0-9]+]] = { norecurse }
+; CHECK-DAG: attributes #[[ATTR9]] = { nosync }
+; CHECK-DAG: attributes #[[ATTR10]] = { nofree willreturn }
 ;.

llvm/test/Transforms/FunctionAttrs/norecurse.ll

 ; ATTRIBUTOR-SAME: () #[[ATTR2:[0-9]+]] {
 ; ATTRIBUTOR-NEXT:    [[A:%.*]] = call i32 @k()
 ; ATTRIBUTOR-NEXT:    ret i32 [[A]]
 ;
   %a = call i32 @k()
   ret i32 %a
 }
 
+; COMMON: declare i32 @k() #[[ATTR3:[0-9]+]]
 declare i32 @k() readnone
 
 define void @intrinsic(ptr %dest, ptr %src, i32 %len) {
 ; FNATTRS: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(argmem: readwrite)
 ; FNATTRS-LABEL: define {{[^@]+}}@intrinsic
 ; FNATTRS-SAME: (ptr nocapture writeonly [[DEST:%.*]], ptr nocapture readonly [[SRC:%.*]], i32 [[LEN:%.*]]) #[[ATTR4:[0-9]+]] {
 ; FNATTRS-NEXT:    call void @llvm.memcpy.p0.p0.i32(ptr [[DEST]], ptr [[SRC]], i32 [[LEN]], i1 false)
 ; FNATTRS-NEXT:    ret void
 ;
 ; ATTRIBUTOR: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite)
 ; ATTRIBUTOR-LABEL: define {{[^@]+}}@intrinsic
 ; ATTRIBUTOR-SAME: (ptr nocapture nofree writeonly [[DEST:%.*]], ptr nocapture nofree readonly [[SRC:%.*]], i32 [[LEN:%.*]]) #[[ATTR4:[0-9]+]] {
 ; ATTRIBUTOR-NEXT:    call void @llvm.memcpy.p0.p0.i32(ptr nocapture writeonly [[DEST]], ptr nocapture readonly [[SRC]], i32 [[LEN]], i1 false) #[[ATTR7:[0-9]+]]
 ; ATTRIBUTOR-NEXT:    ret void
 ;
   call void @llvm.memcpy.p0.p0.i32(ptr %dest, ptr %src, i32 %len, i1 false)
   ret void
 }
 
+; COMMON: declare void @llvm.memcpy{{.*}}) #[[ATTRCPY:[0-9]+]]
 declare void @llvm.memcpy.p0.p0.i32(ptr, ptr, i32, i1)
 
 define internal i32 @called_by_norecurse() {
 ; FNATTRS: Function Attrs: nofree norecurse nosync memory(none)
 ; FNATTRS-LABEL: define {{[^@]+}}@called_by_norecurse
 ; FNATTRS-SAME: () #[[ATTR6:[0-9]+]] {
 ; FNATTRS-NEXT:    [[A:%.*]] = call i32 @k()
 ; FNATTRS-NEXT:    ret i32 [[A]]

 ; ATTRIBUTOR-SAME: () #[[ATTR6]] {
 ; ATTRIBUTOR-NEXT:    call void @q() #[[ATTR2]]
 ; ATTRIBUTOR-NEXT:    ret void
 ;
   call void @q()
   ret void
 }
 ;.
-; FNATTRS: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
-; FNATTRS: attributes #[[ATTR1]] = { nofree nosync nounwind memory(none) }
-; FNATTRS: attributes #[[ATTR2]] = { nofree nosync memory(none) }
-; FNATTRS: attributes #[[ATTR3:[0-9]+]] = { memory(none) }
-; FNATTRS: attributes #[[ATTR4]] = { mustprogress nofree nosync nounwind willreturn memory(argmem: readwrite) }
-; FNATTRS: attributes #[[ATTR5:[0-9]+]] = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
-; FNATTRS: attributes #[[ATTR6]] = { nofree norecurse nosync memory(none) }
+; COMMON-DAG: attributes #[[ATTRCPY]] = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
+; FNATTRS-DAG: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
+; FNATTRS-DAG: attributes #[[ATTR1]] = { nofree nosync nounwind memory(none) }
+; FNATTRS-DAG: attributes #[[ATTR2]] = { nofree nosync memory(none) }
+; FNATTRS-DAG: attributes #[[ATTR3]] = { memory(none) }
+; FNATTRS-DAG: attributes #[[ATTR4]] = { mustprogress nofree nosync nounwind willreturn memory(argmem: readwrite) }
+; FNATTRS-DAG: attributes #[[ATTR6]] = { nofree norecurse nosync memory(none) }
 ;.
-; ATTRIBUTOR: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
-; ATTRIBUTOR: attributes #[[ATTR1]] = { nofree nosync nounwind memory(none) }
-; ATTRIBUTOR: attributes #[[ATTR2]] = { nosync memory(none) }
-; ATTRIBUTOR: attributes #[[ATTR3:[0-9]+]] = { memory(none) }
-; ATTRIBUTOR: attributes #[[ATTR4]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) }
-; ATTRIBUTOR: attributes #[[ATTR5:[0-9]+]] = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
-; ATTRIBUTOR: attributes #[[ATTR6]] = { norecurse nosync memory(none) }
-; ATTRIBUTOR: attributes #[[ATTR7]] = { nofree willreturn }
+; ATTRIBUTOR-DAG: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(none) }
+; ATTRIBUTOR-DAG: attributes #[[ATTR1]] = { nofree nosync nounwind memory(none) }
+; ATTRIBUTOR-DAG: attributes #[[ATTR2]] = { nosync memory(none) }
+; ATTRIBUTOR-DAG: attributes #[[ATTR3]] = { memory(none) }
+; ATTRIBUTOR-DAG: attributes #[[ATTR4]] = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: readwrite) }
+; ATTRIBUTOR-DAG: attributes #[[ATTR6]] = { norecurse nosync memory(none) }
+; ATTRIBUTOR-DAG: attributes #[[ATTR7]] = { nofree willreturn }
 ;.