Skip to content

Commit 48b4ab4

Browse files
jdoerfertjdoerfert
committed
[Attributor][FIX] Unbreak buildbot through test correction
1 parent dac2d40 commit 48b4ab4

File tree

1 file changed

+23
-10
lines changed

1 file changed

+23
-10
lines changed

‎llvm/test/Transforms/FunctionAttrs/nonnull.ll

Lines changed: 23 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -79,9 +79,10 @@ define i8* @test5(i1 %c) {
7979
}
8080

8181
; Local analysis, but going through a self recursive phi
82-
define i8* @test6() {
82+
; ATTRIBUTOR: Function Attrs: noreturn
83+
; ATTRIBUTOR: define noalias nonnull align 536870912 dereferenceable(4294967295) i8* @test6a()
84+
define i8* @test6a() {
8385
entry:
84-
; BOTH: define nonnull i8* @test6
8586
%ret = call i8* @ret_nonnull()
8687
br label %loop
8788
loop:
@@ -91,6 +92,18 @@ exit:
9192
ret i8* %phi
9293
}
9394

95+
; ATTRIBUTOR: define nonnull i8* @test6b(i1 %c)
96+
define i8* @test6b(i1 %c) {
97+
entry:
98+
%ret = call i8* @ret_nonnull()
99+
br label %loop
100+
loop:
101+
%phi = phi i8* [%ret, %entry], [%phi, %loop]
102+
br i1 %c, label %loop, label %exit
103+
exit:
104+
ret i8* %phi
105+
}
106+
94107
; BOTH: define i8* @test7
95108
define i8* @test7(i8* %a) {
96109
%b = getelementptr inbounds i8, i8* %a, i64 0
@@ -590,7 +603,7 @@ declare void @h(i32*) willreturn nounwind
590603
declare i32 @g(i32*) willreturn nounwind
591604
define i32 @nonnull_exec_ctx_1(i32* %a, i32 %b) {
592605
; FNATTR-LABEL: define {{[^@]+}}@nonnull_exec_ctx_1
593-
; FNATTR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]]) #3
606+
; FNATTR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]])
594607
; FNATTR-NEXT: en:
595608
; FNATTR-NEXT: [[TMP3:%.*]] = icmp eq i32 [[B:%.*]], 0
596609
; FNATTR-NEXT: br i1 [[TMP3]], label [[EX:%.*]], label [[HD:%.*]]
@@ -605,7 +618,7 @@ define i32 @nonnull_exec_ctx_1(i32* %a, i32 %b) {
605618
; FNATTR-NEXT: br i1 [[TMP9]], label [[EX]], label [[HD]]
606619
;
607620
; ATTRIBUTOR-LABEL: define {{[^@]+}}@nonnull_exec_ctx_1
608-
; ATTRIBUTOR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]]) #5
621+
; ATTRIBUTOR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]])
609622
; ATTRIBUTOR-NEXT: en:
610623
; ATTRIBUTOR-NEXT: [[TMP3:%.*]] = icmp eq i32 [[B:%.*]], 0
611624
; ATTRIBUTOR-NEXT: br i1 [[TMP3]], label [[EX:%.*]], label [[HD:%.*]]
@@ -637,7 +650,7 @@ hd:
637650

638651
define i32 @nonnull_exec_ctx_1b(i32* %a, i32 %b) {
639652
; FNATTR-LABEL: define {{[^@]+}}@nonnull_exec_ctx_1b
640-
; FNATTR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]]) #3
653+
; FNATTR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]])
641654
; FNATTR-NEXT: en:
642655
; FNATTR-NEXT: [[TMP3:%.*]] = icmp eq i32 [[B:%.*]], 0
643656
; FNATTR-NEXT: br i1 [[TMP3]], label [[EX:%.*]], label [[HD:%.*]]
@@ -654,7 +667,7 @@ define i32 @nonnull_exec_ctx_1b(i32* %a, i32 %b) {
654667
; FNATTR-NEXT: br i1 [[TMP9]], label [[EX]], label [[HD]]
655668
;
656669
; ATTRIBUTOR-LABEL: define {{[^@]+}}@nonnull_exec_ctx_1b
657-
; ATTRIBUTOR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]]) #5
670+
; ATTRIBUTOR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]])
658671
; ATTRIBUTOR-NEXT: en:
659672
; ATTRIBUTOR-NEXT: [[TMP3:%.*]] = icmp eq i32 [[B:%.*]], 0
660673
; ATTRIBUTOR-NEXT: br i1 [[TMP3]], label [[EX:%.*]], label [[HD:%.*]]
@@ -691,7 +704,7 @@ hd2:
691704

692705
define i32 @nonnull_exec_ctx_2(i32* %a, i32 %b) willreturn nounwind {
693706
; FNATTR-LABEL: define {{[^@]+}}@nonnull_exec_ctx_2
694-
; FNATTR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]]) #2
707+
; FNATTR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]])
695708
; FNATTR-NEXT: en:
696709
; FNATTR-NEXT: [[TMP3:%.*]] = icmp eq i32 [[B:%.*]], 0
697710
; FNATTR-NEXT: br i1 [[TMP3]], label [[EX:%.*]], label [[HD:%.*]]
@@ -706,7 +719,7 @@ define i32 @nonnull_exec_ctx_2(i32* %a, i32 %b) willreturn nounwind {
706719
; FNATTR-NEXT: br i1 [[TMP9]], label [[EX]], label [[HD]]
707720
;
708721
; ATTRIBUTOR-LABEL: define {{[^@]+}}@nonnull_exec_ctx_2
709-
; ATTRIBUTOR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]]) #3
722+
; ATTRIBUTOR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]])
710723
; ATTRIBUTOR-NEXT: en:
711724
; ATTRIBUTOR-NEXT: [[TMP3:%.*]] = icmp eq i32 [[B:%.*]], 0
712725
; ATTRIBUTOR-NEXT: br i1 [[TMP3]], label [[EX:%.*]], label [[HD:%.*]]
@@ -738,7 +751,7 @@ hd:
738751

739752
define i32 @nonnull_exec_ctx_2b(i32* %a, i32 %b) willreturn nounwind {
740753
; FNATTR-LABEL: define {{[^@]+}}@nonnull_exec_ctx_2b
741-
; FNATTR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]]) #2
754+
; FNATTR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]])
742755
; FNATTR-NEXT: en:
743756
; FNATTR-NEXT: [[TMP3:%.*]] = icmp eq i32 [[B:%.*]], 0
744757
; FNATTR-NEXT: br i1 [[TMP3]], label [[EX:%.*]], label [[HD:%.*]]
@@ -755,7 +768,7 @@ define i32 @nonnull_exec_ctx_2b(i32* %a, i32 %b) willreturn nounwind {
755768
; FNATTR-NEXT: br i1 [[TMP9]], label [[EX]], label [[HD]]
756769
;
757770
; ATTRIBUTOR-LABEL: define {{[^@]+}}@nonnull_exec_ctx_2b
758-
; ATTRIBUTOR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]]) #3
771+
; ATTRIBUTOR-SAME: (i32* [[A:%.*]], i32 [[B:%.*]])
759772
; ATTRIBUTOR-NEXT: en:
760773
; ATTRIBUTOR-NEXT: [[TMP3:%.*]] = icmp eq i32 [[B:%.*]], 0
761774
; ATTRIBUTOR-NEXT: br i1 [[TMP3]], label [[EX:%.*]], label [[HD:%.*]]

0 commit comments

Comments
 (0)