; RUN: llc -O0 -march=amdgcn -stop-after=finalize-isel < %s | FileCheck %s

target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5-G1-ni:7"
target triple = "amdgcn-amd-amdhsa"

; CHECK: !3 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i1)))
; CHECK: !8 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i1)))
; CHECK: !9 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i128)))
; CHECK: !10 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(float)))
; CHECK: !11 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i1))
; CHECK: !12 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i32)))
; CHECK: !13 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i32)))

define void @undef() {
entry:
; CHECK-LABEL: name: undef
; CHECK: DBG_DEF !3, $noreg, debug-location !5
; CHECK: DBG_KILL !3, debug-location !7
  call void @llvm.dbg.def(metadata !3, metadata i1 undef), !dbg !5
  call void @llvm.dbg.kill(metadata !3), !dbg !7
  unreachable
}

define void @i1() {
entry:
; CHECK-LABEL: name: i1
; CHECK: DBG_DEF !8, i1 true, debug-location !5
; CHECK: DBG_KILL !8, debug-location !7
  call void @llvm.dbg.def(metadata !8, metadata i1 true), !dbg !5
  call void @llvm.dbg.kill(metadata !8), !dbg !7
  unreachable
}

define void @i128() {
entry:
; CHECK-LABEL: name: i128
; CHECK: DBG_DEF !9, i128 36893488147419103232, debug-location !5
; CHECK: DBG_KILL !9, debug-location !7
  call void @llvm.dbg.def(metadata !9, metadata i128 36893488147419103232), !dbg !5
  call void @llvm.dbg.kill(metadata !9), !dbg !7
  unreachable
}

define void @float() {
entry:
; CHECK-LABEL: name: float
; CHECK: DBG_DEF !10, float 1.000000e+00, debug-location !5
; CHECK: DBG_KILL !10, debug-location !7
  call void @llvm.dbg.def(metadata !10, metadata float 1.000000e+00), !dbg !5
  call void @llvm.dbg.kill(metadata !10), !dbg !7
  unreachable
}

define void @alloca() {
entry:
; CHECK-LABEL: name: alloca
; CHECK: DBG_DEF !11, %stack.{{[0-9]+}}, debug-location !5
; CHECK: DBG_KILL !11, debug-location !7
  %0 = alloca i1
  call void @llvm.dbg.def(metadata !11, metadata i1* %0), !dbg !5
  call void @llvm.dbg.kill(metadata !11), !dbg !7
  unreachable
}

define void @unused_argument(i32 %0) {
entry:
; CHECK-LABEL: name: unused_argument
; CHECK: DBG_DEF !12, %{{[0-9]+}}:vgpr_32, debug-location !5
; CHECK: DBG_KILL !12, debug-location !7
  call void @llvm.dbg.def(metadata !12, metadata i32 %0), !dbg !5
  call void @llvm.dbg.kill(metadata !12), !dbg !7
  unreachable
}

define i32 @used_argument(i32 %0) {
entry:
; CHECK-LABEL: name: used_argument
; CHECK: DBG_DEF !13, %{{[0-9]+}}, debug-location !5
; CHECK: DBG_KILL !13, debug-location !7
  call void @llvm.dbg.def(metadata !13, metadata i32 %0), !dbg !5
  call void @llvm.dbg.kill(metadata !13), !dbg !7
  ret i32 %0
}

; Function Attrs: nofree nosync nounwind readnone speculatable willreturn
declare void @llvm.dbg.def(metadata, metadata) #0

; Function Attrs: nofree nosync nounwind readnone speculatable willreturn
declare void @llvm.dbg.kill(metadata) #0

attributes #0 = { nofree nosync nounwind readnone speculatable willreturn }

!llvm.module.flags = !{!2}
!llvm.dbg.cu = !{!0}

!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, isOptimized: false, runtimeVersion: 0, emissionKind: NoDebug)
!1 = !DIFile(filename: "<stdin>", directory: "/")
!2 = !{i32 2, !"Debug Info Version", i32 4}
!3 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i1)))
!4 = distinct !DIFragment()
!5 = !DILocation(line: 4, column: 1, scope: !6)
!6 = distinct !DISubprogram(scope: null, spFlags: DISPFlagDefinition, unit: !0)
!7 = !DILocation(line: 8, column: 1, scope: !6)
!8 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i1)))
!9 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i128)))
!10 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(float)))
!11 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i1 addrspace(5)*), DIOpDeref(i1)))
!12 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i32)))
!13 = distinct !DILifetime(object: !4, location: !DIExpr(DIOpReferrer(i32)))