; RUN: opt %s -S -passes=licm -o - | FileCheck %s
; RUN: opt --try-experimental-debuginfo-iterators %s -S -passes=licm -o - | FileCheck %s
;; $ cat test.c
;; int b, c, d;
;; void e();
;; void f(int *g) { *g = b; }
;; void i() {
;; int h, a;
;; for (;;) {
;; e();
;; a = 1;
;; if (h) {
;; if (d)
;; continue;
;; h = c;
;; }
;; f(&a);
;; }
;; }
;; Generated by getting the IR before LICM in:
;; $ clang -c -O2 -g test.c -fno-unroll-loops -fno-vectorize -fno-inline -Xclang -fexperimental-assignment-tracking -o -
;; entry
;; |
;; v
;; *---->for.cond.outer
;; | |
;; | v
;; | +->for.cond-----+
;; | | | |
;; | | v |
;; | +--if.then |
;; | | |
;; | v v
;; | if.end if.end3.loopexit
;; | | |
;; | v |
;; +-----if.end3 <----+
;;
;; The store in for.cond is sunk into the inner-loop exits if.end and if.end3.loopexit.
;;
;; Check that a store sunk into multiple exits retains its (their) dbg.assign,
;; and that the new stores share the same DIAssignID.
; CHECK-LABEL: for.cond:
; CHECK: #dbg_assign(i32 1, ![[var:[0-9]+]], !DIExpression(), ![[id:[0-9]+]], ptr %a, !DIExpression(),
; CHECK-LABEL: if.end:
; CHECK-NEXT: store i32 1, ptr %a, align 1,{{.*}}!DIAssignID ![[id]]
; CHECK-LABEL: if.end3.loopexit:
; CHECK-NEXT: store i32 1, ptr %a, align 1,{{.*}}!DIAssignID ![[id]]
; CHECK-DAG: ![[var]] = !DILocalVariable(name: "a",
@b = dso_local local_unnamed_addr global i32 0, align 4, !dbg !0
@d = dso_local local_unnamed_addr global i32 0, align 4, !dbg !9
@c = dso_local local_unnamed_addr global i32 0, align 4, !dbg !6
define dso_local void @f(ptr nocapture %g) local_unnamed_addr #0 !dbg !15 {
entry:
call void @llvm.dbg.assign(metadata i1 undef, metadata !20, metadata !DIExpression(), metadata !21, metadata ptr undef, metadata !DIExpression()), !dbg !22
call void @llvm.dbg.assign(metadata ptr %g, metadata !20, metadata !DIExpression(), metadata !23, metadata ptr undef, metadata !DIExpression()), !dbg !22
%0 = load i32, ptr @b, align 4, !dbg !24
store i32 %0, ptr %g, align 4, !dbg !29
ret void, !dbg !30
}
define dso_local void @i() local_unnamed_addr #2 !dbg !31 {
entry:
call void @llvm.dbg.assign(metadata i1 undef, metadata !35, metadata !DIExpression(), metadata !37, metadata ptr undef, metadata !DIExpression()), !dbg !38
%a = alloca i32, align 4, !DIAssignID !39
call void @llvm.dbg.assign(metadata i1 undef, metadata !36, metadata !DIExpression(), metadata !39, metadata ptr %a, metadata !DIExpression()), !dbg !38
call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %a) #5, !dbg !40
br label %for.cond.outer, !dbg !41
for.cond.outer: ; preds = %if.end3, %entry
%h.0.ph = phi i32 [ %h.1, %if.end3 ], [ undef, %entry ]
br label %for.cond, !dbg !42
for.cond: ; preds = %for.cond.outer, %if.then
call void @llvm.dbg.value(metadata i32 %h.0.ph, metadata !35, metadata !DIExpression()), !dbg !38
tail call void (...) @e() #5, !dbg !44
store i32 1, ptr %a, align 4, !dbg !47, !DIAssignID !48
call void @llvm.dbg.assign(metadata i32 1, metadata !36, metadata !DIExpression(), metadata !48, metadata ptr %a, metadata !DIExpression()), !dbg !38
%tobool.not = icmp eq i32 %h.0.ph, 0, !dbg !49
br i1 %tobool.not, label %if.end3.loopexit, label %if.then, !dbg !51
if.then: ; preds = %for.cond
%0 = load i32, ptr @d, align 4, !dbg !52
%tobool1.not = icmp eq i32 %0, 0, !dbg !52
br i1 %tobool1.not, label %if.end, label %for.cond, !dbg !55, !llvm.loop !56
if.end: ; preds = %if.then
%1 = load i32, ptr @c, align 4, !dbg !59
call void @llvm.dbg.assign(metadata i32 %1, metadata !35, metadata !DIExpression(), metadata !60, metadata ptr undef, metadata !DIExpression()), !dbg !38
br label %if.end3, !dbg !61
if.end3.loopexit: ; preds = %for.cond
br label %if.end3, !dbg !62
if.end3: ; preds = %if.end3.loopexit, %if.end
%h.1 = phi i32 [ %1, %if.end ], [ 0, %if.end3.loopexit ]
call void @llvm.dbg.value(metadata i32 %h.1, metadata !35, metadata !DIExpression()), !dbg !38
call void @f(ptr nonnull %a), !dbg !62
br label %for.cond.outer, !dbg !63, !llvm.loop !56
}
declare void @llvm.dbg.assign(metadata, metadata, metadata, metadata, metadata, metadata) #1
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #3
declare !dbg !64 dso_local void @e(...) local_unnamed_addr #4
declare void @llvm.dbg.value(metadata, metadata, metadata) #1
!llvm.dbg.cu = !{!2}
!llvm.module.flags = !{!11, !12, !13, !1000}
!llvm.ident = !{!14}
!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
!1 = distinct !DIGlobalVariable(name: "b", scope: !2, file: !3, line: 1, type: !8, isLocal: false, isDefinition: true)
!2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 12.0.0", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5, splitDebugInlining: false, nameTableKind: None)
!3 = !DIFile(filename: "test.c", directory: "/")
!4 = !{}
!5 = !{!0, !6, !9}
!6 = !DIGlobalVariableExpression(var: !7, expr: !DIExpression())
!7 = distinct !DIGlobalVariable(name: "c", scope: !2, file: !3, line: 1, type: !8, isLocal: false, isDefinition: true)
!8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!9 = !DIGlobalVariableExpression(var: !10, expr: !DIExpression())
!10 = distinct !DIGlobalVariable(name: "d", scope: !2, file: !3, line: 1, type: !8, isLocal: false, isDefinition: true)
!11 = !{i32 7, !"Dwarf Version", i32 4}
!12 = !{i32 2, !"Debug Info Version", i32 3}
!13 = !{i32 1, !"wchar_size", i32 4}
!14 = !{!"clang version 12.0.0"}
!15 = distinct !DISubprogram(name: "f", scope: !3, file: !3, line: 3, type: !16, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !19)
!16 = !DISubroutineType(types: !17)
!17 = !{null, !18}
!18 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !8, size: 64)
!19 = !{!20}
!20 = !DILocalVariable(name: "g", arg: 1, scope: !15, file: !3, line: 3, type: !18)
!21 = distinct !DIAssignID()
!22 = !DILocation(line: 0, scope: !15)
!23 = distinct !DIAssignID()
!24 = !DILocation(line: 3, column: 23, scope: !15)
!29 = !DILocation(line: 3, column: 21, scope: !15)
!30 = !DILocation(line: 3, column: 26, scope: !15)
!31 = distinct !DISubprogram(name: "i", scope: !3, file: !3, line: 4, type: !32, scopeLine: 4, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !34)
!32 = !DISubroutineType(types: !33)
!33 = !{null}
!34 = !{!35, !36}
!35 = !DILocalVariable(name: "h", scope: !31, file: !3, line: 5, type: !8)
!36 = !DILocalVariable(name: "a", scope: !31, file: !3, line: 5, type: !8)
!37 = distinct !DIAssignID()
!38 = !DILocation(line: 0, scope: !31)
!39 = distinct !DIAssignID()
!40 = !DILocation(line: 5, column: 3, scope: !31)
!41 = !DILocation(line: 6, column: 3, scope: !31)
!42 = !DILocation(line: 6, column: 3, scope: !43)
!43 = distinct !DILexicalBlock(scope: !31, file: !3, line: 6, column: 3)
!44 = !DILocation(line: 7, column: 5, scope: !45)
!45 = distinct !DILexicalBlock(scope: !46, file: !3, line: 6, column: 12)
!46 = distinct !DILexicalBlock(scope: !43, file: !3, line: 6, column: 3)
!47 = !DILocation(line: 8, column: 7, scope: !45)
!48 = distinct !DIAssignID()
!49 = !DILocation(line: 9, column: 9, scope: !50)
!50 = distinct !DILexicalBlock(scope: !45, file: !3, line: 9, column: 9)
!51 = !DILocation(line: 9, column: 9, scope: !45)
!52 = !DILocation(line: 10, column: 11, scope: !53)
!53 = distinct !DILexicalBlock(scope: !54, file: !3, line: 10, column: 11)
!54 = distinct !DILexicalBlock(scope: !50, file: !3, line: 9, column: 12)
!55 = !DILocation(line: 10, column: 11, scope: !54)
!56 = distinct !{!56, !42, !57, !58}
!57 = !DILocation(line: 15, column: 3, scope: !43)
!58 = !{!"llvm.loop.unroll.disable"}
!59 = !DILocation(line: 12, column: 11, scope: !54)
!60 = distinct !DIAssignID()
!61 = !DILocation(line: 13, column: 5, scope: !54)
!62 = !DILocation(line: 14, column: 5, scope: !45)
!63 = !DILocation(line: 6, column: 3, scope: !46)
!64 = !DISubprogram(name: "e", scope: !3, file: !3, line: 2, type: !65, spFlags: DISPFlagOptimized, retainedNodes: !4)
!65 = !DISubroutineType(types: !66)
!66 = !{null, null}
!1000 = !{i32 7, !"debug-info-assignment-tracking", i1 true}
Codebase Browser
llvm