From 4040c5c2f4b39cb6231e92bc2fb20c9ecb9f95dc Mon Sep 17 00:00:00 2001 From: Johannes Doerfert Date: Wed, 5 Oct 2022 05:39:02 -0700 Subject: [PATCH] [Attributor][NFC] Re-run update_test_checks on all Attributor tests --- .../ArgumentPromotion/2008-02-01-ReturnAttrs.ll | 6 +++--- .../Attributor/ArgumentPromotion/X86/attributes.ll | 16 ++++++++-------- .../Transforms/Attributor/ArgumentPromotion/alignment.ll | 10 +++++----- .../Transforms/Attributor/ArgumentPromotion/attrs.ll | 10 +++++----- .../Transforms/Attributor/ArgumentPromotion/basictest.ll | 10 +++++----- .../Transforms/Attributor/ArgumentPromotion/byval-2.ll | 10 +++++----- .../Transforms/Attributor/ArgumentPromotion/byval.ll | 12 ++++++------ .../Attributor/ArgumentPromotion/control-flow2.ll | 6 +++--- .../ArgumentPromotion/pr33641_remove_arg_dbgvalue.ll | 4 ++-- .../test/Transforms/Attributor/ArgumentPromotion/sret.ll | 6 +++--- .../Attributor/IPConstantProp/2009-09-24-byval-ptr.ll | 10 +++++----- llvm/test/Transforms/Attributor/align.ll | 2 +- llvm/test/Transforms/Attributor/heap_to_stack_gpu.ll | 2 +- llvm/test/Transforms/Attributor/internal-noalias.ll | 4 ++-- llvm/test/Transforms/Attributor/nocapture-2.ll | 2 +- llvm/test/Transforms/Attributor/potential.ll | 6 +++--- .../Transforms/Attributor/value-simplify-local-remote.ll | 6 +++--- llvm/test/Transforms/Attributor/value-simplify.ll | 4 ++-- llvm/test/Transforms/Attributor/willreturn.ll | 4 ++-- 19 files changed, 65 insertions(+), 65 deletions(-) diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/2008-02-01-ReturnAttrs.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/2008-02-01-ReturnAttrs.ll index 98265f4..d7f1dd12 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/2008-02-01-ReturnAttrs.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/2008-02-01-ReturnAttrs.ll @@ -44,7 +44,7 @@ entry: ;. ; TUNIT: attributes #[[ATTR0]] = { nofree norecurse nosync nounwind readnone willreturn } ;. -; CGSCC: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } -; CGSCC: attributes #[[ATTR1:[0-9]+]] = { nofree nosync nounwind readnone willreturn } -; CGSCC: attributes #[[ATTR2:[0-9]+]] = { nounwind readonly willreturn } +; CGSCC: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } +; CGSCC: attributes #[[ATTR1]] = { nofree nosync nounwind readnone willreturn } +; CGSCC: attributes #[[ATTR2]] = { nounwind readonly willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/X86/attributes.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/X86/attributes.ll index 60d60ba..9c4839b 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/X86/attributes.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/X86/attributes.ll @@ -123,15 +123,15 @@ attributes #0 = { inlinehint norecurse nounwind uwtable "target-features"="+avx2 attributes #1 = { nounwind uwtable } attributes #2 = { argmemonly nounwind } ;. -; TUNIT: attributes #[[ATTR0:[0-9]+]] = { argmemonly inlinehint nofree norecurse nosync nounwind willreturn uwtable "target-features"="+avx2" } -; TUNIT: attributes #[[ATTR1:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind willreturn uwtable } +; TUNIT: attributes #[[ATTR0]] = { argmemonly inlinehint nofree norecurse nosync nounwind willreturn uwtable "target-features"="+avx2" } +; TUNIT: attributes #[[ATTR1]] = { argmemonly nofree norecurse nosync nounwind willreturn uwtable } ; TUNIT: attributes #[[ATTR2:[0-9]+]] = { argmemonly nocallback nofree nounwind willreturn writeonly } -; TUNIT: attributes #[[ATTR3:[0-9]+]] = { willreturn writeonly } -; TUNIT: attributes #[[ATTR4:[0-9]+]] = { nofree nosync nounwind willreturn } +; TUNIT: attributes #[[ATTR3]] = { willreturn writeonly } +; TUNIT: attributes #[[ATTR4]] = { nofree nosync nounwind willreturn } ;. -; CGSCC: attributes #[[ATTR0:[0-9]+]] = { argmemonly inlinehint nofree norecurse nosync nounwind willreturn uwtable "target-features"="+avx2" } -; CGSCC: attributes #[[ATTR1:[0-9]+]] = { argmemonly nofree nosync nounwind willreturn uwtable } +; CGSCC: attributes #[[ATTR0]] = { argmemonly inlinehint nofree norecurse nosync nounwind willreturn uwtable "target-features"="+avx2" } +; CGSCC: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn uwtable } ; CGSCC: attributes #[[ATTR2:[0-9]+]] = { argmemonly nocallback nofree nounwind willreturn writeonly } -; CGSCC: attributes #[[ATTR3:[0-9]+]] = { willreturn writeonly } -; CGSCC: attributes #[[ATTR4:[0-9]+]] = { nounwind willreturn } +; CGSCC: attributes #[[ATTR3]] = { willreturn writeonly } +; CGSCC: attributes #[[ATTR4]] = { nounwind willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/alignment.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/alignment.ll index db8d4ac..0d3e26e 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/alignment.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/alignment.ll @@ -104,9 +104,9 @@ define i32 @callercaller() { ;. ; TUNIT: attributes #[[ATTR0]] = { nofree norecurse nosync nounwind readnone willreturn } ;. -; CGSCC: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } -; CGSCC: attributes #[[ATTR1:[0-9]+]] = { argmemonly nofree nosync nounwind willreturn } -; CGSCC: attributes #[[ATTR2:[0-9]+]] = { nofree nosync nounwind readnone willreturn } -; CGSCC: attributes #[[ATTR3:[0-9]+]] = { readonly willreturn } -; CGSCC: attributes #[[ATTR4:[0-9]+]] = { nounwind willreturn } +; CGSCC: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } +; CGSCC: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn } +; CGSCC: attributes #[[ATTR2]] = { nofree nosync nounwind readnone willreturn } +; CGSCC: attributes #[[ATTR3]] = { readonly willreturn } +; CGSCC: attributes #[[ATTR4]] = { nounwind willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/attrs.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/attrs.ll index 279997e..26d738a 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/attrs.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/attrs.ll @@ -82,10 +82,10 @@ entry: ret i32 %c } ;. -; TUNIT: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind willreturn } -; TUNIT: attributes #[[ATTR1:[0-9]+]] = { nofree nosync nounwind willreturn } +; TUNIT: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn } +; TUNIT: attributes #[[ATTR1]] = { nofree nosync nounwind willreturn } ;. -; CGSCC: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind willreturn } -; CGSCC: attributes #[[ATTR1:[0-9]+]] = { argmemonly nofree nosync nounwind willreturn } -; CGSCC: attributes #[[ATTR2:[0-9]+]] = { nounwind willreturn } +; CGSCC: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn } +; CGSCC: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn } +; CGSCC: attributes #[[ATTR2]] = { nounwind willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/basictest.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/basictest.ll index 942e25d..457e53f 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/basictest.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/basictest.ll @@ -57,9 +57,9 @@ define i32 @callercaller() { ;. ; TUNIT: attributes #[[ATTR0]] = { nofree norecurse nosync nounwind readnone willreturn } ;. -; CGSCC: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } -; CGSCC: attributes #[[ATTR1:[0-9]+]] = { argmemonly nofree nosync nounwind willreturn } -; CGSCC: attributes #[[ATTR2:[0-9]+]] = { nofree nosync nounwind readnone willreturn } -; CGSCC: attributes #[[ATTR3:[0-9]+]] = { readonly willreturn } -; CGSCC: attributes #[[ATTR4:[0-9]+]] = { nounwind willreturn } +; CGSCC: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } +; CGSCC: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn } +; CGSCC: attributes #[[ATTR2]] = { nofree nosync nounwind readnone willreturn } +; CGSCC: attributes #[[ATTR3]] = { readonly willreturn } +; CGSCC: attributes #[[ATTR4]] = { nounwind willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/byval-2.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/byval-2.ll index b05e8d1..3e15ba8 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/byval-2.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/byval-2.ll @@ -72,10 +72,10 @@ entry: ret i32 0 } ;. -; TUNIT: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind willreturn } -; TUNIT: attributes #[[ATTR1:[0-9]+]] = { nofree nosync nounwind willreturn } +; TUNIT: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn } +; TUNIT: attributes #[[ATTR1]] = { nofree nosync nounwind willreturn } ;. -; CGSCC: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind willreturn } -; CGSCC: attributes #[[ATTR1:[0-9]+]] = { argmemonly nofree nosync nounwind willreturn } -; CGSCC: attributes #[[ATTR2:[0-9]+]] = { nounwind willreturn } +; CGSCC: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn } +; CGSCC: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn } +; CGSCC: attributes #[[ATTR2]] = { nounwind willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/byval.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/byval.ll index d5e9fbe..c14aacf 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/byval.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/byval.ll @@ -104,11 +104,11 @@ entry: ;. -; TUNIT: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind willreturn } -; TUNIT: attributes #[[ATTR1:[0-9]+]] = { nofree norecurse nosync nounwind readnone willreturn } -; TUNIT: attributes #[[ATTR2:[0-9]+]] = { nofree nosync nounwind willreturn } +; TUNIT: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn } +; TUNIT: attributes #[[ATTR1]] = { nofree norecurse nosync nounwind readnone willreturn } +; TUNIT: attributes #[[ATTR2]] = { nofree nosync nounwind willreturn } ;. -; CGSCC: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind willreturn } -; CGSCC: attributes #[[ATTR1:[0-9]+]] = { nofree nosync nounwind readnone willreturn } -; CGSCC: attributes #[[ATTR2:[0-9]+]] = { nounwind willreturn } +; CGSCC: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn } +; CGSCC: attributes #[[ATTR1]] = { nofree nosync nounwind readnone willreturn } +; CGSCC: attributes #[[ATTR2]] = { nounwind willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow2.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow2.ll index eab623c..ab2cb25 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow2.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow2.ll @@ -49,7 +49,7 @@ define i32 @foo() { ;. ; TUNIT: attributes #[[ATTR0]] = { nofree norecurse nosync nounwind readnone willreturn } ;. -; CGSCC: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } -; CGSCC: attributes #[[ATTR1:[0-9]+]] = { nofree nosync nounwind readnone willreturn } -; CGSCC: attributes #[[ATTR2:[0-9]+]] = { readonly willreturn } +; CGSCC: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } +; CGSCC: attributes #[[ATTR1]] = { nofree nosync nounwind readnone willreturn } +; CGSCC: attributes #[[ATTR2]] = { readonly willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/pr33641_remove_arg_dbgvalue.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/pr33641_remove_arg_dbgvalue.ll index 80002c5..c7182fb 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/pr33641_remove_arg_dbgvalue.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/pr33641_remove_arg_dbgvalue.ll @@ -61,7 +61,7 @@ declare void @llvm.dbg.value(metadata, metadata, metadata) ; CGSCC: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C, file: !1, isOptimized: false, runtimeVersion: 0, emissionKind: NoDebug) ; CGSCC: [[META1:![0-9]+]] = !DIFile(filename: "test.c", directory: "") ; CGSCC: [[META2:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3} -; CGSCC: [[META3:![0-9]+]] = !DILocalVariable(name: "p", scope: !4) +; CGSCC: [[META3]] = !DILocalVariable(name: "p", scope: !4) ; CGSCC: [[META4:![0-9]+]] = distinct !DISubprogram(name: "bar", scope: null, spFlags: DISPFlagDefinition, unit: !0) -; CGSCC: [[META5:![0-9]+]] = !DILocation(line: 1, column: 1, scope: !4) +; CGSCC: [[DBG5]] = !DILocation(line: 1, column: 1, scope: !4) ;. diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/sret.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/sret.ll index 3d6b3b42..b9e8031 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/sret.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/sret.ll @@ -60,7 +60,7 @@ define void @f() { ; TUNIT: attributes #[[ATTR1]] = { nofree norecurse nosync nounwind readnone willreturn } ; TUNIT: attributes #[[ATTR2]] = { nofree nosync nounwind willreturn writeonly } ;. -; CGSCC: attributes #[[ATTR0:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind willreturn } -; CGSCC: attributes #[[ATTR1:[0-9]+]] = { nofree nosync nounwind readnone willreturn } -; CGSCC: attributes #[[ATTR2:[0-9]+]] = { nounwind willreturn } +; CGSCC: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn } +; CGSCC: attributes #[[ATTR1]] = { nofree nosync nounwind readnone willreturn } +; CGSCC: attributes #[[ATTR2]] = { nounwind willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/IPConstantProp/2009-09-24-byval-ptr.ll b/llvm/test/Transforms/Attributor/IPConstantProp/2009-09-24-byval-ptr.ll index 57da6af..dfa45b1 100644 --- a/llvm/test/Transforms/Attributor/IPConstantProp/2009-09-24-byval-ptr.ll +++ b/llvm/test/Transforms/Attributor/IPConstantProp/2009-09-24-byval-ptr.ll @@ -172,10 +172,10 @@ entry: ret i32 %result } ;. -; TUNIT: attributes #[[ATTR0:[0-9]+]] = { nounwind } -; TUNIT: attributes #[[ATTR1:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } -; TUNIT: attributes #[[ATTR2:[0-9]+]] = { nounwind readonly } +; TUNIT: attributes #[[ATTR0]] = { nounwind } +; TUNIT: attributes #[[ATTR1]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } +; TUNIT: attributes #[[ATTR2]] = { nounwind readonly } ;. -; CGSCC: attributes #[[ATTR0:[0-9]+]] = { nounwind } -; CGSCC: attributes #[[ATTR1:[0-9]+]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } +; CGSCC: attributes #[[ATTR0]] = { nounwind } +; CGSCC: attributes #[[ATTR1]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/align.ll b/llvm/test/Transforms/Attributor/align.ll index 667e1ef..3c86c78 100644 --- a/llvm/test/Transforms/Attributor/align.ll +++ b/llvm/test/Transforms/Attributor/align.ll @@ -1110,7 +1110,7 @@ define i8* @aligned_8_return_caller(i8* align(16) %a, i1 %c1, i1 %c2) { ; CGSCC: Function Attrs: nofree nosync nounwind readnone willreturn ; CGSCC-LABEL: define {{[^@]+}}@aligned_8_return_caller ; CGSCC-SAME: (i8* nofree readnone align 16 [[A:%.*]], i1 [[C1:%.*]], i1 [[C2:%.*]]) #[[ATTR12:[0-9]+]] { -; CGSCC-NEXT: [[R:%.*]] = call align 8 i8* @aligned_8_return(i8* noalias nofree readnone align 16 [[A]], i1 [[C1]], i1 [[C2]]) #[[ATTR13:[0-9]+]] +; CGSCC-NEXT: [[R:%.*]] = call align 8 i8* @aligned_8_return(i8* noalias nofree readnone align 16 [[A]], i1 [[C1]], i1 [[C2]]) #[[ATTR13]] ; CGSCC-NEXT: ret i8* [[R]] ; %r = call i8* @aligned_8_return(i8* %a, i1 %c1, i1 %c2) diff --git a/llvm/test/Transforms/Attributor/heap_to_stack_gpu.ll b/llvm/test/Transforms/Attributor/heap_to_stack_gpu.ll index 17c2972..4c90221 100644 --- a/llvm/test/Transforms/Attributor/heap_to_stack_gpu.ll +++ b/llvm/test/Transforms/Attributor/heap_to_stack_gpu.ll @@ -625,7 +625,7 @@ define void @test17() { define void @test17b() { ; CHECK-LABEL: define {{[^@]+}}@test17b() { ; CHECK-NEXT: [[TMP1:%.*]] = tail call noalias i8* @__kmpc_alloc_shared(i64 noundef 4) -; CHECK-NEXT: tail call void @usei8(i8* nofree [[TMP1]]) #[[ATTR6:[0-9]+]] +; CHECK-NEXT: tail call void @usei8(i8* nofree [[TMP1]]) #[[ATTR6]] ; CHECK-NEXT: tail call void @__kmpc_free_shared(i8* nocapture [[TMP1]], i64 noundef 4) ; CHECK-NEXT: ret void ; diff --git a/llvm/test/Transforms/Attributor/internal-noalias.ll b/llvm/test/Transforms/Attributor/internal-noalias.ll index b8c841f..f55c00e 100644 --- a/llvm/test/Transforms/Attributor/internal-noalias.ll +++ b/llvm/test/Transforms/Attributor/internal-noalias.ll @@ -187,7 +187,7 @@ define i32 @visible_local_3() { ; ; CGSCC: Function Attrs: nofree nosync nounwind readnone willreturn ; CGSCC-LABEL: define {{[^@]+}}@visible_local_3 -; CGSCC-SAME: () #[[ATTR3:[0-9]+]] { +; CGSCC-SAME: () #[[ATTR3]] { ; CGSCC-NEXT: [[B:%.*]] = alloca i32, align 4 ; CGSCC-NEXT: store i32 5, i32* [[B]], align 4 ; CGSCC-NEXT: [[CALL:%.*]] = call i32 @noalias_args_argmem_rn(i32* noalias nocapture nofree noundef nonnull align 4 dereferenceable(4) [[B]]) #[[ATTR7:[0-9]+]] @@ -214,6 +214,6 @@ attributes #1 = { argmemonly noinline nounwind uwtable willreturn} ; CGSCC: attributes #[[ATTR3]] = { nofree nosync nounwind readnone willreturn } ; CGSCC: attributes #[[ATTR4]] = { argmemonly nofree noinline norecurse nosync nounwind willreturn uwtable } ; CGSCC: attributes #[[ATTR5]] = { readonly } -; CGSCC: attributes #[[ATTR6:[0-9]+]] = { readonly willreturn } +; CGSCC: attributes #[[ATTR6]] = { readonly willreturn } ; CGSCC: attributes #[[ATTR7]] = { nounwind willreturn } ;. diff --git a/llvm/test/Transforms/Attributor/nocapture-2.ll b/llvm/test/Transforms/Attributor/nocapture-2.ll index 381f52a..f54b15b 100644 --- a/llvm/test/Transforms/Attributor/nocapture-2.ll +++ b/llvm/test/Transforms/Attributor/nocapture-2.ll @@ -259,7 +259,7 @@ cond.end: ; preds = %cond.false, %cond.t define i8* @scc_C(i16* dereferenceable_or_null(2) %a) { ; CHECK: Function Attrs: nofree nosync nounwind readnone ; CHECK-LABEL: define {{[^@]+}}@scc_C -; CHECK-SAME: (i16* nofree readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2:[0-9]+]] { +; CHECK-SAME: (i16* nofree readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2]] { ; CHECK-NEXT: entry: ; CHECK-NEXT: [[BC:%.*]] = bitcast i16* [[A]] to i32* ; CHECK-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[BC]]) #[[ATTR2]] diff --git a/llvm/test/Transforms/Attributor/potential.ll b/llvm/test/Transforms/Attributor/potential.ll index e1ea7b4..8e8c993 100644 --- a/llvm/test/Transforms/Attributor/potential.ll +++ b/llvm/test/Transforms/Attributor/potential.ll @@ -698,7 +698,7 @@ define i1 @potential_test16(i1 %c0, i1 %c1) { ; CGSCC: attributes #[[ATTR1]] = { nofree nosync nounwind readnone willreturn } ; CGSCC: attributes #[[ATTR2]] = { readnone willreturn } ;. -; TUNIT: [[META0:![0-9]+]] = !{i32 0, i32 2} -; TUNIT: [[META1:![0-9]+]] = !{i32 0, i32 3} -; TUNIT: [[META2:![0-9]+]] = !{i32 -1, i32 1} +; TUNIT: [[RNG0]] = !{i32 0, i32 2} +; TUNIT: [[RNG1]] = !{i32 0, i32 3} +; TUNIT: [[RNG2]] = !{i32 -1, i32 1} ;. diff --git a/llvm/test/Transforms/Attributor/value-simplify-local-remote.ll b/llvm/test/Transforms/Attributor/value-simplify-local-remote.ll index d73a75f..51e7729 100644 --- a/llvm/test/Transforms/Attributor/value-simplify-local-remote.ll +++ b/llvm/test/Transforms/Attributor/value-simplify-local-remote.ll @@ -481,7 +481,7 @@ define double @t4(ptr %this, ptr %this.addr, ptr %this1) { ; TUNIT-NEXT: entry: ; TUNIT-NEXT: [[THIS_ADDR1:%.*]] = alloca ptr, i32 0, align 8 ; TUNIT-NEXT: store ptr [[THIS]], ptr [[THIS]], align 8 -; TUNIT-NEXT: [[CALL:%.*]] = call [[S:%.*]] @t4a(ptr nofree noundef nonnull writeonly align 8 dereferenceable(8) [[THIS]]) #[[ATTR5:[0-9]+]] +; TUNIT-NEXT: [[CALL:%.*]] = call [[S:%.*]] @t4a(ptr nofree noundef nonnull writeonly align 8 dereferenceable(8) [[THIS]]) #[[ATTR5]] ; TUNIT-NEXT: ret double 0.000000e+00 ; ; CGSCC: Function Attrs: argmemonly nofree nosync nounwind willreturn @@ -613,7 +613,7 @@ entry: ;. ; TUNIT: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn writeonly } ; TUNIT: attributes #[[ATTR1]] = { argmemonly nofree norecurse nosync nounwind willreturn } -; TUNIT: attributes #[[ATTR2:[0-9]+]] = { nofree norecurse noreturn nosync nounwind readnone } +; TUNIT: attributes #[[ATTR2]] = { nofree norecurse noreturn nosync nounwind readnone } ; TUNIT: attributes #[[ATTR3]] = { nofree norecurse nosync nounwind willreturn writeonly } ; TUNIT: attributes #[[ATTR4]] = { nofree nosync nounwind willreturn } ; TUNIT: attributes #[[ATTR5]] = { nofree nosync nounwind willreturn writeonly } @@ -623,7 +623,7 @@ entry: ; CGSCC: attributes #[[ATTR2]] = { argmemonly nofree nosync nounwind willreturn } ; CGSCC: attributes #[[ATTR3]] = { argmemonly nofree norecurse nosync nounwind willreturn writeonly } ; CGSCC: attributes #[[ATTR4]] = { argmemonly nofree norecurse nosync nounwind willreturn } -; CGSCC: attributes #[[ATTR5:[0-9]+]] = { nofree norecurse noreturn nosync nounwind readnone } +; CGSCC: attributes #[[ATTR5]] = { nofree norecurse noreturn nosync nounwind readnone } ; CGSCC: attributes #[[ATTR6]] = { nounwind willreturn writeonly } ; CGSCC: attributes #[[ATTR7]] = { readnone willreturn } ; CGSCC: attributes #[[ATTR8]] = { nounwind willreturn } diff --git a/llvm/test/Transforms/Attributor/value-simplify.ll b/llvm/test/Transforms/Attributor/value-simplify.ll index 73c324c..7c79c4e 100644 --- a/llvm/test/Transforms/Attributor/value-simplify.ll +++ b/llvm/test/Transforms/Attributor/value-simplify.ll @@ -786,7 +786,7 @@ define internal i8 @callee(i8 %a) { define void @user_as3() { ; TUNIT: Function Attrs: nofree norecurse nosync nounwind willreturn writeonly ; TUNIT-LABEL: define {{[^@]+}}@user_as3 -; TUNIT-SAME: () #[[ATTR4:[0-9]+]] { +; TUNIT-SAME: () #[[ATTR4]] { ; TUNIT-NEXT: store i32 0, i32 addrspace(3)* @ConstAS3Ptr, align 4 ; TUNIT-NEXT: ret void ; @@ -839,7 +839,7 @@ define i1 @test_merge_with_undef_values_ptr(i1 %c) { define internal i1 @undef_then_null(i1 %c, i32* %i32Aptr, i32* %i32Bptr) { ; CGSCC: Function Attrs: nofree nosync nounwind readnone willreturn ; CGSCC-LABEL: define {{[^@]+}}@undef_then_null -; CGSCC-SAME: (i1 [[C:%.*]]) #[[ATTR2:[0-9]+]] { +; CGSCC-SAME: (i1 [[C:%.*]]) #[[ATTR2]] { ; CGSCC-NEXT: br i1 [[C]], label [[A:%.*]], label [[B:%.*]] ; CGSCC: a: ; CGSCC-NEXT: ret i1 false diff --git a/llvm/test/Transforms/Attributor/willreturn.ll b/llvm/test/Transforms/Attributor/willreturn.ll index 5e41a94..c448587 100644 --- a/llvm/test/Transforms/Attributor/willreturn.ll +++ b/llvm/test/Transforms/Attributor/willreturn.ll @@ -344,8 +344,8 @@ define void @f1() #0 { define void @f2() #0 { ; CHECK: Function Attrs: noinline nounwind willreturn uwtable ; CHECK-LABEL: define {{[^@]+}}@f2 -; CHECK-SAME: () #[[ATTR10:[0-9]+]] { -; CHECK-NEXT: tail call void @f1() #[[ATTR12:[0-9]+]] +; CHECK-SAME: () #[[ATTR10]] { +; CHECK-NEXT: tail call void @f1() #[[ATTR12]] ; CHECK-NEXT: ret void ; tail call void @f1() -- 2.7.4