mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
9a8f2ed642
SROA and Mem2Reg now can leverage DIExpression -- op_fragment, more specifically -- to generate correct debug info for optimized SIL. Some important highlights: - The new swift::salvageDebugInfo, similar to llvm::salvageDebugInfo, tries to restore / transfer debug info from a deleted instruction. Currently I only implemented this for store instruction whose destination is an alloc_stack value. - Since we now have source-variable-specific SIL location inside a `debug_value` instruction (and its friends), this patch teaches SILCloner and SILInliner to remap the debug scope there in addition to debug scope of the instruction. - DCE now does not remove `debug_value` instruction whose associating with a function argument SSA value that is not used elsewhere. Since that SSA value will not disappear so we should keep the debug info.
18 lines
611 B
Plaintext
18 lines
611 B
Plaintext
// RUN: not --crash %target-swift-frontend %s -g -emit-sil -sil-verify-all
|
|
import Swift
|
|
|
|
func foo(_ x: Int)
|
|
func bar(_ x: Int)
|
|
|
|
sil_scope 1 { loc "file.swift":2:6 parent @foo : $@convention(thin) (Int) -> () }
|
|
sil_scope 2 { loc "file.swift":6:2 parent @bar : $@convention(thin) (Int) -> () }
|
|
|
|
sil hidden @foo : $@convention(thin) (Int) -> () {
|
|
bb0(%0 : $Int):
|
|
// The scope of the debug variable needs to have the same root function as the
|
|
// debug scope on instruction
|
|
debug_value %0 : $Int, let, (name "x", loc "file.swift":8:7, scope 1), loc "file.swift":9:4, scope 2
|
|
%r = tuple()
|
|
return %r : $()
|
|
}
|