Skip to content

Commit 3726f9c

Browse files
jdoerfertjdoerfert
authored
[Attributor][NFC] Pre-commits for #107439 (#107457)
1 parent 3b426a8 commit 3726f9c

File tree

9 files changed

+284
-33
lines changed

9 files changed

+284
-33
lines changed

‎llvm/test/Transforms/Attributor/ArgumentPromotion/byval.ll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -59,12 +59,12 @@ define i32 @main() nounwind {
5959
; TUNIT-NEXT: store i32 1, ptr [[S]], align 32
6060
; TUNIT-NEXT: [[VAL4:%.*]] = getelementptr [[STRUCT_SS]], ptr [[S]], i32 0, i32 1
6161
; TUNIT-NEXT: [[TMP0:%.*]] = load i32, ptr [[S]], align 8
62-
; TUNIT-NEXT: [[S_B41:%.*]] = getelementptr i8, ptr [[S]], i64 4
63-
; TUNIT-NEXT: [[TMP1:%.*]] = load i64, ptr [[S_B41]], align 8
62+
; TUNIT-NEXT: [[S_B4:%.*]] = getelementptr i8, ptr [[S]], i64 4
63+
; TUNIT-NEXT: [[TMP1:%.*]] = load i64, ptr [[S_B4]], align 8
6464
; TUNIT-NEXT: [[C0:%.*]] = call i32 @f(i32 [[TMP0]], i64 [[TMP1]]) #[[ATTR1:[0-9]+]]
6565
; TUNIT-NEXT: [[TMP2:%.*]] = load i32, ptr [[S]], align 32
66-
; TUNIT-NEXT: [[S_B4:%.*]] = getelementptr i8, ptr [[S]], i64 4
67-
; TUNIT-NEXT: [[TMP3:%.*]] = load i64, ptr [[S_B4]], align 32
66+
; TUNIT-NEXT: [[S_B41:%.*]] = getelementptr i8, ptr [[S]], i64 4
67+
; TUNIT-NEXT: [[TMP3:%.*]] = load i64, ptr [[S_B41]], align 32
6868
; TUNIT-NEXT: [[C1:%.*]] = call i32 @g(i32 [[TMP2]], i64 [[TMP3]]) #[[ATTR1]]
6969
; TUNIT-NEXT: [[A:%.*]] = add i32 [[C0]], [[C1]]
7070
; TUNIT-NEXT: ret i32 [[A]]

‎llvm/test/Transforms/Attributor/IPConstantProp/2009-09-24-byval-ptr.ll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -139,12 +139,12 @@ define i32 @unions_v2() nounwind {
139139
; TUNIT-SAME: () #[[ATTR2]] {
140140
; TUNIT-NEXT: entry:
141141
; TUNIT-NEXT: [[TMP0:%.*]] = load i8, ptr @mystr, align 8
142-
; TUNIT-NEXT: [[MYSTR_B4:%.*]] = getelementptr i8, ptr @mystr, i64 4
143-
; TUNIT-NEXT: [[TMP1:%.*]] = load i32, ptr [[MYSTR_B4]], align 8
142+
; TUNIT-NEXT: [[MYSTR_B41:%.*]] = getelementptr i8, ptr @mystr, i64 4
143+
; TUNIT-NEXT: [[TMP1:%.*]] = load i32, ptr [[MYSTR_B41]], align 8
144144
; TUNIT-NEXT: call void @vfu1(i8 [[TMP0]], i32 [[TMP1]]) #[[ATTR2]]
145145
; TUNIT-NEXT: [[TMP2:%.*]] = load i8, ptr @mystr, align 8
146-
; TUNIT-NEXT: [[MYSTR_B41:%.*]] = getelementptr i8, ptr @mystr, i64 4
147-
; TUNIT-NEXT: [[TMP3:%.*]] = load i32, ptr [[MYSTR_B41]], align 8
146+
; TUNIT-NEXT: [[MYSTR_B4:%.*]] = getelementptr i8, ptr @mystr, i64 4
147+
; TUNIT-NEXT: [[TMP3:%.*]] = load i32, ptr [[MYSTR_B4]], align 8
148148
; TUNIT-NEXT: [[RESULT:%.*]] = call i32 @vfu2_v2(i8 [[TMP2]], i32 [[TMP3]]) #[[ATTR3]]
149149
; TUNIT-NEXT: ret i32 [[RESULT]]
150150
;

‎llvm/test/Transforms/Attributor/IPConstantProp/return-constants.ll

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -62,13 +62,13 @@ define %0 @caller(i1 %Q) {
6262
; TUNIT: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
6363
; TUNIT-LABEL: define {{[^@]+}}@caller
6464
; TUNIT-SAME: (i1 [[Q:%.*]]) #[[ATTR0]] {
65-
; TUNIT-NEXT: [[X:%.*]] = call [[TMP0:%.*]] [[FOO:@[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 noundef [[Q]]) #[[ATTR1:[0-9]+]]
65+
; TUNIT-NEXT: [[X:%.*]] = call [[TMP0:%.*]] @[[FOO:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 noundef [[Q]]) #[[ATTR1:[0-9]+]]
6666
; TUNIT-NEXT: ret [[TMP0]] [[X]]
6767
;
6868
; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)
6969
; CGSCC-LABEL: define {{[^@]+}}@caller
7070
; CGSCC-SAME: (i1 noundef [[Q:%.*]]) #[[ATTR1:[0-9]+]] {
71-
; CGSCC-NEXT: [[X:%.*]] = call [[TMP0:%.*]] [[FOO:@[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 noundef [[Q]]) #[[ATTR2:[0-9]+]]
71+
; CGSCC-NEXT: [[X:%.*]] = call [[TMP0:%.*]] @[[FOO:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 noundef [[Q]]) #[[ATTR2:[0-9]+]]
7272
; CGSCC-NEXT: ret [[TMP0]] [[X]]
7373
;
7474
%X = call %0 @foo(i1 %Q)
@@ -87,10 +87,10 @@ define i32 @caller2(i1 %Q) {
8787
; TUNIT: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
8888
; TUNIT-LABEL: define {{[^@]+}}@caller2
8989
; TUNIT-SAME: (i1 [[Q:%.*]]) #[[ATTR0]] {
90-
; TUNIT-NEXT: [[X:%.*]] = call [[TMP0:%.*]] [[FOO:@[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 noundef [[Q]]) #[[ATTR1]]
90+
; TUNIT-NEXT: [[X:%.*]] = call [[TMP0:%.*]] @[[FOO]](i1 noundef [[Q]]) #[[ATTR1]]
9191
; TUNIT-NEXT: [[A:%.*]] = extractvalue [[TMP0]] [[X]], 0
9292
; TUNIT-NEXT: [[B:%.*]] = extractvalue [[TMP0]] [[X]], 1
93-
; TUNIT-NEXT: [[Y:%.*]] = call [[TMP0]] [[BAR:@[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 noundef [[Q]]) #[[ATTR1]]
93+
; TUNIT-NEXT: [[Y:%.*]] = call [[TMP0]] @[[BAR:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 noundef [[Q]]) #[[ATTR1]]
9494
; TUNIT-NEXT: [[C:%.*]] = extractvalue [[TMP0]] [[Y]], 0
9595
; TUNIT-NEXT: [[D:%.*]] = extractvalue [[TMP0]] [[Y]], 1
9696
; TUNIT-NEXT: [[M:%.*]] = add i32 [[A]], [[C]]
@@ -101,10 +101,10 @@ define i32 @caller2(i1 %Q) {
101101
; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none)
102102
; CGSCC-LABEL: define {{[^@]+}}@caller2
103103
; CGSCC-SAME: (i1 noundef [[Q:%.*]]) #[[ATTR1]] {
104-
; CGSCC-NEXT: [[X:%.*]] = call [[TMP0:%.*]] [[FOO:@[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 noundef [[Q]]) #[[ATTR2]]
104+
; CGSCC-NEXT: [[X:%.*]] = call [[TMP0:%.*]] @[[FOO]](i1 noundef [[Q]]) #[[ATTR2]]
105105
; CGSCC-NEXT: [[A:%.*]] = extractvalue [[TMP0]] [[X]], 0
106106
; CGSCC-NEXT: [[B:%.*]] = extractvalue [[TMP0]] [[X]], 1
107-
; CGSCC-NEXT: [[Y:%.*]] = call [[TMP0]] [[BAR:@[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 noundef [[Q]]) #[[ATTR2]]
107+
; CGSCC-NEXT: [[Y:%.*]] = call [[TMP0]] @[[BAR:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 noundef [[Q]]) #[[ATTR2]]
108108
; CGSCC-NEXT: [[C:%.*]] = extractvalue [[TMP0]] [[Y]], 0
109109
; CGSCC-NEXT: [[D:%.*]] = extractvalue [[TMP0]] [[Y]], 1
110110
; CGSCC-NEXT: [[M:%.*]] = add i32 [[A]], [[C]]

‎llvm/test/Transforms/Attributor/assumes_info.ll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -119,9 +119,11 @@ attributes #3 = { "llvm.assume"="B,C,A" }
119119
; TUNIT: attributes #[[ATTR0]] = { "llvm.assume"="A" }
120120
; TUNIT: attributes #[[ATTR1]] = { "llvm.assume"="A,B" }
121121
; TUNIT: attributes #[[ATTR2]] = { "llvm.assume"="A,B,C" }
122+
; TUNIT: attributes #[[ATTR3:[0-9]+]] = { "llvm.assume"="B,C,A" }
122123
;.
123124
; CGSCC: attributes #[[ATTR0]] = { "llvm.assume"="A" }
124125
; CGSCC: attributes #[[ATTR1]] = { "llvm.assume"="A,B" }
125126
; CGSCC: attributes #[[ATTR2]] = { "llvm.assume"="A,B,C" }
126127
; CGSCC: attributes #[[ATTR3]] = { "llvm.assume"="B" }
128+
; CGSCC: attributes #[[ATTR4:[0-9]+]] = { "llvm.assume"="B,C,A" }
127129
;.

‎llvm/test/Transforms/Attributor/cb_liveness_disabled.ll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -189,6 +189,7 @@ define i32 @test_ncheck2(i32 %0) #0 {
189189

190190
attributes #0 = { noinline nounwind sspstrong uwtable}
191191

192+
;.
192193
; TUNIT: attributes #[[ATTR0]] = { mustprogress nofree noinline norecurse nosync nounwind sspstrong willreturn memory(none) uwtable }
193194
; TUNIT: attributes #[[ATTR1:[0-9]+]] = { nofree nosync nounwind willreturn memory(none) }
194195
;.

‎llvm/test/Transforms/Attributor/cb_liveness_enabled.ll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -192,6 +192,7 @@ define i32 @test_ncheck2(i32 %0) #0 {
192192

193193
attributes #0 = { noinline nounwind sspstrong uwtable}
194194

195+
;.
195196
; TUNIT: attributes #[[ATTR0]] = { mustprogress nofree noinline norecurse nosync nounwind sspstrong willreturn memory(none) uwtable }
196197
; TUNIT: attributes #[[ATTR1:[0-9]+]] = { nofree nosync nounwind willreturn memory(none) }
197198
;.

‎llvm/test/Transforms/Attributor/phi_bug_pointer_info.ll

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,30 @@
1717
; CHECK: - c: %1 = load i32, ptr %val2, align 4
1818
; CHECK: - 6 - %ret = load i32, ptr %x, align 4
1919
; CHECK: - c: <unknown>
20+
;.
21+
; CHECK: @globalBytes = internal global [1024 x i8] zeroinitializer
22+
;.
2023
define dso_local i32 @phi_different_offsets(ptr nocapture %val, ptr nocapture %val2, i1 %cmp) {
24+
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn
25+
; CHECK-LABEL: define dso_local i32 @phi_different_offsets
26+
; CHECK-SAME: (ptr nocapture nofree readonly [[VAL:%.*]], ptr nocapture nofree readonly [[VAL2:%.*]], i1 noundef [[CMP:%.*]]) #[[ATTR0:[0-9]+]] {
27+
; CHECK-NEXT: entry:
28+
; CHECK-NEXT: br i1 [[CMP]], label [[THEN:%.*]], label [[ELSE:%.*]]
29+
; CHECK: then:
30+
; CHECK-NEXT: [[FIELD2:%.*]] = getelementptr i32, ptr @globalBytes, i32 2
31+
; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[VAL]], align 4
32+
; CHECK-NEXT: store i32 [[TMP0]], ptr [[FIELD2]], align 8
33+
; CHECK-NEXT: br label [[END:%.*]]
34+
; CHECK: else:
35+
; CHECK-NEXT: [[FIELD8:%.*]] = getelementptr i32, ptr @globalBytes, i32 8
36+
; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[VAL2]], align 4
37+
; CHECK-NEXT: store i32 [[TMP1]], ptr [[FIELD8]], align 16
38+
; CHECK-NEXT: br label [[END]]
39+
; CHECK: end:
40+
; CHECK-NEXT: [[X:%.*]] = phi ptr [ [[FIELD2]], [[THEN]] ], [ [[FIELD8]], [[ELSE]] ]
41+
; CHECK-NEXT: [[RET:%.*]] = load i32, ptr [[X]], align 8
42+
; CHECK-NEXT: ret i32 [[RET]]
43+
;
2144
entry:
2245
br i1 %cmp, label %then, label %else
2346

@@ -39,3 +62,6 @@ end:
3962
ret i32 %ret
4063

4164
}
65+
;.
66+
; CHECK: attributes #[[ATTR0]] = { mustprogress nofree norecurse nosync nounwind willreturn }
67+
;.

‎llvm/test/Transforms/Attributor/value-simplify-local-remote.ll

Lines changed: 28 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -106,7 +106,7 @@ define ptr @t2(ptr %this, ptr %this.addr, ptr %this1) {
106106
; TUNIT-SAME: (ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS:%.*]], ptr nocapture nofree readnone [[THIS_ADDR:%.*]], ptr nocapture nofree readnone [[THIS1:%.*]]) #[[ATTR1:[0-9]+]] {
107107
; TUNIT-NEXT: entry:
108108
; TUNIT-NEXT: store ptr [[THIS]], ptr [[THIS]], align 8
109-
; TUNIT-NEXT: [[CALL:%.*]] = call [[S:%.*]] @foo.1(ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS]]) #[[ATTR4:[0-9]+]]
109+
; TUNIT-NEXT: [[CALL:%.*]] = call [[S:%.*]] @[[FOO_1:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS]]) #[[ATTR4:[0-9]+]]
110110
; TUNIT-NEXT: [[TEST_RET:%.*]] = extractvalue [[S]] [[CALL]], 0
111111
; TUNIT-NEXT: ret ptr [[TEST_RET]]
112112
;
@@ -115,7 +115,7 @@ define ptr @t2(ptr %this, ptr %this.addr, ptr %this1) {
115115
; CGSCC-SAME: (ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS:%.*]], ptr nocapture nofree readnone [[THIS_ADDR:%.*]], ptr nocapture nofree readnone [[THIS1:%.*]]) #[[ATTR2:[0-9]+]] {
116116
; CGSCC-NEXT: entry:
117117
; CGSCC-NEXT: store ptr [[THIS]], ptr [[THIS]], align 8
118-
; CGSCC-NEXT: [[CALL:%.*]] = call [[S:%.*]] @foo.1(ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS]]) #[[ATTR8:[0-9]+]]
118+
; CGSCC-NEXT: [[CALL:%.*]] = call [[S:%.*]] @[[FOO_1:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS]]) #[[ATTR8:[0-9]+]]
119119
; CGSCC-NEXT: [[TEST_RET:%.*]] = extractvalue [[S]] [[CALL]], 0
120120
; CGSCC-NEXT: ret ptr [[TEST_RET]]
121121
;
@@ -205,7 +205,7 @@ define ptr @foo(ptr %this, ptr %this.addr, ptr %this1) {
205205
; TUNIT-SAME: (ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS:%.*]], ptr nocapture nofree readnone [[THIS_ADDR:%.*]], ptr nocapture nofree readnone [[THIS1:%.*]]) #[[ATTR1]] {
206206
; TUNIT-NEXT: entry:
207207
; TUNIT-NEXT: store ptr [[THIS]], ptr [[THIS]], align 8
208-
; TUNIT-NEXT: [[CALL:%.*]] = call [[S:%.*]] @bar.5(ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS]]) #[[ATTR4]]
208+
; TUNIT-NEXT: [[CALL:%.*]] = call [[S:%.*]] @[[BAR_5:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS]]) #[[ATTR4]]
209209
; TUNIT-NEXT: [[FOO_RET:%.*]] = extractvalue [[S]] [[CALL]], 0
210210
; TUNIT-NEXT: ret ptr [[FOO_RET]]
211211
;
@@ -214,7 +214,7 @@ define ptr @foo(ptr %this, ptr %this.addr, ptr %this1) {
214214
; CGSCC-SAME: (ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS:%.*]], ptr nocapture nofree readnone [[THIS_ADDR:%.*]], ptr nocapture nofree readnone [[THIS1:%.*]]) #[[ATTR2]] {
215215
; CGSCC-NEXT: entry:
216216
; CGSCC-NEXT: store ptr [[THIS]], ptr [[THIS]], align 8
217-
; CGSCC-NEXT: [[CALL:%.*]] = call [[S:%.*]] @bar.5(ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS]]) #[[ATTR8]]
217+
; CGSCC-NEXT: [[CALL:%.*]] = call [[S:%.*]] @[[BAR_5:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS]]) #[[ATTR8]]
218218
; CGSCC-NEXT: [[FOO_RET:%.*]] = extractvalue [[S]] [[CALL]], 0
219219
; CGSCC-NEXT: ret ptr [[FOO_RET]]
220220
;
@@ -317,7 +317,7 @@ define weak_odr void @t3() {
317317
; CHECK: for.cond:
318318
; CHECK-NEXT: br label [[FOR_BODY:%.*]]
319319
; CHECK: for.body:
320-
; CHECK-NEXT: [[CALL4:%.*]] = call [[S_2:%.*]] @t3.helper()
320+
; CHECK-NEXT: [[CALL4:%.*]] = call [[S_2:%.*]] @[[T3_HELPER:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]]()
321321
; CHECK-NEXT: ret void
322322
;
323323
entry:
@@ -380,8 +380,8 @@ define dso_local void @spam() {
380380
; TUNIT-NEXT: store i32 [[X]], ptr [[TMP]], align 4
381381
; TUNIT-NEXT: br label [[BB16:%.*]]
382382
; TUNIT: bb16:
383-
; TUNIT-NEXT: [[TRUETMP18:%.*]] = icmp eq i32 [[X]], 0
384-
; TUNIT-NEXT: br i1 [[TRUETMP18]], label [[BB35:%.*]], label [[BB19:%.*]]
383+
; TUNIT-NEXT: [[TMP18:%.*]] = icmp eq i32 [[X]], 0
384+
; TUNIT-NEXT: br i1 [[TMP18]], label [[BB35:%.*]], label [[BB19:%.*]]
385385
; TUNIT: bb19:
386386
; TUNIT-NEXT: br label [[BB23:%.*]]
387387
; TUNIT: bb23:
@@ -404,8 +404,8 @@ define dso_local void @spam() {
404404
; CGSCC-NEXT: store i32 [[X]], ptr [[TMP]], align 4
405405
; CGSCC-NEXT: br label [[BB16:%.*]]
406406
; CGSCC: bb16:
407-
; CGSCC-NEXT: [[TRUETMP18:%.*]] = icmp eq i32 [[X]], 0
408-
; CGSCC-NEXT: br i1 [[TRUETMP18]], label [[BB35:%.*]], label [[BB19:%.*]]
407+
; CGSCC-NEXT: [[TMP18:%.*]] = icmp eq i32 [[X]], 0
408+
; CGSCC-NEXT: br i1 [[TMP18]], label [[BB35:%.*]], label [[BB19:%.*]]
409409
; CGSCC: bb19:
410410
; CGSCC-NEXT: br label [[BB23:%.*]]
411411
; CGSCC: bb23:
@@ -467,7 +467,7 @@ define double @t4(ptr %this, ptr %this.addr, ptr %this1) {
467467
; TUNIT-NEXT: entry:
468468
; TUNIT-NEXT: [[THIS_ADDR1:%.*]] = alloca ptr, i32 0, align 8
469469
; TUNIT-NEXT: store ptr [[THIS]], ptr [[THIS]], align 8
470-
; TUNIT-NEXT: [[CALL:%.*]] = call [[S:%.*]] @t4a(ptr nofree noundef nonnull writeonly align 8 dereferenceable(8) [[THIS]]) #[[ATTR5]]
470+
; TUNIT-NEXT: [[CALL:%.*]] = call [[S:%.*]] @[[T4A:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr nofree noundef nonnull writeonly align 8 dereferenceable(8) [[THIS]]) #[[ATTR5]]
471471
; TUNIT-NEXT: ret double 0.000000e+00
472472
;
473473
; CGSCC: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(argmem: readwrite)
@@ -476,7 +476,7 @@ define double @t4(ptr %this, ptr %this.addr, ptr %this1) {
476476
; CGSCC-NEXT: entry:
477477
; CGSCC-NEXT: [[THIS_ADDR1:%.*]] = alloca ptr, i32 0, align 8
478478
; CGSCC-NEXT: store ptr [[THIS]], ptr [[THIS]], align 8
479-
; CGSCC-NEXT: [[CALL:%.*]] = call [[S:%.*]] @t4a(ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS]]) #[[ATTR8]]
479+
; CGSCC-NEXT: [[CALL:%.*]] = call [[S:%.*]] @[[T4A:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr nofree noundef nonnull align 8 dereferenceable(8) [[THIS]]) #[[ATTR8]]
480480
; CGSCC-NEXT: [[TMP0:%.*]] = extractvalue [[S]] [[CALL]], 0
481481
; CGSCC-NEXT: ret double 0.000000e+00
482482
;
@@ -615,12 +615,21 @@ entry:
615615
; CGSCC: attributes #[[ATTR8]] = { nofree nounwind willreturn }
616616
; CGSCC: attributes #[[ATTR9]] = { nofree nounwind willreturn memory(readwrite) }
617617
;.
618-
; CHECK: [[META0:![0-9]+]] = !{i32 2, !"SDK Version", [2 x i32] [i32 11, i32 5]}
619-
; CHECK: [[META1:![0-9]+]] = !{i32 1, !"wchar_size", i32 4}
620-
; CHECK: [[META2:![0-9]+]] = !{i32 7, !"openmp", i32 50}
621-
; CHECK: [[META3:![0-9]+]] = !{i32 7, !"openmp-device", i32 50}
622-
; CHECK: [[META4:![0-9]+]] = !{i32 8, !"PIC Level", i32 2}
623-
; CHECK: [[META5:![0-9]+]] = !{i32 7, !"frame-pointer", i32 2}
624-
; CHECK: [[META6:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 2}
625-
; CHECK: [[META7:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3}
618+
; TUNIT: [[META0:![0-9]+]] = !{i32 2, !"SDK Version", [2 x i32] [i32 11, i32 5]}
619+
; TUNIT: [[META1:![0-9]+]] = !{i32 1, !"wchar_size", i32 4}
620+
; TUNIT: [[META2:![0-9]+]] = !{i32 7, !"openmp", i32 50}
621+
; TUNIT: [[META3:![0-9]+]] = !{i32 7, !"openmp-device", i32 50}
622+
; TUNIT: [[META4:![0-9]+]] = !{i32 8, !"PIC Level", i32 2}
623+
; TUNIT: [[META5:![0-9]+]] = !{i32 7, !"frame-pointer", i32 2}
624+
; TUNIT: [[META6:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 2}
625+
; TUNIT: [[META7:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3}
626+
;.
627+
; CGSCC: [[META0:![0-9]+]] = !{i32 2, !"SDK Version", [2 x i32] [i32 11, i32 5]}
628+
; CGSCC: [[META1:![0-9]+]] = !{i32 1, !"wchar_size", i32 4}
629+
; CGSCC: [[META2:![0-9]+]] = !{i32 7, !"openmp", i32 50}
630+
; CGSCC: [[META3:![0-9]+]] = !{i32 7, !"openmp-device", i32 50}
631+
; CGSCC: [[META4:![0-9]+]] = !{i32 8, !"PIC Level", i32 2}
632+
; CGSCC: [[META5:![0-9]+]] = !{i32 7, !"frame-pointer", i32 2}
633+
; CGSCC: [[META6:![0-9]+]] = !{i32 7, !"Dwarf Version", i32 2}
634+
; CGSCC: [[META7:![0-9]+]] = !{i32 2, !"Debug Info Version", i32 3}
626635
;.

0 commit comments

Comments
 (0)