1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc < %s -global-isel -mtriple=arm64-linux-gnu -global-isel-abort=1 | FileCheck %s 3; RUN: llc < %s -global-isel -mtriple=arm64-linux-gnu -global-isel-abort=1 --try-experimental-debuginfo-iterators | FileCheck %s 4target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" 5target triple = "arm64-apple-ios9.0.0" 6 7; Check we don't fall back due to hitting a DBG_VALUE with a deleted vreg. 8 9%0 = type { %1, %3, %5, %8, i8, i32, i8, i64, [4096 x %9], i64, i64, [4096 x %11], i64, i64, %13, %21, ptr, %35, i64, [504 x i8] } 10%1 = type { [32 x %2] } 11%2 = type { i32, i32 } 12%3 = type { [32 x %4] } 13%4 = type { i64, i64 } 14%5 = type { [32 x %6] } 15%6 = type { %7, %7 } 16%7 = type { i8, [64 x i8] } 17%8 = type { [1024 x %7], %7 } 18%9 = type { ptr, i64 } 19%10 = type { ptr, ptr, i8, i8 } 20%11 = type { ptr, ptr } 21%12 = type { i64, i64 } 22%13 = type { %14 } 23%14 = type { ptr, %17, %19 } 24%15 = type { ptr } 25%16 = type <{ %15, ptr, ptr, i8, [7 x i8] }> 26%17 = type { %18 } 27%18 = type { %15 } 28%19 = type { %20 } 29%20 = type { i64 } 30%21 = type { %22 } 31%22 = type <{ %23, %30, %32, %33, [4 x i8] }> 32%23 = type { %24 } 33%24 = type { %25, %27 } 34%25 = type { ptr } 35%26 = type { ptr } 36%27 = type { %28 } 37%28 = type { %29 } 38%29 = type { %20 } 39%30 = type { %31 } 40%31 = type { %26 } 41%32 = type { %20 } 42%33 = type { %34 } 43%34 = type { float } 44%35 = type { [1024 x i64] } 45 46@global = external hidden global %0, align 512 47 48define void @baz(ptr %arg) !dbg !6 { 49; CHECK-LABEL: baz: 50; CHECK: .Lfunc_begin0: 51; CHECK-NEXT: .cfi_startproc 52; CHECK-NEXT: // %bb.0: // %bb 53; CHECK-NEXT: //DEBUG_VALUE: baz:3 <- undef 54; CHECK-NEXT: .file 1 "/" "tmp.ll" 55; CHECK-NEXT: .loc 1 4 1 prologue_end // tmp.ll:4:1 56; CHECK-NEXT: lsl x8, x0, #4 57; CHECK-NEXT: adrp x9, global+202752 58; CHECK-NEXT: add x9, x9, :lo12:global+202752 59; CHECK-NEXT: and x8, x8, #0x1ff0 60; CHECK-NEXT: .loc 1 5 1 // tmp.ll:5:1 61; CHECK-NEXT: str xzr, [x9, x8] 62; CHECK-NEXT: .loc 1 6 1 // tmp.ll:6:1 63; CHECK-NEXT: ret 64; CHECK-NEXT: .Ltmp0: 65bb: 66 %tmp = ptrtoint ptr %arg to i64, !dbg !14 67 %tmp1 = shl i64 %tmp, 1, !dbg !15 68 %tmp2 = and i64 %tmp1, 1022, !dbg !16 69 call void @llvm.dbg.value(metadata i64 %tmp2, metadata !12, metadata !DIExpression()), !dbg !16 70 %tmp3 = getelementptr inbounds %0, ptr @global, i64 0, i32 17, i32 0, i64 %tmp2, !dbg !17 71 store i64 0, ptr %tmp3, align 16, !dbg !18 72 ret void, !dbg !19 73} 74 75; Function Attrs: nofree nosync nounwind readnone speculatable willreturn 76declare void @llvm.dbg.value(metadata, metadata, metadata) #1 77 78attributes #1 = { nofree nosync nounwind readnone speculatable willreturn } 79 80!llvm.module.flags = !{!0} 81!llvm.dbg.cu = !{!1} 82!llvm.debugify = !{!4, !5} 83 84!0 = !{i32 2, !"Debug Info Version", i32 3} 85!1 = distinct !DICompileUnit(language: DW_LANG_C, file: !2, producer: "debugify", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !3) 86!2 = !DIFile(filename: "tmp.ll", directory: "/") 87!3 = !{} 88!4 = !{i32 6} 89!5 = !{i32 4} 90!6 = distinct !DISubprogram(name: "baz", linkageName: "baz", scope: null, file: !2, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !1, retainedNodes: !8) 91!7 = !DISubroutineType(types: !3) 92!8 = !{!9, !11, !12, !13} 93!9 = !DILocalVariable(name: "1", scope: !6, file: !2, line: 1, type: !10) 94!10 = !DIBasicType(name: "ty64", size: 64, encoding: DW_ATE_unsigned) 95!11 = !DILocalVariable(name: "2", scope: !6, file: !2, line: 2, type: !10) 96!12 = !DILocalVariable(name: "3", scope: !6, file: !2, line: 3, type: !10) 97!13 = !DILocalVariable(name: "4", scope: !6, file: !2, line: 4, type: !10) 98!14 = !DILocation(line: 1, column: 1, scope: !6) 99!15 = !DILocation(line: 2, column: 1, scope: !6) 100!16 = !DILocation(line: 3, column: 1, scope: !6) 101!17 = !DILocation(line: 4, column: 1, scope: !6) 102!18 = !DILocation(line: 5, column: 1, scope: !6) 103!19 = !DILocation(line: 6, column: 1, scope: !6) 104