Skip to content

Commit 4081ea4

Browse files
Snowy1803Snowy1803
committed
[DebugInfo] Add salvageDebugInfo support for tuples
1 parent efa0908 commit 4081ea4

File tree

3 files changed

+78
-15
lines changed

3 files changed

+78
-15
lines changed

‎lib/SILOptimizer/Utils/InstOptUtils.cpp

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1871,6 +1871,31 @@ void swift::salvageDebugInfo(SILInstruction *I) {
18711871
}
18721872
}
18731873
}
1874+
// Similarly, if a `tuple` SIL instruction is "unwrapped" and removed,
1875+
// we need to make sure any of its related `debug_value` instruction
1876+
// is preserved.
1877+
if (auto *TTI = dyn_cast<TupleInst>(I)) {
1878+
auto TTVal = TTI->getResult(0);
1879+
for (Operand *U : getDebugUses(TTVal)) {
1880+
auto *DbgInst = cast<DebugValueInst>(U->getUser());
1881+
auto VarInfo = DbgInst->getVarInfo();
1882+
if (!VarInfo)
1883+
continue;
1884+
TupleType *TT = TTI->getTupleType();
1885+
for (auto i : indices(TT->getElements())) {
1886+
SILDebugVariable NewVarInfo = *VarInfo;
1887+
auto FragDIExpr = SILDebugInfoExpression::createTupleFragment(TT, i);
1888+
NewVarInfo.DIExpr.append(FragDIExpr);
1889+
1890+
if (!NewVarInfo.Type)
1891+
NewVarInfo.Type = TTI->getType();
1892+
1893+
// Create a new debug_value
1894+
SILBuilder(TTI, DbgInst->getDebugScope())
1895+
.createDebugValue(DbgInst->getLoc(), TTI->getElement(i), NewVarInfo);
1896+
}
1897+
}
1898+
}
18741899

