Skip to content

Commit c6cd1b6

Browse files
ApochensApochens
committed
simplify the regression test
1 parent 8b6aabe commit c6cd1b6

File tree

1 file changed

+71
-130
lines changed

1 file changed

+71
-130
lines changed

‎llvm/test/Transforms/LoopDistribute/salvage-dbg-values-in-distributed-loops.ll‎

Lines changed: 71 additions & 130 deletions
Original file line numberDiff line numberDiff line change
@@ -3,157 +3,98 @@
33
; Check that removeUnusedInsts() salvages `dbg_value`s which use dead
44
; instructions in the distributed loops.
55

6-
define void @f(ptr noalias %a, ptr noalias %b, ptr noalias %c, ptr noalias %d, ptr noalias %e) !dbg !5 {
6+
define void @f(ptr noalias %a, ptr noalias %c, ptr noalias %d) !dbg !5 {
77
; CHECK-LABEL: define void @f(
8-
; CHECK-SAME: ptr noalias [[A:%.*]], ptr noalias [[B:%.*]], ptr noalias [[C:%.*]], ptr noalias [[D:%.*]], ptr noalias [[E:%.*]])
8+
; CHECK-SAME: ptr noalias [[A:%.*]], ptr noalias [[C:%.*]], ptr noalias [[D:%.*]])
99

10-
; CHECK: for.body.ldist1:
11-
; CHECK-NEXT: [[IND_LDIST1:%.*]] = phi i64 [ 0, %[[ENTRY_SPLIT_LDIST1:.*]] ], [ [[ADD_LDIST1:%.*]], %for.body.ldist1 ], !dbg [[DBG28:![0-9]+]]
10+
entry:
11+
br label %for.body, !dbg !21
12+
13+
for.body: ; preds = %for.body, %entry
14+
%ind = phi i64 [ 0, %entry ], [ %add, %for.body ], !dbg !22
15+
#dbg_value(i64 %ind, !9, !DIExpression(), !22)
16+
%add = add nuw nsw i64 %ind, 1, !dbg !23
17+
#dbg_value(i64 %add, !11, !DIExpression(), !23)
1218

13-
; CHECK: store i32
14-
; CHECK-NEXT: #dbg_value(!DIArgList(ptr [[D]], i64 [[IND_LDIST1]]), [[META19:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 4, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), [[META37:![0-9]+]])
15-
; CHECK-NEXT: #dbg_value(i32 poison, [[META20:![0-9]+]], !DIExpression(), [[META38:![0-9]+]])
16-
; CHECK-NEXT: #dbg_value(!DIArgList(ptr [[E]], i64 [[IND_LDIST1]]), [[META21:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 4, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), [[META39:![0-9]+]])
17-
; CHECK-NEXT: #dbg_value(i32 poison, [[META22:![0-9]+]], !DIExpression(), [[META40:![0-9]+]])
18-
; CHECK-NEXT: #dbg_value(!DIArgList(i32 poison, i32 poison), [[META23:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_mul, DW_OP_stack_value), [[META41:![0-9]+]])
19-
; CHECK-NEXT: #dbg_value(!DIArgList(ptr [[C]], i64 [[IND_LDIST1]]), [[META24:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 4, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), [[META42:![0-9]+]])
20-
; CHECK-NEXT: [[EXITCOND_LDIST1:%.*]] = icmp eq i64 [[ADD_LDIST1]], 20, !dbg [[DBG43:![0-9]+]]
21-
; CHECK-NEXT: #dbg_value(i1 [[EXITCOND_LDIST1]], [[META25:![0-9]+]], !DIExpression(), [[DBG43]])
22-
; CHECK-NEXT: br i1 [[EXITCOND_LDIST1]], label %[[ENTRY_SPLIT:.*]], label %for.body.ldist1, !dbg [[DBG44:![0-9]+]]
2319

24-
; CHECK: for.body:
25-
; CHECK-NEXT: [[IND:%.*]] = phi i64 [ 0, %[[ENTRY_SPLIT:.*]] ], [ [[ADD:%.*]], %for.body ], !dbg [[DBG28]]
26-
; CHECK-NEXT: #dbg_value(i64 [[IND]], [[META9:![0-9]+]], !DIExpression(), [[DBG28]])
27-
; CHECK-NEXT: #dbg_value(!DIArgList(ptr [[A]], i64 [[IND]]), [[META11:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 4, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), [[DBG29:![0-9]+]])
28-
; CHECK-NEXT: #dbg_value(i32 poison, [[META12:![0-9]+]], !DIExpression(), [[DBG30:![0-9]+]])
29-
; CHECK-NEXT: #dbg_value(!DIArgList(ptr [[B]], i64 [[IND]]), [[META14:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 4, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), [[DBG31:![0-9]+]])
30-
; CHECK-NEXT: #dbg_value(i32 poison, [[META15:![0-9]+]], !DIExpression(), [[DBG32:![0-9]+]])
31-
; CHECK-NEXT: #dbg_value(!DIArgList(i32 poison, i32 poison), [[META16:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_mul, DW_OP_stack_value), [[DBG33:![0-9]+]])
32-
; CHECK-NEXT: [[ADD]] = add nuw nsw i64 [[IND]], 1, !dbg [[DBG34:![0-9]+]]
33-
; CHECK-NEXT: #dbg_value(i64 [[ADD]], [[META17:![0-9]+]], !DIExpression(), [[DBG34]])
34-
; CHECK-NEXT: #dbg_value(!DIArgList(ptr [[A]], i64 [[ADD]]), [[META18:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 4, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), [[DBG35:![0-9]+]])
20+
; CHECK-LABEL: for.body.ldist1:
21+
; CHECK: #dbg_value(!DIArgList(ptr [[D]], i64 [[IND_LDIST1:%.*]]), [[META16:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 4, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), [[META28:![0-9]+]])
22+
; CHECK: #dbg_value(!DIArgList(ptr [[C]], i64 [[IND_LDIST1]]), [[META18:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 4, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), [[META30:![0-9]+]])
3523
;
36-
entry:
37-
br label %for.body, !dbg !27
24+
%arrayidxA = getelementptr inbounds i32, ptr %a, i64 %ind, !dbg !24
25+
#dbg_value(ptr %arrayidxA, !12, !DIExpression(), !24)
26+
%loadA = load i32, ptr %arrayidxA, align 4, !dbg !25
27+
#dbg_value(i32 %loadA, !13, !DIExpression(), !25)
28+
%arrayidxA_plus_4 = getelementptr inbounds i32, ptr %a, i64 %add, !dbg !26
29+
#dbg_value(ptr %arrayidxA_plus_4, !15, !DIExpression(), !26)
30+
store i32 %loadA, ptr %arrayidxA_plus_4, align 4, !dbg !27
3831

39-
for.body: ; preds = %for.body, %entry
40-
%ind = phi i64 [ 0, %entry ], [ %add, %for.body ], !dbg !28
41-
#dbg_value(i64 %ind, !9, !DIExpression(), !28)
42-
%arrayidxA = getelementptr inbounds i32, ptr %a, i64 %ind, !dbg !29
43-
#dbg_value(ptr %arrayidxA, !11, !DIExpression(), !29)
44-
%loadA = load i32, ptr %arrayidxA, align 4, !dbg !30
45-
#dbg_value(i32 %loadA, !12, !DIExpression(), !30)
46-
%arrayidxB = getelementptr inbounds i32, ptr %b, i64 %ind, !dbg !31
47-
#dbg_value(ptr %arrayidxB, !14, !DIExpression(), !31)
48-
%loadB = load i32, ptr %arrayidxB, align 4, !dbg !32
49-
#dbg_value(i32 %loadB, !15, !DIExpression(), !32)
50-
%mulA = mul i32 %loadB, %loadA, !dbg !33
51-
#dbg_value(i32 %mulA, !16, !DIExpression(), !33)
52-
%add = add nuw nsw i64 %ind, 1, !dbg !34
53-
#dbg_value(i64 %add, !17, !DIExpression(), !34)
54-
%arrayidxA_plus_4 = getelementptr inbounds i32, ptr %a, i64 %add, !dbg !35
55-
#dbg_value(ptr %arrayidxA_plus_4, !18, !DIExpression(), !35)
56-
store i32 %mulA, ptr %arrayidxA_plus_4, align 4, !dbg !36
57-
%arrayidxD = getelementptr inbounds i32, ptr %d, i64 %ind, !dbg !37
58-
#dbg_value(ptr %arrayidxD, !19, !DIExpression(), !37)
59-
%loadD = load i32, ptr %arrayidxD, align 4, !dbg !38
60-
#dbg_value(i32 %loadD, !20, !DIExpression(), !38)
61-
%arrayidxE = getelementptr inbounds i32, ptr %e, i64 %ind, !dbg !39
62-
#dbg_value(ptr %arrayidxE, !21, !DIExpression(), !39)
63-
%loadE = load i32, ptr %arrayidxE, align 4, !dbg !40
64-
#dbg_value(i32 %loadE, !22, !DIExpression(), !40)
65-
%mulC = mul i32 %loadD, %loadE, !dbg !41
66-
#dbg_value(i32 %mulC, !23, !DIExpression(), !41)
67-
%arrayidxC = getelementptr inbounds i32, ptr %c, i64 %ind, !dbg !42
68-
#dbg_value(ptr %arrayidxC, !24, !DIExpression(), !42)
69-
store i32 %mulC, ptr %arrayidxC, align 4, !dbg !43
70-
%exitcond = icmp eq i64 %add, 20, !dbg !44
71-
#dbg_value(i1 %exitcond, !25, !DIExpression(), !44)
72-
br i1 %exitcond, label %for.end, label %for.body, !dbg !45
32+
; CHECK-LABEL: for.body:
33+
; CHECK: #dbg_value(!DIArgList(ptr [[A]], i64 [[IND:%.*]]), [[META12:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 4, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), [[DBG24:![0-9]+]])
34+
; CHECK: #dbg_value(!DIArgList(ptr [[A]], i64 [[ADD:%.*]]), [[META15:![0-9]+]], !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_arg, 1, DW_OP_constu, 4, DW_OP_mul, DW_OP_plus, DW_OP_stack_value), [[DBG26:![0-9]+]])
35+
;
36+
%arrayidxD = getelementptr inbounds i32, ptr %d, i64 %ind, !dbg !28
37+
#dbg_value(ptr %arrayidxD, !16, !DIExpression(), !28)
38+
%loadD = load i32, ptr %arrayidxD, align 4, !dbg !29
39+
#dbg_value(i32 %loadD, !17, !DIExpression(), !29)
40+
%arrayidxC = getelementptr inbounds i32, ptr %c, i64 %ind, !dbg !30
41+
#dbg_value(ptr %arrayidxC, !18, !DIExpression(), !30)
42+
store i32 %loadD, ptr %arrayidxC, align 4, !dbg !31
43+
44+
%exitcond = icmp eq i64 %add, 20, !dbg !32
45+
#dbg_value(i1 %exitcond, !19, !DIExpression(), !32)
46+
br i1 %exitcond, label %for.end, label %for.body, !dbg !33
7347

7448
for.end: ; preds = %for.body
75-
ret void, !dbg !46
49+
ret void, !dbg !34
7650
}
7751

