debug_variable.sil

// RUN: %target-swiftc_driver -g -emit-ir %s | %FileCheck %s
sil_stage canonical

import Builtin
import Swift

sil_scope 2 { loc "simple.swift":1:2 parent @test_debug_value : $@convention(thin) (Int) -> () }

// https://github.com/apple/swift/issues/57215
// Incorrect source location on 'llvm.dbg.declare' when the input is a SIL file

// CHECK: @test_debug_value
// CHECK-SAME: !dbg ![[FUNC_DI:[0-9]+]]
sil hidden @test_debug_value : $@convention(thin) (Int) -> () {
bb0(%0 : $Int):
  // CHECK:      @llvm.dbg.declare(metadata ptr
  // CHECK-SAME:                   metadata ![[VAR_DI:[0-9]+]]
  // CHECK-SAME:                   ), !dbg ![[LOC_DI:[0-9]+]]
  debug_value %0 : $Int, let, name "x", argno 1, loc "simple.swift":3:4, scope 2
  %1 = tuple ()
  return %1 : $()
}

// CHECK: ![[VAR_DI]] = !DILocalVariable(name: "x", arg: 1
// CHECK: ![[LOC_DI]] = !DILocation(line: 3, column: 4, scope: ![[FUNC_DI]]