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