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, q8
   6 ;CHECK-NEXT: Ltmp1
   7 ;CHECK-NEXT: LBB0_1
   8
   9 ;CHECK:@DEBUG_VALUE: x <- Q4{{$}}
  10 ;CHECK-NEXT:@DEBUG_VALUE: y <- Q4{{$}}
  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, i8** nocapture %argv, i1 %cond) nounwind ssp {
  18 entry:
  19   br label %for.body9
  20
  21 for.body9:                                        ; preds = %for.body9, %entry
  22   %add19 = fadd <4 x float> undef, <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, i64 0, metadata !27, metadata !{!"0x102"}), !dbg !39
  24   %add20 = fadd <4 x float> undef, <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, i64 0, metadata !28, metadata !{!"0x102"}), !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 (i8*, ...)* @printf(i8* getelementptr inbounds ([13 x i8]* @.str, i32 0, i32 0), 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 (i8*, ...)* @printf(i8* getelementptr inbounds ([13 x i8]* @.str, i32 0, i32 0), double undef, double %conv6.i76, double undef, double undef) nounwind, !dbg !45
  35   ret i32 0, !dbg !49
  36 }
  37
  38 declare i32 @printf(i8* nocapture, ...) nounwind
  39
  40 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
  41
  42 !llvm.module.flags = !{!56}
  43 !llvm.dbg.cu = !{!2}
  44
  45 !0 = !{!"0x2e\00test0001\00test0001\00\003\000\001\000\006\00256\001\000", !54, null, !3, i32 0, <4 x float> (float)* @test0001, null, null, !51} ; [ DW_TAG_subprogram ]
  46 !1 = !{!"0x29", !54} ; [ DW_TAG_file_type ]
  47 !2 = !{!"0x11\0012\00clang version 3.0 (trunk 129915)\001\00\000\00\001", !54, !17, !17, !50, null,  null} ; [ DW_TAG_compile_unit ]
  48 !3 = !{!"0x15\00\000\000\000\000\000\000", !54, !1, i32 0, !4, i32 0} ; [ DW_TAG_subroutine_type ]
  49 !4 = !{!5}
  50 !5 = !{!"0x16\00v4f32\0014\000\000\000\000", !54, !2, !6} ; [ DW_TAG_typedef ]
  51 !6 = !{!"0x1\00\000\00128\00128\000\000", !54, !2, !7, !8, i32 0, null, null, null} ; [ DW_TAG_array_type ] [line 0, size 128, align 128, offset 0] [from float]
  52 !7 = !{!"0x24\00float\000\0032\0032\000\000\004", null, !2} ; [ DW_TAG_base_type ]
  53 !8 = !{!9}
  54 !9 = !{!"0x21\000\004"}         ; [ DW_TAG_subrange_type ]
  55 !10 = !{!"0x2e\00main\00main\00\0059\000\001\000\006\00256\001\000", !54, null, !11, null, i32 (i32, i8**, i1)* @main, null, null, !52} ; [ DW_TAG_subprogram ] [line 59] [def] [scope 0] [main]
  56 !11 = !{!"0x15\00\000\000\000\000\000\000", !54, !1, null, !12, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
  57 !12 = !{!13}
  58 !13 = !{!"0x24\00int\000\0032\0032\000\000\005", null, !2} ; [ DW_TAG_base_type ]
  59 !14 = !{!"0x2e\00printFV\00printFV\00\0041\001\001\000\006\00256\001\000", !55, null, !16, null, null, null, null, !53} ; [ DW_TAG_subprogram ] [line 41] [local] [def] [scope 0] [printFV]
  60 !15 = !{!"0x29", !55} ; [ DW_TAG_file_type ]
  61 !16 = !{!"0x15\00\000\000\000\000\000\000", !55, !15, null, !17, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
  62 !17 = !{null}
  63 !18 = !{!"0x101\00a\0016777219\000", !0, !1, !7} ; [ DW_TAG_arg_variable ]
  64 !19 = !{!"0x101\00argc\0016777275\000", !10, !1, !13} ; [ DW_TAG_arg_variable ]
  65 !20 = !{!"0x101\00argv\0033554491\000", !10, !1, !21} ; [ DW_TAG_arg_variable ]
  66 !21 = !{!"0xf\00\000\0032\0032\000\000", null, !2, !22} ; [ DW_TAG_pointer_type ]
  67 !22 = !{!"0xf\00\000\0032\0032\000\000", null, !2, !23} ; [ DW_TAG_pointer_type ]
  68 !23 = !{!"0x24\00char\000\008\008\000\000\006", null, !2} ; [ DW_TAG_base_type ]
  69 !24 = !{!"0x100\00i\0060\000", !25, !1, !13} ; [ DW_TAG_auto_variable ]
  70 !25 = !{!"0xb\0059\0033\0014", !1, !10} ; [ DW_TAG_lexical_block ]
  71 !26 = !{!"0x100\00j\0060\000", !25, !1, !13} ; [ DW_TAG_auto_variable ]
  72 !27 = !{!"0x100\00x\0061\000", !25, !1, !5} ; [ DW_TAG_auto_variable ]
  73 !28 = !{!"0x100\00y\0062\000", !25, !1, !5} ; [ DW_TAG_auto_variable ]
  74 !29 = !{!"0x100\00z\0063\000", !25, !1, !5} ; [ DW_TAG_auto_variable ]
  75 !30 = !{!"0x101\00F\0016777257\000", !14, !15, !31} ; [ DW_TAG_arg_variable ]
  76 !31 = !{!"0xf\00\000\0032\0032\000\000", null, !2, !32} ; [ DW_TAG_pointer_type ]
  77 !32 = !{!"0x16\00FV\0025\000\000\000\000", !55, !2, !33} ; [ DW_TAG_typedef ]
  78 !33 = !{!"0x17\00\0022\00128\00128\000\000\000", !55, !2, i32 0, !34, null} ; [ DW_TAG_union_type ]
  79 !34 = !{!35, !37}
  80 !35 = !{!"0xd\00V\0023\00128\00128\000\000", !55, !15, !36} ; [ DW_TAG_member ]
  81 !36 = !{!"0x16\00v4sf\003\000\000\000\000", !55, !2, !6} ; [ DW_TAG_typedef ]
  82 !37 = !{!"0xd\00A\0024\00128\0032\000\000", !55, !15, !38} ; [ DW_TAG_member ]
  83 !38 = !{!"0x1\00\000\00128\0032\000\000", null, !2, !7, !8, i32 0, i32 0} ; [ DW_TAG_array_type ]
  84 !39 = !MDLocation(line: 79, column: 7, scope: !40)
  85 !40 = !{!"0xb\0075\0035\0018", !1, !41} ; [ DW_TAG_lexical_block ]
  86 !41 = !{!"0xb\0075\005\0017", !1, !42} ; [ DW_TAG_lexical_block ]
  87 !42 = !{!"0xb\0071\0032\0016", !1, !43} ; [ DW_TAG_lexical_block ]
  88 !43 = !{!"0xb\0071\003\0015", !1, !25} ; [ DW_TAG_lexical_block ]
  89 !44 = !MDLocation(line: 75, column: 5, scope: !42)
  90 !45 = !MDLocation(line: 42, column: 2, scope: !46, inlinedAt: !48)
  91 !46 = !{!"0xb\0042\002\0020", !15, !47} ; [ DW_TAG_lexical_block ]
  92 !47 = !{!"0xb\0041\0028\0019", !15, !14} ; [ DW_TAG_lexical_block ]
  93 !48 = !MDLocation(line: 95, column: 3, scope: !25)
  94 !49 = !MDLocation(line: 99, column: 3, scope: !25)
  95 !50 = !{!0, !10, !14}
  96 !51 = !{!18}
  97 !52 = !{!19, !20, !24, !26, !27, !28, !29}
  98 !53 = !{!30}
  99 !54 = !{!"build2.c", !"/private/tmp"}
 100 !55 = !{!"/Volumes/Lalgate/work/llvm/projects/llvm-test/SingleSource/UnitTests/Vector/helpers.h", !"/private/tmp"}
 101 !56 = !{i32 1, !"Debug Info Version", i32 2}