Merge pull request #59036 from gottesmm/pr-c405f97a46f28343218bd193f0bb07dba1f4b5ba

[dbg-info][move-function] Add DWARF filecheck lines for conditional control flow tests.

Author: gottesmm

test/DebugInfo/move_function_dbginfo_async.swift

@@ -342,6 +342,45 @@ public func varSimpleTestVar() async {
 // This is the continuation block
 // CHECK-LABEL: define internal swifttailcc void @"$s27move_function_dbginfo_async20letArgCCFlowTrueTestyyxnYalFTQ4_"(
 // CHECK:  call void @llvm.dbg.value(metadata %swift.opaque* undef, metadata !{{.*}}, metadata !DIExpression(DW_OP_deref)),
+
+// DWARF: DW_TAG_subprogram
+// DWARF: DW_AT_linkage_name	("$s3out20letArgCCFlowTrueTestyyxnYalF")
+// DWARF: DW_AT_name	("letArgCCFlowTrueTest")
+
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_location	(DW_OP_entry_value([[ASYNC_REG]]), DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x8, DW_OP_deref)
+// DWARF-NEXT: DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20letArgCCFlowTrueTestyyxnYalFTQ0_")
+// DWARF-NEXT: DW_AT_name	("letArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_location	(DW_OP_entry_value([[ASYNC_REG]]), DW_OP_deref, DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x8, DW_OP_deref)
+// DWARF-NEXT: DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20letArgCCFlowTrueTestyyxnYalFTY1_")
+// DWARF-NEXT: DW_AT_name	("letArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_location	(0x{{[a-f0-9]+}}:
+// DWARF-NEXT:    [0x{{[a-f0-9]+}}, 0x{{[a-f0-9]+}}): DW_OP_entry_value([[ASYNC_REG]]), DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x8, DW_OP_deref
+// DWARF-NEXT:    [0x{{[a-f0-9]+}}, 0x{{[a-f0-9]+}}): DW_OP_entry_value([[ASYNC_REG]]), DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x8, DW_OP_deref)
+// DWARF-NEXT: DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20letArgCCFlowTrueTestyyxnYalFTQ2_")
+// DWARF-NEXT: DW_AT_name	("letArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20letArgCCFlowTrueTestyyxnYalFTQ3_")
+// DWARF-NEXT: DW_AT_name	("letArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_location	(0x{{[a-f0-9]+}}:
+// DWARF-NEXT:                        [0x{{[a-f0-9]+}}, 0x{{[a-f0-9]+}}): DW_OP_entry_value([[ASYNC_REG]]), DW_OP_deref, DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x8, DW_OP_deref)
+// DWARF-NEXT: DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20letArgCCFlowTrueTestyyxnYalFTQ4_")
+// DWARF-NEXT: DW_AT_name	("letArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_name	("msg")
 public func letArgCCFlowTrueTest<T>(_ msg: __owned T) async {
     await forceSplit1()
     if trueValue {
@@ -441,6 +480,58 @@ public func letArgCCFlowTrueTest<T>(_ msg: __owned T) async {
 // CHECK:  musttail call swifttailcc void %{{[0-9]+}}(%swift.context* swiftasync
 // CHECK-NEXT:  ret void,
 // CHECK-NEXT: }
+
+// DWARF: DW_AT_linkage_name	("$s3out20varArgCCFlowTrueTestyyxzYaAA1PRzlF")
+// DWARF: DW_AT_name	("varArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT:                     DW_AT_location	(DW_OP_entry_value([[ASYNC_REG]]), DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x30, DW_OP_deref)
+// DWARF-NEXT:                     DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20varArgCCFlowTrueTestyyxzYaAA1PRzlFTQ0_")
+// DWARF-NEXT: DW_AT_name	("varArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT:   DW_AT_location	(DW_OP_entry_value([[ASYNC_REG]]), DW_OP_deref, DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x30, DW_OP_deref)
+// DWARF-NEXT:   DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20varArgCCFlowTrueTestyyxzYaAA1PRzlFTY1_")
+// DWARF-NEXT: DW_AT_name	("varArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_location	(0x{{[a-f0-9]+}}:
+// DWARF-NEXT:    [0x{{[a-f0-9]+}}, 0x{{[a-f0-9]+}}): DW_OP_entry_value([[ASYNC_REG]]), DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x30, DW_OP_deref
+// DWARF-NEXT:    [0x{{[a-f0-9]+}}, 0x{{[a-f0-9]+}}): DW_OP_entry_value([[ASYNC_REG]]), DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x30, DW_OP_deref)
+// DWARF-NEXT: DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20varArgCCFlowTrueTestyyxzYaAA1PRzlFTQ2_")
+// DWARF-NEXT: DW_AT_name	("varArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20varArgCCFlowTrueTestyyxzYaAA1PRzlFTY3_")
+// DWARF-NEXT: DW_AT_name	("varArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_location	(0x{{[a-f0-9]+}}:
+// DWARF-NEXT:    [0x{{[a-f0-9]+}}, 0x{{[a-f0-9]+}}): DW_OP_entry_value([[ASYNC_REG]]), DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x30, DW_OP_deref)
+// DWARF-NEXT: DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20varArgCCFlowTrueTestyyxzYaAA1PRzlFTQ4_")
+// DWARF-NEXT: DW_AT_name	("varArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_location	(0x{{[a-f0-9]+}}:
+// DWARF-NEXT:    [0x{{[a-f0-9]+}}, 0x{{[a-f0-9]+}}): DW_OP_entry_value([[ASYNC_REG]]), DW_OP_deref, DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x30, DW_OP_deref)
+// DWARF-NEXT: DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20varArgCCFlowTrueTestyyxzYaAA1PRzlFTY5_")
+// DWARF-NEXT: DW_AT_name	("varArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_location	(0x{{[a-f0-9]+}}:
+// DWARF-NEXT:    [0x{{[a-f0-9]+}}, 0x{{[a-f0-9]+}}): DW_OP_entry_value([[ASYNC_REG]]), DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x30, DW_OP_deref)
+// DWARF-NEXT: DW_AT_name	("msg")
+//
+// DWARF: DW_AT_linkage_name	("$s3out20varArgCCFlowTrueTestyyxzYaAA1PRzlFTQ6_")
+// DWARF-NEXT: DW_AT_name	("varArgCCFlowTrueTest")
+// DWARF: DW_TAG_formal_parameter
+// DWARF-NEXT: DW_AT_location	(DW_OP_entry_value([[ASYNC_REG]]), DW_OP_deref, DW_OP_plus_uconst 0x10, DW_OP_plus_uconst 0x30, DW_OP_deref)
+// DWARF-NEXT: DW_AT_name	("msg")
 public func varArgCCFlowTrueTest<T : P>(_ msg: inout T) async {
     await forceSplit1()
     if trueValue {