7852
!llvm.dbg.cu = !{!0}
7953
!llvm.debugify = !{!2, !3}
8054
!llvm.module.flags = !{!4}
8155

8256
!0 = distinct !DICompileUnit(language: DW_LANG_C, file: !1, producer: "debugify", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug)
83-
!1 = !DIFile(filename: "/app/example.ll", directory: "/")
84-
!2 = !{i32 20}
85-
!3 = !{i32 15}
57+
!1 = !DIFile(filename: "temp.ll", directory: "/")
58+
!2 = !{i32 14}
59+
!3 = !{i32 9}
8660
!4 = !{i32 2, !"Debug Info Version", i32 3}
8761
!5 = distinct !DISubprogram(name: "f", linkageName: "f", scope: null, file: !1, line: 1, type: !6, scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !8)
8862
!6 = !DISubroutineType(types: !7)
8963
!7 = !{}
90-
!8 = !{!9, !11, !12, !14, !15, !16, !17, !18, !19, !20, !21, !22, !23, !24, !25}
64+
!8 = !{!9, !11, !12, !13, !15, !16, !17, !18, !19}
9165
!9 = !DILocalVariable(name: "1", scope: !5, file: !1, line: 2, type: !10)
9266
!10 = !DIBasicType(name: "ty64", size: 64, encoding: DW_ATE_unsigned)
9367
!11 = !DILocalVariable(name: "2", scope: !5, file: !1, line: 3, type: !10)
94-
!12 = !DILocalVariable(name: "3", scope: !5, file: !1, line: 4, type: !13)
95-
!13 = !DIBasicType(name: "ty32", size: 32, encoding: DW_ATE_unsigned)
96-
!14 = !DILocalVariable(name: "4", scope: !5, file: !1, line: 5, type: !10)
97-
!15 = !DILocalVariable(name: "5", scope: !5, file: !1, line: 6, type: !13)
98-
!16 = !DILocalVariable(name: "6", scope: !5, file: !1, line: 7, type: !13)
99-
!17 = !DILocalVariable(name: "7", scope: !5, file: !1, line: 8, type: !10)
100-
!18 = !DILocalVariable(name: "8", scope: !5, file: !1, line: 9, type: !10)
101-
!19 = !DILocalVariable(name: "9", scope: !5, file: !1, line: 11, type: !10)
102-
!20 = !DILocalVariable(name: "10", scope: !5, file: !1, line: 12, type: !13)
103-
!21 = !DILocalVariable(name: "11", scope: !5, file: !1, line: 13, type: !10)
104-
!22 = !DILocalVariable(name: "12", scope: !5, file: !1, line: 14, type: !13)
105-
!23 = !DILocalVariable(name: "13", scope: !5, file: !1, line: 15, type: !13)
106-
!24 = !DILocalVariable(name: "14", scope: !5, file: !1, line: 16, type: !10)
107-
!25 = !DILocalVariable(name: "15", scope: !5, file: !1, line: 18, type: !26)
108-
!26 = !DIBasicType(name: "ty8", size: 8, encoding: DW_ATE_unsigned)
109-
!27 = !DILocation(line: 1, column: 1, scope: !5)
110-
!28 = !DILocation(line: 2, column: 1, scope: !5)
111-
!29 = !DILocation(line: 3, column: 1, scope: !5)
112-
!30 = !DILocation(line: 4, column: 1, scope: !5)
113-
!31 = !DILocation(line: 5, column: 1, scope: !5)
114-
!32 = !DILocation(line: 6, column: 1, scope: !5)
115-
!33 = !DILocation(line: 7, column: 1, scope: !5)
116-
!34 = !DILocation(line: 8, column: 1, scope: !5)
117-
!35 = !DILocation(line: 9, column: 1, scope: !5)
118-
!36 = !DILocation(line: 10, column: 1, scope: !5)
119-
!37 = !DILocation(line: 11, column: 1, scope: !5)
120-
!38 = !DILocation(line: 12, column: 1, scope: !5)
121-
!39 = !DILocation(line: 13, column: 1, scope: !5)
122-
!40 = !DILocation(line: 14, column: 1, scope: !5)
123-
!41 = !DILocation(line: 15, column: 1, scope: !5)
124-
!42 = !DILocation(line: 16, column: 1, scope: !5)
125-
!43 = !DILocation(line: 17, column: 1, scope: !5)
126-
!44 = !DILocation(line: 18, column: 1, scope: !5)
127-
!45 = !DILocation(line: 19, column: 1, scope: !5)
128-
!46 = !DILocation(line: 20, column: 1, scope: !5)
68+
!12 = !DILocalVariable(name: "3", scope: !5, file: !1, line: 4, type: !10)
69+
!13 = !DILocalVariable(name: "4", scope: !5, file: !1, line: 5, type: !14)
70+
!14 = !DIBasicType(name: "ty32", size: 32, encoding: DW_ATE_unsigned)
71+
!15 = !DILocalVariable(name: "5", scope: !5, file: !1, line: 6, type: !10)
72+
!16 = !DILocalVariable(name: "6", scope: !5, file: !1, line: 8, type: !10)
73+
!17 = !DILocalVariable(name: "7", scope: !5, file: !1, line: 9, type: !14)
74+
!18 = !DILocalVariable(name: "8", scope: !5, file: !1, line: 10, type: !10)
75+
!19 = !DILocalVariable(name: "9", scope: !5, file: !1, line: 12, type: !20)
76+
!20 = !DIBasicType(name: "ty8", size: 8, encoding: DW_ATE_unsigned)
77+
!21 = !DILocation(line: 1, column: 1, scope: !5)
78+
!22 = !DILocation(line: 2, column: 1, scope: !5)
79+
!23 = !DILocation(line: 3, column: 1, scope: !5)
80+
!24 = !DILocation(line: 4, column: 1, scope: !5)
81+
!25 = !DILocation(line: 5, column: 1, scope: !5)
82+
!26 = !DILocation(line: 6, column: 1, scope: !5)
83+
!27 = !DILocation(line: 7, column: 1, scope: !5)
84+
!28 = !DILocation(line: 8, column: 1, scope: !5)
85+
!29 = !DILocation(line: 9, column: 1, scope: !5)
86+
!30 = !DILocation(line: 10, column: 1, scope: !5)
87+
!31 = !DILocation(line: 11, column: 1, scope: !5)
88+
!32 = !DILocation(line: 12, column: 1, scope: !5)
89+
!33 = !DILocation(line: 13, column: 1, scope: !5)
90+
!34 = !DILocation(line: 14, column: 1, scope: !5)
12991
;.
130-
; CHECK: [[META9]] = !DILocalVariable(name: "1",
131-
; CHECK: [[META11]] = !DILocalVariable(name: "2",
132-
; CHECK: [[META12]] = !DILocalVariable(name: "3",
133-
; CHECK: [[META14]] = !DILocalVariable(name: "4",
134-
; CHECK: [[META15]] = !DILocalVariable(name: "5",
135-
; CHECK: [[META16]] = !DILocalVariable(name: "6",
136-
; CHECK: [[META17]] = !DILocalVariable(name: "7",
137-
; CHECK: [[META18]] = !DILocalVariable(name: "8",
138-
; CHECK: [[META19]] = !DILocalVariable(name: "9",
139-
; CHECK: [[META20]] = !DILocalVariable(name: "10",
140-
; CHECK: [[META21]] = !DILocalVariable(name: "11",
141-
; CHECK: [[META22]] = !DILocalVariable(name: "12",
142-
; CHECK: [[META23]] = !DILocalVariable(name: "13",
143-
; CHECK: [[META24]] = !DILocalVariable(name: "14",
144-
; CHECK: [[META25]] = !DILocalVariable(name: "15",
145-
; CHECK: [[DBG28]] = !DILocation(line: 2, column: 1,
146-
; CHECK: [[DBG29]] = !DILocation(line: 3, column: 1,
147-
; CHECK: [[DBG30]] = !DILocation(line: 4, column: 1,
148-
; CHECK: [[DBG31]] = !DILocation(line: 5, column: 1,
149-
; CHECK: [[DBG33]] = !DILocation(line: 7, column: 1,
150-
; CHECK: [[DBG34]] = !DILocation(line: 8, column: 1,
151-
; CHECK: [[DBG35]] = !DILocation(line: 9, column: 1,
152-
; CHECK: [[META37]] = !DILocation(line: 11, column: 1,
153-
; CHECK: [[META39]] = !DILocation(line: 13, column: 1,
154-
; CHECK: [[META40]] = !DILocation(line: 14, column: 1,
155-
; CHECK: [[META41]] = !DILocation(line: 15, column: 1,
156-
; CHECK: [[META42]] = !DILocation(line: 16, column: 1,
157-
; CHECK: [[DBG43]] = !DILocation(line: 18, column: 1,
158-
; CHECK: [[DBG44]] = !DILocation(line: 19, column: 1,
92+
; CHECK: [[META12]] = !DILocalVariable(name: "3"
93+
; CHECK: [[META15]] = !DILocalVariable(name: "5"
94+
; CHECK: [[META16]] = !DILocalVariable(name: "6"
95+
; CHECK: [[META18]] = !DILocalVariable(name: "8"
96+
; CHECK: [[DBG24]] = !DILocation(line: 4, column: 1
97+
; CHECK: [[DBG26]] = !DILocation(line: 6, column: 1
98+
; CHECK: [[META28]] = !DILocation(line: 8, column: 1
99+
; CHECK: [[META30]] = !DILocation(line: 10, column: 1
159100
;.

0 commit comments

Comments
 (0)