140e1894f2
Patch 1/4 adding bitcode support. Store whether or not a function is using Key Instructions in its DISubprogram so that we don't need to rely on the -mllvm flag -dwarf-use-key-instructions to determine whether or not to interpret Key Instructions metadata to decide is_stmt placement at DWARF emission time. This makes bitcode support simple and enables well defined mixing of non-key-instructions and key-instructions functions in an LTO context. This patch adds the bit (using DISubprogram::SubclassData1). PR 144104 and 144103 use it during DWARF emission. PR 44102 adds bitcode support. See pull request for overview of alternative attempts.
92 lines
4.3 KiB
LLVM
92 lines
4.3 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
|
|
; RUN: opt %s -S -passes=simplifycfg -bonus-inst-threshold=2 | FileCheck %s
|
|
|
|
;; +---------------+
|
|
;; | |
|
|
;; +--> b --+ |
|
|
;; | v v
|
|
;; --> a d --> e --> f -->
|
|
;; | ^ ^
|
|
;; +--> c --+ |
|
|
;; | |
|
|
;; +---------------+
|
|
|
|
;; Block d gets folded into preds b and c. Check the cloned instructions get
|
|
;; remapped DILocation atomGroup numbers in each of the preds. Additionally
|
|
;; check that the branches each inherit the atomGroup of the folded branch.
|
|
|
|
declare i32 @g(...)
|
|
define void @f(i1 %c0, i1 %c1, i1 %c2, i32 %x, i32 %y) !dbg !17 {
|
|
; CHECK-LABEL: define void @f(
|
|
; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]], i1 [[C2:%.*]], i32 [[X:%.*]], i32 [[Y:%.*]]) !dbg [[DBG6:![0-9]+]] {
|
|
; CHECK-NEXT: [[A:.*:]]
|
|
; CHECK-NEXT: br i1 [[C0]], label %[[B:.*]], label %[[C:.*]]
|
|
; CHECK: [[B]]:
|
|
; CHECK-NEXT: [[AND_OLD:%.*]] = and i32 [[X]], [[Y]], !dbg [[DBG8:![0-9]+]]
|
|
; CHECK-NEXT: [[CMP_OLD:%.*]] = icmp eq i32 [[AND_OLD]], 0, !dbg [[DBG9:![0-9]+]]
|
|
; CHECK-NEXT: [[OR_COND1:%.*]] = select i1 [[C1]], i1 true, i1 [[CMP_OLD]], !dbg [[DBG10:![0-9]+]]
|
|
; CHECK-NEXT: br i1 [[OR_COND1]], label %[[F:.*]], label %[[E:.*]], !dbg [[DBG11:![0-9]+]]
|
|
; CHECK: [[C]]:
|
|
; CHECK-NEXT: [[AND:%.*]] = and i32 [[X]], [[Y]], !dbg [[DBG12:![0-9]+]]
|
|
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[AND]], 0, !dbg [[DBG13:![0-9]+]]
|
|
; CHECK-NEXT: [[OR_COND:%.*]] = select i1 [[C2]], i1 true, i1 [[CMP]], !dbg [[DBG10]]
|
|
; CHECK-NEXT: br i1 [[OR_COND]], label %[[F]], label %[[E]], !dbg [[DBG14:![0-9]+]]
|
|
; CHECK: [[E]]:
|
|
; CHECK-NEXT: [[TMP0:%.*]] = tail call i32 (...) @g()
|
|
; CHECK-NEXT: br label %[[F]]
|
|
; CHECK: [[F]]:
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
a:
|
|
br i1 %c0, label %b, label %c
|
|
|
|
b:
|
|
br i1 %c1, label %f, label %d, !dbg !18
|
|
|
|
c:
|
|
br i1 %c2, label %f, label %d, !dbg !18
|
|
|
|
d:
|
|
%and = and i32 %x, %y, !dbg !19
|
|
%cmp = icmp eq i32 %and, 0, !dbg !20
|
|
br i1 %cmp, label %f, label %e, !dbg !21
|
|
|
|
e:
|
|
%7 = tail call i32 (...) @g()
|
|
br label %f
|
|
|
|
f:
|
|
ret void
|
|
}
|
|
|
|
!llvm.dbg.cu = !{!0}
|
|
!llvm.debugify = !{!3, !4}
|
|
!llvm.module.flags = !{!5}
|
|
|
|
!0 = distinct !DICompileUnit(language: DW_LANG_C, file: !1, producer: "debugify", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
|
|
!1 = !DIFile(filename: "a.ll", directory: "/")
|
|
!2 = !{}
|
|
!3 = !{i32 9}
|
|
!4 = !{i32 0}
|
|
!5 = !{i32 2, !"Debug Info Version", i32 3}
|
|
!7 = !DISubroutineType(types: !2)
|
|
!17 = distinct !DISubprogram(name: "f", scope: null, file: !1, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !2, keyInstructions: true)
|
|
!18 = !DILocation(line: 10, column: 10, scope: !17)
|
|
!19 = !DILocation(line: 10, column: 10, scope: !17, atomGroup: 1, atomRank: 2)
|
|
!20 = !DILocation(line: 10, column: 10, scope: !17, atomGroup: 2, atomRank: 2)
|
|
!21 = !DILocation(line: 10, column: 10, scope: !17, atomGroup: 2, atomRank: 1)
|
|
;.
|
|
; CHECK: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C, file: [[META1:![0-9]+]], producer: "debugify", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: [[META2:![0-9]+]])
|
|
; CHECK: [[META1]] = !DIFile(filename: "a.ll", directory: {{.*}})
|
|
; CHECK: [[META2]] = !{}
|
|
; CHECK: [[DBG6]] = distinct !DISubprogram(name: "f", scope: null, file: [[META1]], line: 1, type: [[META7:![0-9]+]], scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: [[META0]], retainedNodes: [[META2]], keyInstructions: true)
|
|
; CHECK: [[META7]] = !DISubroutineType(types: [[META2]])
|
|
; CHECK: [[DBG8]] = !DILocation(line: 10, column: 10, scope: [[DBG6]], atomGroup: 5, atomRank: 2)
|
|
; CHECK: [[DBG9]] = !DILocation(line: 10, column: 10, scope: [[DBG6]], atomGroup: 6, atomRank: 2)
|
|
; CHECK: [[DBG10]] = !DILocation(line: 10, column: 10, scope: [[DBG6]])
|
|
; CHECK: [[DBG11]] = !DILocation(line: 10, column: 10, scope: [[DBG6]], atomGroup: 6, atomRank: 1)
|
|
; CHECK: [[DBG12]] = !DILocation(line: 10, column: 10, scope: [[DBG6]], atomGroup: 3, atomRank: 2)
|
|
; CHECK: [[DBG13]] = !DILocation(line: 10, column: 10, scope: [[DBG6]], atomGroup: 4, atomRank: 2)
|
|
; CHECK: [[DBG14]] = !DILocation(line: 10, column: 10, scope: [[DBG6]], atomGroup: 4, atomRank: 1)
|
|
;.
|