Skip to content

Commit c7b7b9b

Browse files
SLTozerSLTozer
committed
Clean up test case
1 parent a551c20 commit c7b7b9b

File tree

1 file changed

+63
-66
lines changed

1 file changed

+63
-66
lines changed

‎llvm/test/Transforms/LoopVectorize/debugloc-optimize-vfuf-term.ll‎

Lines changed: 63 additions & 66 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,11 @@
11
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
22
; RUN: opt -S < %s -passes=loop-vectorize -force-vector-width=2 | FileCheck %s
3+
;; Tests that when we simplify the loop-exit branch condition, we preserve the
4+
;; !dbg attachment for all loop-exit branches.
35

4-
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
5-
target triple = "x86_64-unknown-linux-gnu"
6-
7-
define fastcc i32 @foo(i64 %a) {
8-
; CHECK-LABEL: define fastcc i32 @foo(
9-
; CHECK-SAME: i64 [[A:%.*]]) {
6+
define i32 @foo(i64 %a, ptr %p) {
7+
; CHECK-LABEL: define i32 @foo(
8+
; CHECK-SAME: i64 [[A:%.*]], ptr [[P:%.*]]) {
109
; CHECK-NEXT: [[ENTRY:.*]]:
1110
; CHECK-NEXT: [[WIDE_TRIP_COUNT:%.*]] = and i64 [[A]], 1
1211
; CHECK-NEXT: [[TMP0:%.*]] = add nuw nsw i64 [[WIDE_TRIP_COUNT]], 1
@@ -20,89 +19,87 @@ define fastcc i32 @foo(i64 %a) {
2019
; CHECK-NEXT: [[BROADCAST_SPLAT2:%.*]] = shufflevector <2 x i64> [[BROADCAST_SPLATINSERT1]], <2 x i64> poison, <2 x i32> zeroinitializer
2120
; CHECK-NEXT: br label %[[VECTOR_BODY:.*]]
2221
; CHECK: [[VECTOR_BODY]]:
23-
; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, %[[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], %[[PRED_STORE_CONTINUE4:.*]] ], !dbg [[DBG4:![0-9]+]]
22+
; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, %[[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], %[[PRED_STORE_CONTINUE4:.*]] ], !dbg [[DBG3:![0-9]+]]
2423
; CHECK-NEXT: [[BROADCAST_SPLATINSERT:%.*]] = insertelement <2 x i64> poison, i64 [[INDEX]], i64 0
2524
; CHECK-NEXT: [[BROADCAST_SPLAT:%.*]] = shufflevector <2 x i64> [[BROADCAST_SPLATINSERT]], <2 x i64> poison, <2 x i32> zeroinitializer
2625
; CHECK-NEXT: [[VEC_IV:%.*]] = add <2 x i64> [[BROADCAST_SPLAT]], <i64 0, i64 1>
2726
; CHECK-NEXT: [[TMP1:%.*]] = icmp ule <2 x i64> [[VEC_IV]], [[BROADCAST_SPLAT2]]
2827
; CHECK-NEXT: [[TMP2:%.*]] = extractelement <2 x i1> [[TMP1]], i32 0
2928
; CHECK-NEXT: br i1 [[TMP2]], label %[[PRED_STORE_IF:.*]], label %[[PRED_STORE_CONTINUE:.*]]
3029
; CHECK: [[PRED_STORE_IF]]:
31-
; CHECK-NEXT: [[TMP3:%.*]] = trunc i64 0 to i8, !dbg [[DBG8:![0-9]+]]
32-
; CHECK-NEXT: store i8 [[TMP3]], ptr null, align 1, !dbg [[DBG9:![0-9]+]]
30+
; CHECK-NEXT: [[TMP3:%.*]] = trunc i64 0 to i8, !dbg [[DBG7:![0-9]+]]
31+
; CHECK-NEXT: store i8 [[TMP3]], ptr [[P]], align 1, !dbg [[DBG8:![0-9]+]]
3332
; CHECK-NEXT: br label %[[PRED_STORE_CONTINUE]]
3433
; CHECK: [[PRED_STORE_CONTINUE]]:
35-
; CHECK-NEXT: [[TMP4:%.*]] = extractelement <2 x i1> [[TMP1]], i32 1, !dbg [[DBG9]]
36-
; CHECK-NEXT: br i1 [[TMP4]], label %[[PRED_STORE_IF3:.*]], label %[[PRED_STORE_CONTINUE4]], !dbg [[DBG9]]
34+
; CHECK-NEXT: [[TMP4:%.*]] = extractelement <2 x i1> [[TMP1]], i32 1, !dbg [[DBG8]]
35+
; CHECK-NEXT: br i1 [[TMP4]], label %[[PRED_STORE_IF3:.*]], label %[[PRED_STORE_CONTINUE4]], !dbg [[DBG8]]
3736
; CHECK: [[PRED_STORE_IF3]]:
38-
; CHECK-NEXT: [[TMP5:%.*]] = trunc i64 0 to i8, !dbg [[DBG8]]
39-
; CHECK-NEXT: store i8 [[TMP5]], ptr null, align 1, !dbg [[DBG9]]
40-
; CHECK-NEXT: br label %[[PRED_STORE_CONTINUE4]], !dbg [[DBG9]]
37+
; CHECK-NEXT: [[TMP5:%.*]] = trunc i64 0 to i8, !dbg [[DBG7]]
38+
; CHECK-NEXT: store i8 [[TMP5]], ptr [[P]], align 1, !dbg [[DBG8]]
39+
; CHECK-NEXT: br label %[[PRED_STORE_CONTINUE4]], !dbg [[DBG8]]
4140
; CHECK: [[PRED_STORE_CONTINUE4]]:
42-
; CHECK-NEXT: [[INDEX_NEXT]] = add i64 [[INDEX]], 2, !dbg [[DBG4]]
43-
; CHECK-NEXT: br i1 true, label %[[MIDDLE_BLOCK:.*]], label %[[VECTOR_BODY]], !dbg [[DBG4]], !llvm.loop [[LOOP10:![0-9]+]]
41+
; CHECK-NEXT: [[INDEX_NEXT]] = add i64 [[INDEX]], 2, !dbg [[DBG3]]
42+
; CHECK-NEXT: br i1 true, label %[[MIDDLE_BLOCK:.*]], label %[[VECTOR_BODY]], !dbg [[DBG3]], !llvm.loop [[LOOP9:![0-9]+]]
4443
; CHECK: [[MIDDLE_BLOCK]]:
45-
; CHECK-NEXT: br i1 true, label %[[DO_BODY45_PREHEADER:.*]], label %[[SCALAR_PH]], !dbg [[DBG13:![0-9]+]]
44+
; CHECK-NEXT: br i1 true, label %[[EXIT:.*]], label %[[SCALAR_PH]], !dbg [[DBG12:![0-9]+]]
4645
; CHECK: [[SCALAR_PH]]:
47-
; CHECK-NEXT: [[BC_RESUME_VAL:%.*]] = phi i64 [ [[N_VEC]], %[[MIDDLE_BLOCK]] ], [ 0, %[[ENTRY]] ], !dbg [[DBG4]]
48-
; CHECK-NEXT: br label %[[DO_BODY:.*]]
49-
; CHECK: [[DO_BODY]]:
50-
; CHECK-NEXT: [[INDVARS_IV554:%.*]] = phi i64 [ [[INDVARS_IV_NEXT555:%.*]], %[[DO_BODY]] ], [ [[BC_RESUME_VAL]], %[[SCALAR_PH]] ], !dbg [[DBG4]]
51-
; CHECK-NEXT: [[CONV39:%.*]] = trunc i64 0 to i8, !dbg [[DBG8]]
52-
; CHECK-NEXT: store i8 [[CONV39]], ptr null, align 1, !dbg [[DBG9]]
53-
; CHECK-NEXT: [[INDVARS_IV_NEXT555]] = add i64 [[INDVARS_IV554]], 1, !dbg [[DBG14:![0-9]+]]
54-
; CHECK-NEXT: [[EXITCOND557_NOT:%.*]] = icmp eq i64 [[INDVARS_IV554]], [[WIDE_TRIP_COUNT]], !dbg [[DBG15:![0-9]+]]
55-
; CHECK-NEXT: br i1 [[EXITCOND557_NOT]], label %[[DO_BODY45_PREHEADER]], label %[[DO_BODY]], !dbg [[DBG13]], !llvm.loop [[LOOP16:![0-9]+]]
56-
; CHECK: [[DO_BODY45_PREHEADER]]:
46+
; CHECK-NEXT: [[BC_RESUME_VAL:%.*]] = phi i64 [ [[N_VEC]], %[[MIDDLE_BLOCK]] ], [ 0, %[[ENTRY]] ], !dbg [[DBG3]]
47+
; CHECK-NEXT: br label %[[LOOP:.*]]
48+
; CHECK: [[LOOP]]:
49+
; CHECK-NEXT: [[IV:%.*]] = phi i64 [ [[IV_NEXT:%.*]], %[[LOOP]] ], [ [[BC_RESUME_VAL]], %[[SCALAR_PH]] ], !dbg [[DBG3]]
50+
; CHECK-NEXT: [[CONV:%.*]] = trunc i64 0 to i8, !dbg [[DBG7]]
51+
; CHECK-NEXT: store i8 [[CONV]], ptr [[P]], align 1, !dbg [[DBG8]]
52+
; CHECK-NEXT: [[IV_NEXT]] = add i64 [[IV]], 1, !dbg [[DBG13:![0-9]+]]
53+
; CHECK-NEXT: [[EXITCOND:%.*]] = icmp eq i64 [[IV]], [[WIDE_TRIP_COUNT]], !dbg [[DBG14:![0-9]+]]
54+
; CHECK-NEXT: br i1 [[EXITCOND]], label %[[EXIT]], label %[[LOOP]], !dbg [[DBG12]], !llvm.loop [[LOOP15:![0-9]+]]
55+
; CHECK: [[EXIT]]:
5756
; CHECK-NEXT: ret i32 0
5857
;
5958
entry:
6059
%wide.trip.count = and i64 %a, 1
61-
br label %do.body
60+
br label %loop
6261

63-
do.body: ; preds = %do.body, %entry
64-
%indvars.iv554 = phi i64 [ %indvars.iv.next555, %do.body ], [ 0, %entry ], !dbg !4
65-
%conv39 = trunc i64 0 to i8, !dbg !5
66-
store i8 %conv39, ptr null, align 1, !dbg !6
67-
%indvars.iv.next555 = add i64 %indvars.iv554, 1, !dbg !7
68-
%exitcond557.not = icmp eq i64 %indvars.iv554, %wide.trip.count, !dbg !8
69-
br i1 %exitcond557.not, label %do.body45.preheader, label %do.body, !dbg !9
62+
loop: ; preds = %loop, %entry
63+
%iv = phi i64 [ %iv.next, %loop ], [ 0, %entry ], !dbg !3
64+
%conv = trunc i64 0 to i8, !dbg !4
65+
store i8 %conv, ptr %p, align 1, !dbg !5
66+
%iv.next = add i64 %iv, 1, !dbg !6
67+
%exitcond = icmp eq i64 %iv, %wide.trip.count, !dbg !7
68+
br i1 %exitcond, label %exit, label %loop, !dbg !8
7069

71-
do.body45.preheader: ; preds = %do.body
70+
exit: ; preds = %loop
7271
ret i32 0
7372
}
7473

7574
!llvm.dbg.cu = !{!0}
76-
!llvm.module.flags = !{!3}
75+
!llvm.module.flags = !{!2}
7776

78-
!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 20.0.0git (https://github.com/llvm/llvm-project.git 97cea5fecc5fa70842644da877c9547d4f34f6db)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !2, globals: !2, imports: !2, splitDebugInlining: false, nameTableKind: None)
79-
!1 = !DIFile(filename: "/home/gbtozers/dev/llvm-test-suite/CTMark/7zip/CPP/7zip/Compress/BZip2Decoder.cpp", directory: "/home/gbtozers/dev/llvm-test-suite-build", checksumkind: CSK_MD5, checksum: "ace37523c35f8079a0f00d337fc014dc")
80-
!2 = !{}
81-
!3 = !{i32 2, !"Debug Info Version", i32 3}
82-
!4 = !DILocation(line: 4, scope: !21)
83-
!5 = !DILocation(line: 5, scope: !21)
84-
!6 = !DILocation(line: 6, scope: !21)
85-
!7 = !DILocation(line: 7, scope: !21)
86-
!8 = !DILocation(line: 8, scope: !21)
87-
!9 = !DILocation(line: 9, scope: !21)
88-
!20 = !DIFile(filename: "llvm-test-suite/CTMark/7zip/CPP/7zip/Compress/BZip2Decoder.cpp", directory: "/home/gbtozers/dev", checksumkind: CSK_MD5, checksum: "ace37523c35f8079a0f00d337fc014dc")
89-
!21 = distinct !DISubprogram(name: "ReadBlock", linkageName: "foo", scope: !20, file: !20, line: 113, type: !22, scopeLine: 116, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !2)
90-
!22 = distinct !DISubroutineType(types: !2)
77+
!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 20.0.0git")
78+
!1 = !DIFile(filename: "test.cpp", directory: "/")
79+
!2 = !{i32 2, !"Debug Info Version", i32 3}
80+
!3 = !DILocation(line: 4, scope: !9)
81+
!4 = !DILocation(line: 5, scope: !9)
82+
!5 = !DILocation(line: 6, scope: !9)
83+
!6 = !DILocation(line: 7, scope: !9)
84+
!7 = !DILocation(line: 8, scope: !9)
85+
!8 = !DILocation(line: 9, scope: !9)
86+
!9 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 11, type: !10, unit: !0, retainedNodes: !11)
87+
!10 = distinct !DISubroutineType(types: !11)
88+
!11 = !{}
9189
;.
92-
; CHECK: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: [[META1:![0-9]+]], producer: "{{.*}}clang version {{.*}}", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: [[META2:![0-9]+]], retainedTypes: [[META2]], globals: [[META2]], imports: [[META2]], splitDebugInlining: false, nameTableKind: None)
93-
; CHECK: [[META1]] = !DIFile(filename: "/home/gbtozers/dev/llvm-test-suite/CTMark/7zip/CPP/7zip/Compress/BZip2Decoder.cpp", directory: {{.*}})
94-
; CHECK: [[META2]] = !{}
95-
; CHECK: [[DBG4]] = !DILocation(line: 4, scope: [[META5:![0-9]+]])
96-
; CHECK: [[META5]] = distinct !DISubprogram(name: "ReadBlock", linkageName: "foo", scope: [[META6:![0-9]+]], file: [[META6]], line: 113, type: [[META7:![0-9]+]], scopeLine: 116, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition | DISPFlagOptimized, unit: [[META0]], retainedNodes: [[META2]])
97-
; CHECK: [[META6]] = !DIFile(filename: "llvm-test-suite/CTMark/7zip/CPP/7zip/Compress/BZip2Decoder.cpp", directory: {{.*}})
98-
; CHECK: [[META7]] = distinct !DISubroutineType(types: [[META2]])
99-
; CHECK: [[DBG8]] = !DILocation(line: 5, scope: [[META5]])
100-
; CHECK: [[DBG9]] = !DILocation(line: 6, scope: [[META5]])
101-
; CHECK: [[LOOP10]] = distinct !{[[LOOP10]], [[META11:![0-9]+]], [[META12:![0-9]+]]}
102-
; CHECK: [[META11]] = !{!"llvm.loop.isvectorized", i32 1}
103-
; CHECK: [[META12]] = !{!"llvm.loop.unroll.runtime.disable"}
104-
; CHECK: [[DBG13]] = !DILocation(line: 9, scope: [[META5]])
105-
; CHECK: [[DBG14]] = !DILocation(line: 7, scope: [[META5]])
106-
; CHECK: [[DBG15]] = !DILocation(line: 8, scope: [[META5]])
107-
; CHECK: [[LOOP16]] = distinct !{[[LOOP16]], [[META12]], [[META11]]}
90+
; CHECK: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: [[META1:![0-9]+]], producer: "{{.*}}clang version {{.*}}", isOptimized: false, runtimeVersion: 0, emissionKind: NoDebug)
91+
; CHECK: [[META1]] = !DIFile(filename: "test.cpp", directory: {{.*}})
92+
; CHECK: [[DBG3]] = !DILocation(line: 4, scope: [[META4:![0-9]+]])
93+
; CHECK: [[META4]] = distinct !DISubprogram(name: "foo", scope: [[META1]], file: [[META1]], line: 11, type: [[META5:![0-9]+]], spFlags: DISPFlagDefinition, unit: [[META0]], retainedNodes: [[META6:![0-9]+]])
94+
; CHECK: [[META5]] = distinct !DISubroutineType(types: [[META6]])
95+
; CHECK: [[META6]] = !{}
96+
; CHECK: [[DBG7]] = !DILocation(line: 5, scope: [[META4]])
97+
; CHECK: [[DBG8]] = !DILocation(line: 6, scope: [[META4]])
98+
; CHECK: [[LOOP9]] = distinct !{[[LOOP9]], [[META10:![0-9]+]], [[META11:![0-9]+]]}
99+
; CHECK: [[META10]] = !{!"llvm.loop.isvectorized", i32 1}
100+
; CHECK: [[META11]] = !{!"llvm.loop.unroll.runtime.disable"}
101+
; CHECK: [[DBG12]] = !DILocation(line: 9, scope: [[META4]])
102+
; CHECK: [[DBG13]] = !DILocation(line: 7, scope: [[META4]])
103+
; CHECK: [[DBG14]] = !DILocation(line: 8, scope: [[META4]])
104+
; CHECK: [[LOOP15]] = distinct !{[[LOOP15]], [[META11]], [[META10]]}
108105
;.

0 commit comments

Comments
 (0)