@@ -11,8 +11,8 @@ target datalayout = "e-m:e-i54:64-f80:128-n8:16:32:64-S128"
1111
1212
1313; TEST 1 (positive case)
14- ; CHECK_MODULE : Function Attrs: nofree noinline nosync nounwind readnone uwtable willreturn
15- ; CHECK_CGSCC : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable willreturn
14+ ; IS__TUNIT____ : Function Attrs: nofree noinline nosync nounwind readnone uwtable willreturn
15+ ; IS__CGSCC____ : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable willreturn
1616define void @only_return () #0 {
1717; CHECK-LABEL: define {{[^@]+}}@only_return()
1818; CHECK-NEXT: ret void
@@ -70,8 +70,8 @@ define i32 @fib(i32 %0) local_unnamed_addr #0 {
7070; }
7171; fact_maybe_not(-1) doesn't stop.
7272
73- ; CHECK_MODULE : Function Attrs: nofree noinline nosync nounwind readnone uwtable
74- ; CHECK_CGSCC : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable
73+ ; IS__TUNIT____ : Function Attrs: nofree noinline nosync nounwind readnone uwtable
74+ ; IS__CGSCC____ : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable
7575; CHECK-NOT: willreturn
7676define i32 @fact_maybe_not_halt (i32 %0 ) local_unnamed_addr #0 {
7777; CHECK-LABEL: define {{[^@]+}}@fact_maybe_not_halt
@@ -120,8 +120,8 @@ define i32 @fact_maybe_not_halt(i32 %0) local_unnamed_addr #0 {
120120; return ans;
121121; }
122122
123- ; CHECK_MODULE : Function Attrs: nofree noinline nosync nounwind readnone uwtable willreturn
124- ; CHECK_CGSCC : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable willreturn
123+ ; IS__TUNIT____ : Function Attrs: nofree noinline nosync nounwind readnone uwtable
124+ ; IS__CGSCC____ : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable
125125define i32 @fact_loop (i32 %0 ) local_unnamed_addr #0 {
126126; CHECK-LABEL: define {{[^@]+}}@fact_loop
127127; CHECK-SAME: (i32 [[TMP0:%.*]]) local_unnamed_addr
@@ -274,8 +274,8 @@ define void @conditional_exit(i32 %0, i32* nocapture readonly %1) local_unnamed_
274274; CHECK-NEXT: declare float @llvm.floor.f32(float)
275275declare float @llvm.floor.f32 (float )
276276
277- ; CHECK_MODULE : Function Attrs: nofree noinline nosync nounwind readnone uwtable willreturn
278- ; CHECK_CGSCC : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable willreturn
277+ ; IS__TUNIT____ : Function Attrs: nofree noinline nosync nounwind readnone uwtable willreturn
278+ ; IS__CGSCC____ : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable willreturn
279279define void @call_floor (float %a ) #0 {
280280; CHECK-LABEL: define {{[^@]+}}@call_floor
281281; CHECK-SAME: (float [[A:%.*]])
@@ -324,8 +324,8 @@ define void @call_maybe_noreturn() #0 {
324324; CHECK-NEXT: declare void @will_return()
325325declare void @will_return () willreturn norecurse
326326
327- ; CHECK_MODULE : Function Attrs: noinline nounwind uwtable willreturn
328- ; CHECK_CGSCC : Function Attrs: noinline norecurse nounwind uwtable willreturn
327+ ; IS__TUNIT____ : Function Attrs: noinline nounwind uwtable willreturn
328+ ; IS__CGSCC____ : Function Attrs: noinline norecurse nounwind uwtable willreturn
329329define void @f1 () #0 {
330330; CHECK-LABEL: define {{[^@]+}}@f1()
331331; CHECK-NEXT: tail call void @will_return()
@@ -335,10 +335,10 @@ define void @f1() #0 {
335335 ret void
336336}
337337
338- ; CHECK_MODULE : Function Attrs: noinline nounwind uwtable
338+ ; IS__TUNIT____ : Function Attrs: noinline nounwind uwtable
339339; FIXME: Because we do not derive norecurse in the module run anymore, willreturn is missing as well.
340- ; CHECK_MODULE -NOT: willreturn
341- ; CHECK_CGSCC : Function Attrs: noinline norecurse nounwind uwtable willreturn
340+ ; IS__TUNIT____ -NOT: willreturn
341+ ; IS__CGSCC____ : Function Attrs: noinline norecurse nounwind uwtable willreturn
342342define void @f2 () #0 {
343343; CHECK-LABEL: define {{[^@]+}}@f2()
344344; CHECK-NEXT: tail call void @f1()
@@ -352,8 +352,8 @@ define void @f2() #0 {
352352; TEST 9 (negative case)
353353; call willreturn function in endless loop.
354354
355- ; CHECK_MODULE : Function Attrs: noinline noreturn nounwind uwtable
356- ; CHECK_CGSCC : Function Attrs: noinline norecurse noreturn nounwind uwtable
355+ ; IS__TUNIT____ : Function Attrs: noinline noreturn nounwind uwtable
356+ ; IS__CGSCC____ : Function Attrs: noinline norecurse noreturn nounwind uwtable
357357; CHECK-NOT: willreturn
358358define void @call_will_return_but_has_loop () #0 {
359359; CHECK-LABEL: define {{[^@]+}}@call_will_return_but_has_loop()
@@ -425,8 +425,8 @@ declare i32 @__gxx_personality_v0(...)
425425; return ans;
426426; }
427427
428- ; CHECK_MODULE : Function Attrs: argmemonly nofree noinline nosync nounwind readonly uwtable willreturn
429- ; CHECK_CGSCC : Function Attrs: argmemonly nofree noinline norecurse nosync nounwind readonly uwtable willreturn
428+ ; IS__TUNIT____ : Function Attrs: argmemonly nofree noinline nosync nounwind readonly uwtable
429+ ; IS__CGSCC____ : Function Attrs: argmemonly nofree noinline norecurse nosync nounwind readonly uwtable
430430define i32 @loop_constant_trip_count (i32* nocapture readonly %0 ) #0 {
431431; CHECK-LABEL: define {{[^@]+}}@loop_constant_trip_count
432432; CHECK-SAME: (i32* nocapture nofree readonly [[TMP0:%.*]])
@@ -470,8 +470,8 @@ define i32 @loop_constant_trip_count(i32* nocapture readonly %0) #0 {
470470; }
471471; return ans;
472472; }
473- ; CHECK_MODULE : Function Attrs: argmemonly nofree noinline nosync nounwind readonly uwtable
474- ; CHECK_CGSCC : Function Attrs: argmemonly nofree noinline norecurse nosync nounwind readonly uwtable
473+ ; IS__TUNIT____ : Function Attrs: argmemonly nofree noinline nosync nounwind readonly uwtable
474+ ; IS__CGSCC____ : Function Attrs: argmemonly nofree noinline norecurse nosync nounwind readonly uwtable
475475; CHECK-NOT: willreturn
476476define i32 @loop_trip_count_unbound (i32 %0 , i32 %1 , i32* nocapture readonly %2 , i32 %3 ) local_unnamed_addr #0 {
477477; CHECK-LABEL: define {{[^@]+}}@loop_trip_count_unbound
@@ -523,9 +523,8 @@ define i32 @loop_trip_count_unbound(i32 %0, i32 %1, i32* nocapture readonly %2,
523523; }
524524
525525
526- ; CHECK_MODULE: Function Attrs: argmemonly nofree noinline nosync nounwind readonly uwtable willreturn
527- ; CHECK_CGSCC: Function Attrs: argmemonly nofree noinline norecurse nosync nounwind readonly uwtable willreturn
528-
526+ ; IS__TUNIT____: Function Attrs: argmemonly nofree noinline nosync nounwind readonly uwtable
527+ ; IS__CGSCC____: Function Attrs: argmemonly nofree noinline norecurse nosync nounwind readonly uwtable
529528define i32 @loop_trip_dec (i32 %0 , i32* nocapture readonly %1 ) local_unnamed_addr #0 {
530529; CHECK-LABEL: define {{[^@]+}}@loop_trip_dec
531530; CHECK-SAME: (i32 [[TMP0:%.*]], i32* nocapture nofree readonly [[TMP1:%.*]]) local_unnamed_addr
@@ -572,8 +571,8 @@ define i32 @loop_trip_dec(i32 %0, i32* nocapture readonly %1) local_unnamed_addr
572571; TEST 14 (positive case)
573572; multiple return
574573
575- ; CHECK_MODULE : Function Attrs: nofree noinline nosync nounwind readnone uwtable willreturn
576- ; CHECK_CGSCC : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable willreturn
574+ ; IS__TUNIT____ : Function Attrs: nofree noinline nosync nounwind readnone uwtable willreturn
575+ ; IS__CGSCC____ : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable willreturn
577576define i32 @multiple_return (i32 %a ) #0 {
578577; CHECK-LABEL: define {{[^@]+}}@multiple_return
579578; CHECK-SAME: (i32 [[A:%.*]])
597596; unreachable exit
598597
599598; 15.1 (positive case)
600- ; CHECK_MODULE : Function Attrs: noinline nounwind uwtable willreturn
601- ; CHECK_CGSCC : Function Attrs: noinline norecurse nounwind uwtable willreturn
599+ ; IS__TUNIT____ : Function Attrs: noinline nounwind uwtable
600+ ; IS__CGSCC____ : Function Attrs: noinline norecurse nounwind uwtable willreturn
602601define void @unreachable_exit_positive1 () #0 {
603602; CHECK-LABEL: define {{[^@]+}}@unreachable_exit_positive1()
604603; CHECK-NEXT: tail call void @will_return()
@@ -614,8 +613,8 @@ unreachable_label:
614613 unreachable
615614}
616615
617- ; CHECK_MODULE : Function Attrs: nofree noinline nosync nounwind readnone uwtable willreturn
618- ; CHECK_CGSCC : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable willreturn
616+ ; IS__TUNIT____ : Function Attrs: nofree noinline nosync nounwind readnone uwtable
617+ ; IS__CGSCC____ : Function Attrs: nofree noinline norecurse nosync nounwind readnone uwtable
619618define i32 @unreachable_exit_positive2 (i32 ) local_unnamed_addr #0 {
620619; CHECK-LABEL: define {{[^@]+}}@unreachable_exit_positive2
621620; CHECK-SAME: (i32 [[TMP0:%.*]]) local_unnamed_addr
@@ -674,8 +673,8 @@ unreachable_label:
674673 unreachable
675674}
676675
677- ; CHECK_MODULE : Function Attrs: nofree noinline noreturn nosync nounwind readnone uwtable
678- ; CHECK_CGSCC : Function Attrs: nofree noinline norecurse noreturn nosync nounwind readnone uwtable
676+ ; IS__TUNIT____ : Function Attrs: nofree noinline noreturn nosync nounwind readnone uwtable
677+ ; IS__CGSCC____ : Function Attrs: nofree noinline norecurse noreturn nosync nounwind readnone uwtable
679678; CHECK-NOT: willreturn
680679define void @unreachable_exit_negative2 () #0 {
681680; CHECK-LABEL: define {{[^@]+}}@unreachable_exit_negative2()
@@ -725,8 +724,8 @@ define void @call_longjmp(i8* nocapture readnone %0) local_unnamed_addr #0 {
725724; return ans;
726725; }
727726
728- ; CHECK_MODULE : Function Attrs: nofree nosync nounwind readnone
729- ; CHECK_CGSCC : Function Attrs: nofree norecurse nosync nounwind readnone
727+ ; IS__TUNIT____ : Function Attrs: nofree nosync nounwind readnone
728+ ; IS__CGSCC____ : Function Attrs: nofree norecurse nosync nounwind readnone
730729; CHECK-NOT: willreturn
731730define i32 @infinite_loop_inside_bounded_loop (i32 %n ) {
732731; CHECK-LABEL: define {{[^@]+}}@infinite_loop_inside_bounded_loop
@@ -788,8 +787,8 @@ for.end: ; preds = %for.cond.cleanup
788787; return ans;
789788; }
790789
791- ; CHECK_MODULE : Function Attrs: nofree nosync nounwind readnone willreturn
792- ; CHECK_CGSCC : Function Attrs: nofree norecurse nosync nounwind readnone willreturn
790+ ; IS__TUNIT____ : Function Attrs: nofree nosync nounwind readnone
791+ ; IS__CGSCC____ : Function Attrs: nofree norecurse nosync nounwind readnone
793792define i32 @bounded_nested_loops (i32 %n ) {
794793; CHECK-LABEL: define {{[^@]+}}@bounded_nested_loops
795794; CHECK-SAME: (i32 [[N:%.*]])
@@ -866,8 +865,8 @@ for.end: ; preds = %for.cond.cleanup
866865; return ans;
867866; }
868867
869- ; CHECK_MODULE : Function Attrs: nofree nosync nounwind readnone
870- ; CHECK_CGSCC : Function Attrs: nofree norecurse nosync nounwind readnone
868+ ; IS__TUNIT____ : Function Attrs: nofree nosync nounwind readnone
869+ ; IS__CGSCC____ : Function Attrs: nofree norecurse nosync nounwind readnone
871870; CHECK-NOT: willreturn
872871define i32 @bounded_loop_inside_unbounded_loop (i32 %n ) {
873872; CHECK-LABEL: define {{[^@]+}}@bounded_loop_inside_unbounded_loop
@@ -952,8 +951,8 @@ while.end: ; preds = %while.cond
952951; return ans;
953952; }
954953
955- ; CHECK_MODULE : Function Attrs: nofree nosync nounwind readnone
956- ; CHECK_CGSCC : Function Attrs: nofree norecurse nosync nounwind readnone
954+ ; IS__TUNIT____ : Function Attrs: nofree nosync nounwind readnone
955+ ; IS__CGSCC____ : Function Attrs: nofree norecurse nosync nounwind readnone
957956; CHECK-NOT: willreturn
958957define i32 @nested_unbounded_loops (i32 %n ) {
959958; CHECK-LABEL: define {{[^@]+}}@nested_unbounded_loops
@@ -1044,8 +1043,8 @@ while.end11: ; preds = %while.cond
10441043; return;
10451044; }
10461045
1047- ; CHECK_MODULE : Function Attrs: nofree nosync nounwind readnone
1048- ; CHECK_CGSCC : Function Attrs: nofree norecurse nosync nounwind readnone
1046+ ; IS__TUNIT____ : Function Attrs: nofree nosync nounwind readnone
1047+ ; IS__CGSCC____ : Function Attrs: nofree norecurse nosync nounwind readnone
10491048; CHECK-NOT: willreturn
10501049define void @non_loop_cycle (i32 %n ) {
10511050; CHECK-LABEL: define {{[^@]+}}@non_loop_cycle
0 commit comments