1# RUN: llc -start-before=livedebugvalues -filetype=obj -o - %s | \ 2# RUN: llvm-dwarfdump - | FileCheck %s 3# 4# This is an artificial example of a debug value residing in a composite 5# location with a complex expression. Because the semantics of applying a DWARF 6# expression to a composite location are ill-defined, the compiler should bail 7# out of emitting a location. 8# 9# CHECK: .debug_info contents: 10# CHECK: DW_TAG_variable 11# CHECK-NOT: DW_AT_location 12# CHECK: DW_TAG 13--- | 14 ; Generated from: 15 ; typedef float vec2 __attribute__((vector_size(16))); 16 ; vec2 v(); 17 ; float f() { 18 ; vec2 vec = v(); 19 ; return vec[0] + vec[1]; 20 ; } 21 22 target datalayout = "e-m:o-p:32:32-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32" 23 target triple = "thumbv7s-apple-ios5.0.0" 24 25 define float @f() local_unnamed_addr #0 !dbg !9 { 26 entry: 27 %call = tail call <4 x float> bitcast (<4 x float> (...)* @v to <4 x float> ()*)() #0, !dbg !19 28 tail call void @llvm.dbg.value(metadata <4 x float> %call, i64 0, metadata !14, metadata !20), !dbg !21 29 %vecext = extractelement <4 x float> %call, i32 0, !dbg !22 30 %vecext1 = extractelement <4 x float> %call, i32 1, !dbg !23 31 %add = fadd float %vecext, %vecext1, !dbg !24 32 ret float %add, !dbg !25 33 } 34 35 declare arm_aapcs_vfpcc <4 x float> @v(...) local_unnamed_addr #0 36 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #0 37 38 attributes #0 = { nounwind readnone } 39 40 !llvm.dbg.cu = !{!0} 41 !llvm.module.flags = !{!3, !4} 42 !llvm.ident = !{!8} 43 44 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 4.0.0 (trunk 286322) (llvm/trunk 286305)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2) 45 !1 = !DIFile(filename: "v.c", directory: "/") 46 !2 = !{} 47 !3 = !{i32 2, !"Dwarf Version", i32 2} 48 !4 = !{i32 2, !"Debug Info Version", i32 3} 49 !8 = !{!"clang version 4.0.0 (trunk 286322) (llvm/trunk 286305)"} 50 !9 = distinct !DISubprogram(name: "f", scope: !1, file: !1, line: 3, type: !10, isLocal: false, isDefinition: true, scopeLine: 3, isOptimized: true, unit: !0, retainedNodes: !13) 51 !10 = !DISubroutineType(types: !11) 52 !11 = !{!12} 53 !12 = !DIBasicType(name: "float", size: 32, encoding: DW_ATE_float) 54 !13 = !{!14} 55 !14 = !DILocalVariable(name: "vec", scope: !9, file: !1, line: 4, type: !15) 56 !15 = !DIDerivedType(tag: DW_TAG_typedef, name: "vec2", file: !1, line: 1, baseType: !16) 57 !16 = !DICompositeType(tag: DW_TAG_array_type, baseType: !12, size: 128, flags: DIFlagVector, elements: !17) 58 !17 = !{!18} 59 !18 = !DISubrange(count: 4) 60 !19 = !DILocation(line: 4, column: 13, scope: !9) 61 !20 = !DIExpression(DW_OP_plus_uconst, 1, DW_OP_constu, 1, DW_OP_minus) 62 !21 = !DILocation(line: 4, column: 7, scope: !9) 63 !22 = !DILocation(line: 5, column: 9, scope: !9) 64 !23 = !DILocation(line: 5, column: 18, scope: !9) 65 !24 = !DILocation(line: 5, column: 16, scope: !9) 66 !25 = !DILocation(line: 5, column: 2, scope: !9) 67 68... 69--- 70name: f 71alignment: 2 72exposesReturnsTwice: false 73legalized: false 74regBankSelected: false 75selected: false 76tracksRegLiveness: true 77calleeSavedRegisters: [ '$lr', '$d8', '$d9', '$d10', '$d11', '$d12', '$d13', 78 '$d14', '$d15', '$q4', '$q5', '$q6', '$q7', '$r4', 79 '$r5', '$r6', '$r7', '$r8', '$r10', '$r11', '$s16', 80 '$s17', '$s18', '$s19', '$s20', '$s21', '$s22', 81 '$s23', '$s24', '$s25', '$s26', '$s27', '$s28', 82 '$s29', '$s30', '$s31', '$d8_d10', '$d9_d11', '$d10_d12', 83 '$d11_d13', '$d12_d14', '$d13_d15', '$q4_q5', '$q5_q6', 84 '$q6_q7', '$q4_q5_q6_q7', '$r4_r5', '$r6_r7', '$r10_r11', 85 '$d8_d9_d10', '$d9_d10_d11', '$d10_d11_d12', '$d11_d12_d13', 86 '$d12_d13_d14', '$d13_d14_d15', '$d8_d10_d12', 87 '$d9_d11_d13', '$d10_d12_d14', '$d11_d13_d15', 88 '$d8_d10_d12_d14', '$d9_d11_d13_d15', '$d9_d10', 89 '$d11_d12', '$d13_d14', '$d9_d10_d11_d12', '$d11_d12_d13_d14' ] 90frameInfo: 91 isFrameAddressTaken: false 92 isReturnAddressTaken: false 93 hasStackMap: false 94 hasPatchPoint: false 95 stackSize: 4 96 offsetAdjustment: 0 97 maxAlignment: 4 98 adjustsStack: true 99 hasCalls: true 100 maxCallFrameSize: 0 101 hasOpaqueSPAdjustment: false 102 hasVAStart: false 103 hasMustTailInVarArgFunc: false 104stack: 105 - { id: 0, type: spill-slot, offset: -4, size: 4, alignment: 4, callee-saved-register: '$lr' } 106body: | 107 bb.0.entry: 108 liveins: $lr 109 110 early-clobber $sp = frame-setup t2STR_PRE killed undef $lr, $sp, -4, 14, _ 111 frame-setup CFI_INSTRUCTION def_cfa_offset 4 112 frame-setup CFI_INSTRUCTION offset $lr, -4 113 tBL 14, _, @v, csr_ios, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $r0, implicit-def $r1, implicit-def $r2, implicit-def $r3, debug-location !19 114 $d1 = VMOVDRR killed $r2, killed $r3, 14, _, implicit-def $q0, debug-location !19 115 $d0 = VMOVDRR killed $r0, killed $r1, 14, _, implicit killed $q0, implicit-def $q0, debug-location !19 116 DBG_VALUE $q0, _, !14, !20, debug-location !21 117 $s4 = VMOVS $s1, 14, _, implicit-def $d2, debug-location !24 118 $d0 = VADDfd $d0, killed $d2, 14, _, implicit killed $q0, debug-location !24 119 $r0 = VMOVRS $s0, 14, _, implicit killed $d0, debug-location !25 120 $lr, $sp = t2LDR_POST $sp, 4, 14, _, debug-location !25 121 tBX_RET 14, _, implicit $r0, debug-location !25 122 123... 124