18751900
if (auto *IA = dyn_cast<IndexAddrInst>(I)) {
18761901
if (IA->getBase() && IA->getIndex())

‎test/DebugInfo/constant_propagation.sil

Lines changed: 32 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -7,35 +7,52 @@ import Builtin
77
import Swift
88
import SwiftShims
99

10-
func foo(x: Int, y: Int) -> Int
11-
12-
sil_scope 1 { loc "file.swift":1:6 parent @foo : $@convention(thin) (Int, Int) -> Int }
10+
sil_scope 1 { loc "file.swift":1:6 parent @foo : $@convention(thin) (Int64, Int64) -> Int64 }
1311

1412
// Test if debug_value got preserved when %16 is removed in favor of directly using %13
1513
// CHECK-LABEL: sil {{.*}} @foo
16-
sil hidden @foo : $@convention(thin) (Int, Int) -> Int {
17-
bb0(%0 : $Int, %1 : $Int):
14+
sil hidden @foo : $@convention(thin) (Int64, Int64) -> Int64 {
15+
bb0(%0 : $Int64, %1 : $Int64):
1816
%4 = integer_literal $Builtin.Int64, 87, loc "file.swift":2:17, scope 1
19-
%9 = struct_extract %0 : $Int, #Int._value, loc "file.swift":2:15, scope 1
17+
%9 = struct_extract %0 : $Int64, #Int64._value, loc "file.swift":2:15, scope 1
2018
%11 = integer_literal $Builtin.Int1, -1, loc "file.swift":2:15, scope 1
2119
// CHECK: %[[ADD:.+]] = builtin "sadd_with_overflow
2220
%12 = builtin "sadd_with_overflow_Int64"(%9 : $Builtin.Int64, %4 : $Builtin.Int64, %11 : $Builtin.Int1) : $(Builtin.Int64, Builtin.Int1), loc "file.swift":2:15, scope 1
2321
// CHECK: (%[[RESULT:.+]], %{{.*}}) = destructure_tuple %[[ADD]]
2422
(%13, %14) = destructure_tuple %12 : $(Builtin.Int64, Builtin.Int1), loc "file.swift":2:15, scope 1
25-
%16 = struct $Int (%13 : $Builtin.Int64), loc "file.swift":2:15, scope 1
23+
%16 = struct $Int64 (%13 : $Builtin.Int64), loc "file.swift":2:15, scope 1
2624
// In addition to checking if `op_fragment` is generated, we're also checking if "z"'s declared
2725
// source location, as well as `debug_value`'s instruction source location are preserved.
28-
// CHECK: debug_value %[[RESULT]] : $Builtin.Int{{[0-9]+}}, let, name "z"
29-
// CHECK-SAME: type $Int
30-
// CHECK-SAME: expr op_fragment:#Int._value
26+
// CHECK: debug_value %[[RESULT]] : $Builtin.Int64, let, name "z"
27+
// CHECK-SAME: type $Int64
28+
// CHECK-SAME: expr op_fragment:#Int64._value
3129
// CHECK-SAME: loc "file.swift":2:9, scope 1
32-
debug_value %16 : $Int, let, name "z", loc "file.swift":2:9, scope 1
33-
%19 = struct_extract %16 : $Int, #Int._value, loc "file.swift":3:14, scope 1
34-
%20 = struct_extract %1 : $Int, #Int._value, loc "file.swift":3:14, scope 1
30+
debug_value %16 : $Int64, let, name "z", loc "file.swift":2:9, scope 1
31+
%19 = struct_extract %16 : $Int64, #Int64._value, loc "file.swift":3:14, scope 1
32+
%20 = struct_extract %1 : $Int64, #Int64._value, loc "file.swift":3:14, scope 1
3533
%21 = integer_literal $Builtin.Int1, -1, loc "file.swift":3:14, scope 1
3634
%22 = builtin "sadd_with_overflow_Int64"(%19 : $Builtin.Int64, %20 : $Builtin.Int64, %21 : $Builtin.Int1) : $(Builtin.Int64, Builtin.Int1), loc "file.swift":3:14, scope 1
3735
(%23, %24) = destructure_tuple %22 : $(Builtin.Int64, Builtin.Int1), loc "file.swift":3:14, scope 1
38-
%26 = struct $Int (%23 : $Builtin.Int64), loc "file.swift":3:14, scope 1
39-
return %26 : $Int, loc "file.swift":3:5, scope 1
36+
%26 = struct $Int64 (%23 : $Builtin.Int64), loc "file.swift":3:14, scope 1
37+
return %26 : $Int64, loc "file.swift":3:5, scope 1
4038
} // end sil function 'foo'
4139

40+
sil_scope 2 { loc "file.swift":1:6 parent @bar : $@convention(thin) (Int64, Int64) -> Int64 }
41+
42+
// Test if debug_value got preserved when %5 is folded into %0, and %3 removed
43+
// CHECK-LABEL: sil {{.*}} @bar
44+
sil hidden @bar : $@convention(thin) (Int64, Int64) -> Int64 {
45+
bb0(%0 : $Int64, %1 : $Int64):
46+
%3 = tuple $(low: Int64, high: Int64) (%0, %1), loc "file.swift":14:5, scope 2
47+
// CHECK: debug_value %0 : $Int64, let, name "newValue"
48+
// CHECK-SAME: type $(low: Int64, high: Int64)
49+
// CHECK-SAME: expr op_tuple_fragment:$(low: Int64, high: Int64):0
50+
// CHECK-SAME: "file.swift":14:5, scope 2
51+
// CHECK: debug_value %1 : $Int64, let, name "newValue"
52+
// CHECK-SAME: type $(low: Int64, high: Int64)
53+
// CHECK-SAME: expr op_tuple_fragment:$(low: Int64, high: Int64):1
54+
// CHECK-SAME: "file.swift":14:5, scope 2
55+
debug_value %3 : $(low: Int64, high: Int64), let, name "newValue", argno 1, loc "file.swift":14:5, scope 2
56+
(%5, %6) = destructure_tuple %3 : $(low: Int64, high: Int64), loc "file.swift":15:5, scope 2
57+
return %5 : $Int64, loc "file.swift":15:5, scope 2
58+
} // end sil function 'bar'

‎test/DebugInfo/property-setter-implicit-tuple.swift

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
// RUN: %target-swift-frontend %s -emit-ir -g -o - | %FileCheck %s
2+
3+
// This is a test for rdar://125939953 (Implicit variables are removed at Onone)
4+
5+
struct UInt128 {
6+
var low: UInt64
7+
var high: UInt64
8+
9+
var components: (low: UInt64, high: UInt64) {
10+
get {
11+
return (low, high)
12+
}
13+
// CHECK-LABEL: define {{.+}} @"$s4main7UInt128V10componentss6UInt64V3low_AF4hightvs"
14+
set {
15+
// CHECK: call void @llvm.dbg.declare(metadata ptr {{.+}}, metadata ![[NEW_VALUE:[0-9]+]]
16+
(self.low, self.high) = (newValue.high, newValue.low)
17+
}
18+
}
19+
}
20+
21+
//CHECK: ![[NEW_VALUE]] = !DILocalVariable(name: "newValue", arg: 1

0 commit comments

Comments
 (0)