test/DebugInfo/MIR/ARM/split-superreg-complex.mir

   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 ---
  70 name:            f
  71 alignment:       2
  72 exposesReturnsTwice: false
  73 legalized:       false
  74 regBankSelected: false
  75 selected:        false
  76 tracksRegLiveness: true
  77 calleeSavedRegisters: [ '$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' ]
  90 frameInfo:
  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
 104 stack:
 105   - { id: 0, type: spill-slot, offset: -4, size: 4, alignment: 4, callee-saved-register: '$lr' }
 106 body:             |
 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 ...