llvm/test/CodeGen/ARM/debug-info-branch-folding.ll

   1 ; RUN: llc < %s - | FileCheck %s
   2 target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:32:64-v128:32:128-a0:0:32-n32"
   3 target triple = "thumbv7-apple-macosx10.6.7"
   4
   5 ;CHECK:         vadd.f32        q4, q8, q9
   6 ;CHECK-NEXT: LBB0_1
   7
   8 ;CHECK:         @DEBUG_VALUE: x <- $q4{{$}}
   9 ;CHECK-NEXT:    @DEBUG_VALUE: y <- $q4{{$}}
  10 ;CHECK:         beq LBB0_1
  11
  12
  13 @.str = external constant [13 x i8]
  14
  15 declare <4 x float> @test0001(float) nounwind readnone ssp
  16
  17 define i32 @main(i32 %argc, ptr nocapture %argv, i1 %cond, <4 x float> %x) nounwind ssp !dbg !10 {
  18 entry:
  19   br label %for.body9
  20
  21 for.body9:                                        ; preds = %for.body9, %entry
  22   %add19 = fadd <4 x float> %x, <float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 1.000000e+00>, !dbg !39
  23   tail call void @llvm.dbg.value(metadata <4 x float> %add19, metadata !27, metadata !DIExpression()), !dbg !39
  24   %add20 = fadd <4 x float> %x, <float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 1.000000e+00>, !dbg !39
  25   tail call void @llvm.dbg.value(metadata <4 x float> %add20, metadata !28, metadata !DIExpression()), !dbg !39
  26   br i1 %cond, label %for.end54, label %for.body9, !dbg !44
  27
  28 for.end54:                                        ; preds = %for.body9
  29   %tmp115 = extractelement <4 x float> %add19, i32 1
  30   %conv6.i75 = fpext float %tmp115 to double, !dbg !45
  31   %call.i82 = tail call i32 (ptr, ...) @printf(ptr @.str, double undef, double %conv6.i75, double undef, double undef) nounwind, !dbg !45
  32   %tmp116 = extractelement <4 x float> %add20, i32 1
  33   %conv6.i76 = fpext float %tmp116 to double, !dbg !45
  34   %call.i83 = tail call i32 (ptr, ...) @printf(ptr @.str, double undef, double %conv6.i76, double undef, double undef) nounwind, !dbg !45
  35   ret i32 0, !dbg !49
  36 }
  37
  38 declare i32 @printf(ptr nocapture, ...) nounwind
  39
  40 declare void @llvm.dbg.value(metadata, metadata, metadata) nounwind readnone
  41
  42 !llvm.module.flags = !{!56}
  43 !llvm.dbg.cu = !{!2}
  44
  45 !0 = distinct !DISubprogram(name: "test0001", line: 3, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !2, file: !54, scope: null, type: !3, retainedNodes: !51)
  46 !1 = !DIFile(filename: "build2.c", directory: "/private/tmp")
  47 !2 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang version 3.0 (trunk 129915)", isOptimized: true, emissionKind: FullDebug, file: !54, enums: !{}, retainedTypes: !{}, imports:  null)
  48 !3 = !DISubroutineType(types: !4)
  49 !4 = !{!5}
  50 !5 = !DIDerivedType(tag: DW_TAG_typedef, name: "v4f32", line: 14, file: !54, scope: !2, baseType: !6)
  51 !6 = !DICompositeType(tag: DW_TAG_array_type, size: 128, align: 128, file: !54, scope: !2, baseType: !7, elements: !8)
  52 !7 = !DIBasicType(tag: DW_TAG_base_type, name: "float", size: 32, align: 32, encoding: DW_ATE_float)
  53 !8 = !{!9}
  54 !9 = !DISubrange(count: 4)
  55 !10 = distinct !DISubprogram(name: "main", line: 59, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !2, file: !54, scope: null, type: !11, retainedNodes: !52)
  56 !11 = !DISubroutineType(types: !12)
  57 !12 = !{!13}
  58 !13 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
  59 !14 = distinct !DISubprogram(name: "printFV", line: 41, isLocal: true, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !2, file: !55, scope: null, type: !16, retainedNodes: !53)
  60 !15 = !DIFile(filename: "/Volumes/Lalgate/work/llvm/projects/llvm-test/SingleSource/UnitTests/Vector/helpers.h", directory: "/private/tmp")
  61 !16 = !DISubroutineType(types: !17)
  62 !17 = !{null}
  63 !18 = !DILocalVariable(name: "a", line: 3, arg: 1, scope: !0, file: !1, type: !7)
  64 !19 = !DILocalVariable(name: "argc", line: 59, arg: 1, scope: !10, file: !1, type: !13)
  65 !20 = !DILocalVariable(name: "argv", line: 59, arg: 2, scope: !10, file: !1, type: !21)
  66 !21 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 32, align: 32, scope: !2, baseType: !22)
  67 !22 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 32, align: 32, scope: !2, baseType: !23)
  68 !23 = !DIBasicType(tag: DW_TAG_base_type, name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char)
  69 !24 = !DILocalVariable(name: "i", line: 60, scope: !25, file: !1, type: !13)
  70 !25 = distinct !DILexicalBlock(line: 59, column: 33, file: !1, scope: !10)
  71 !26 = !DILocalVariable(name: "j", line: 60, scope: !25, file: !1, type: !13)
  72 !27 = !DILocalVariable(name: "x", line: 61, scope: !25, file: !1, type: !5)
  73 !28 = !DILocalVariable(name: "y", line: 62, scope: !25, file: !1, type: !5)
  74 !29 = !DILocalVariable(name: "z", line: 63, scope: !25, file: !1, type: !5)
  75 !30 = !DILocalVariable(name: "F", line: 41, arg: 1, scope: !14, file: !15, type: !31)
  76 !31 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 32, align: 32, scope: !2, baseType: !32)
  77 !32 = !DIDerivedType(tag: DW_TAG_typedef, name: "FV", line: 25, file: !55, scope: !2, baseType: !33)
  78 !33 = !DICompositeType(tag: DW_TAG_union_type, line: 22, size: 128, align: 128, file: !55, scope: !2, elements: !34)
  79 !34 = !{!35, !37}
  80 !35 = !DIDerivedType(tag: DW_TAG_member, name: "V", line: 23, size: 128, align: 128, file: !55, scope: !15, baseType: !36)
  81 !36 = !DIDerivedType(tag: DW_TAG_typedef, name: "v4sf", line: 3, file: !55, scope: !2, baseType: !6)
  82 !37 = !DIDerivedType(tag: DW_TAG_member, name: "A", line: 24, size: 128, align: 32, file: !55, scope: !15, baseType: !38)
  83 !38 = !DICompositeType(tag: DW_TAG_array_type, size: 128, align: 32, scope: !2, baseType: !7, elements: !8)
  84 !39 = !DILocation(line: 79, column: 7, scope: !40)
  85 !40 = distinct !DILexicalBlock(line: 75, column: 35, file: !1, scope: !41)
  86 !41 = distinct !DILexicalBlock(line: 75, column: 5, file: !1, scope: !42)
  87 !42 = distinct !DILexicalBlock(line: 71, column: 32, file: !1, scope: !43)
  88 !43 = distinct !DILexicalBlock(line: 71, column: 3, file: !1, scope: !25)
  89 !44 = !DILocation(line: 75, column: 5, scope: !42)
  90 !45 = !DILocation(line: 42, column: 2, scope: !46, inlinedAt: !48)
  91 !46 = distinct !DILexicalBlock(line: 42, column: 2, file: !15, scope: !47)
  92 !47 = distinct !DILexicalBlock(line: 41, column: 28, file: !15, scope: !14)
  93 !48 = !DILocation(line: 95, column: 3, scope: !25)
  94 !49 = !DILocation(line: 99, column: 3, scope: !25)
  95 !51 = !{!18}
  96 !52 = !{!19, !20, !24, !26, !27, !28, !29}
  97 !53 = !{!30}
  98 !54 = !DIFile(filename: "build2.c", directory: "/private/tmp")
  99 !55 = !DIFile(filename: "/Volumes/Lalgate/work/llvm/projects/llvm-test/SingleSource/UnitTests/Vector/helpers.h", directory: "/private/tmp")
 100 !56 = !{i32 1, !"Debug Info Version", i32 3}