1; RUN: llc -mtriple=x86_64-unknown-linux-gnu %s -o %t -filetype=obj 2; RUN: llvm-dwarfdump --debug-info %t | FileCheck %s 3 4%struct.struct_t = type { i8 } 5 6@g = dso_local global %struct.struct_t zeroinitializer, align 1, !dbg !0 7 8; CHECK-LABEL: DW_TAG_subprogram 9; CHECK: DW_AT_name ("test1") 10; CHECK: DW_TAG_variable 11; CHECK: DW_AT_location (DW_OP_fbreg -1, DW_OP_deref_size 0x1, DW_OP_constu 0x3d, DW_OP_shl, DW_OP_constu 0x3d, DW_OP_shr, DW_OP_stack_value) 12; CHECK: DW_AT_name ("x") 13; CHECK: DW_TAG_variable 14; CHECK: DW_AT_location (DW_OP_fbreg -1, DW_OP_deref_size 0x1, DW_OP_constu 0x39, DW_OP_shl, DW_OP_constu 0x3c, DW_OP_shra, DW_OP_stack_value) 15; CHECK: DW_AT_name ("y") 16 17define i32 @test1() !dbg !13 { 18entry: 19 %0 = alloca %struct.struct_t, align 1 20 tail call void @llvm.dbg.declare(metadata ptr %0, metadata !16, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 3)), !dbg !17 21 tail call void @llvm.dbg.declare(metadata ptr %0, metadata !18, metadata !DIExpression(DW_OP_LLVM_extract_bits_sext, 3, 4)), !dbg !17 22 ret i32 0, !dbg !17 23} 24 25; CHECK-LABEL: DW_TAG_subprogram 26; CHECK: DW_AT_name ("test2") 27; CHECK: DW_TAG_variable 28; CHECK: DW_AT_location (DW_OP_breg0 {{R[^+]+}}+0, DW_OP_constu 0xff, DW_OP_and, DW_OP_constu 0x3d, DW_OP_shl, DW_OP_constu 0x3d, DW_OP_shr, DW_OP_stack_value) 29; CHECK: DW_AT_name ("x") 30; CHECK: DW_TAG_variable 31; CHECK: DW_AT_location (DW_OP_breg0 {{R[^+]+}}+0, DW_OP_constu 0xff, DW_OP_and, DW_OP_constu 0x39, DW_OP_shl, DW_OP_constu 0x3c, DW_OP_shra, DW_OP_stack_value) 32; CHECK: DW_AT_name ("y") 33 34define i8 @test2() !dbg !20 { 35entry: 36 %0 = load i8, ptr @g, align 1 37 tail call void @llvm.dbg.value(metadata i8 %0, metadata !21, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 0, 3)), !dbg !22 38 tail call void @llvm.dbg.value(metadata i8 %0, metadata !23, metadata !DIExpression(DW_OP_LLVM_extract_bits_sext, 3, 4)), !dbg !22 39 ret i8 %0, !dbg !22 40} 41 42; CHECK-LABEL: DW_TAG_subprogram 43; CHECK: DW_AT_name ("test3") 44; CHECK: DW_TAG_variable 45; CHECK: DW_AT_location (DW_OP_breg0 {{R[^+]+}}+0, DW_OP_constu 0x3f, DW_OP_shr, DW_OP_stack_value) 46; CHECK: DW_AT_name ("x") 47; CHECK: DW_TAG_variable 48; CHECK: DW_AT_location (DW_OP_breg0 {{R[^+]+}}+0, DW_OP_constu 0x3f, DW_OP_shra, DW_OP_stack_value) 49; CHECK: DW_AT_name ("y") 50 51define i64 @test3(ptr %p) !dbg !24 { 52entry: 53 %0 = load i64, ptr %p, align 8 54 tail call void @llvm.dbg.value(metadata i64 %0, metadata !25, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 63, 1)), !dbg !26 55 tail call void @llvm.dbg.value(metadata i64 %0, metadata !27, metadata !DIExpression(DW_OP_LLVM_extract_bits_sext, 63, 1)), !dbg !26 56 ret i64 %0, !dbg !26 57} 58 59; CHECK-LABEL: DW_TAG_subprogram 60; CHECK: DW_AT_name ("test4") 61; CHECK: DW_TAG_variable 62; CHECK: DW_AT_location (DW_OP_fbreg -4, DW_OP_deref_size 0x4, DW_OP_constu 0x20, DW_OP_shl, DW_OP_constu 0x3f, DW_OP_shr, DW_OP_stack_value) 63; CHECK: DW_AT_name ("x") 64; CHECK: DW_TAG_variable 65; CHECK: DW_AT_location (DW_OP_fbreg -4, DW_OP_deref_size 0x4, DW_OP_constu 0x20, DW_OP_shl, DW_OP_constu 0x21, DW_OP_shra, DW_OP_stack_value) 66; CHECK: DW_AT_name ("y") 67; CHECK: DW_TAG_variable 68; CHECK: DW_AT_location (DW_OP_fbreg -4, DW_OP_plus_uconst 0x3, DW_OP_deref_size 0x1, DW_OP_constu 0x38, DW_OP_shl, DW_OP_constu 0x39, DW_OP_shr, DW_OP_stack_value) 69; CHECK: DW_AT_name ("z") 70 71define i32 @test4() !dbg !28 { 72entry: 73 %0 = alloca i32, align 4 74 tail call void @llvm.dbg.declare(metadata ptr %0, metadata !29, metadata !DIExpression(DW_OP_LLVM_extract_bits_zext, 31, 1)), !dbg !30 75 tail call void @llvm.dbg.declare(metadata ptr %0, metadata !31, metadata !DIExpression(DW_OP_LLVM_extract_bits_sext, 1, 31)), !dbg !30 76 tail call void @llvm.dbg.declare(metadata ptr %0, metadata !32, metadata !DIExpression(DW_OP_plus_uconst, 3, DW_OP_LLVM_extract_bits_zext, 1, 7)), !dbg !30 77 ret i32 0, !dbg !30 78} 79 80declare void @llvm.dbg.declare(metadata, metadata, metadata) 81declare void @llvm.dbg.value(metadata, metadata, metadata) 82 83!llvm.dbg.cu = !{!2} 84!llvm.module.flags = !{!11, !12} 85 86!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression()) 87!1 = distinct !DIGlobalVariable(name: "g", scope: !2, file: !3, type: !5, isLocal: false, isDefinition: true) 88!2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !3, isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, globals: !4, splitDebugInlining: false, nameTableKind: None) 89!3 = !DIFile(filename: "DW_OP_bit_piece.cpp", directory: "./") 90!4 = !{!0} 91!5 = !DIDerivedType(tag: DW_TAG_typedef, name: "struct_t", file: !3, baseType: !6) 92!6 = distinct !DICompositeType(tag: DW_TAG_structure_type, file: !3, size: 8, flags: DIFlagTypePassByValue, elements: !7, identifier: "_ZTS8struct_t") 93!7 = !{!8, !10} 94!8 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope: !6, file: !3, baseType: !9, size: 3, flags: DIFlagBitField, extraData: i64 0) 95!9 = !DIBasicType(name: "unsigned int", size: 32, encoding: DW_ATE_unsigned) 96!10 = !DIDerivedType(tag: DW_TAG_member, name: "y", scope: !6, file: !3, baseType: !9, size: 4, offset: 3, flags: DIFlagBitField, extraData: i64 0) 97!11 = !{i32 7, !"Dwarf Version", i32 5} 98!12 = !{i32 2, !"Debug Info Version", i32 3} 99!13 = distinct !DISubprogram(name: "test1", linkageName: "test1", scope: !3, file: !3, type: !14, spFlags: DISPFlagDefinition, unit: !2) 100!14 = !DISubroutineType(types: !15) 101!15 = !{!9} 102!16 = !DILocalVariable(name: "x", scope: !13, file: !3, type: !9) 103!17 = !DILocation(line: 0, scope: !13) 104!18 = !DILocalVariable(name: "y", scope: !13, file: !3, type: !19) 105!19 = !DIBasicType(name: "signed int", size: 32, encoding: DW_ATE_signed) 106!20 = distinct !DISubprogram(name: "test2", linkageName: "test2", scope: !3, file: !3, type: !14, spFlags: DISPFlagDefinition, unit: !2) 107!21 = !DILocalVariable(name: "x", scope: !20, file: !3, type: !9) 108!22 = !DILocation(line: 0, scope: !20) 109!23 = !DILocalVariable(name: "y", scope: !20, file: !3, type: !19) 110!24 = distinct !DISubprogram(name: "test3", linkageName: "test3", scope: !3, file: !3, type: !14, spFlags: DISPFlagDefinition, unit: !2) 111!25 = !DILocalVariable(name: "x", scope: !24, file: !3, type: !9) 112!26 = !DILocation(line: 0, scope: !24) 113!27 = !DILocalVariable(name: "y", scope: !24, file: !3, type: !19) 114!28 = distinct !DISubprogram(name: "test4", linkageName: "test4", scope: !3, file: !3, type: !14, spFlags: DISPFlagDefinition, unit: !2) 115!29 = !DILocalVariable(name: "x", scope: !28, file: !3, type: !9) 116!30 = !DILocation(line: 0, scope: !28) 117!31 = !DILocalVariable(name: "y", scope: !28, file: !3, type: !19) 118!32 = !DILocalVariable(name: "z", scope: !28, file: !3, type: !9) 119