[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / DebugInfo / X86 / pr28270.ll
blob2e28b4d3269b5d45bf220abdf73ab5ae656e78df
1 ; RUN: llc < %s
3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4 target triple = "x86_64-unknown-linux-gnu"
6 %class.A = type { i8 }
7 %class.B = type { i8 }
9 @.str = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
10 @.str.1 = private unnamed_addr constant [6 x i8] c"false\00", align 1
12 define void @_Z11PrintVectorv() local_unnamed_addr #0 !dbg !6 {
13 entry:
14   %agg.tmp.i.i = alloca %class.A, align 1
15   %text.i = alloca %class.A, align 1
16   %v = alloca %class.B, align 1
17   %0 = getelementptr inbounds %class.B, %class.B* %v, i64 0, i32 0, !dbg !40
18   call void @llvm.lifetime.start(i64 1, i8* %0) #4, !dbg !40
19   %1 = getelementptr inbounds %class.A, %class.A* %text.i, i64 0, i32 0, !dbg !41
20   %2 = getelementptr inbounds %class.A, %class.A* %agg.tmp.i.i, i64 0, i32 0, !dbg !59
21   br label %for.cond, !dbg !65
23 for.cond:                                         ; preds = %for.cond, %entry
24   call void @llvm.dbg.value(metadata %class.B* %v, metadata !29, metadata !66), !dbg !67
25   %call = call double @_ZN1BixEj(%class.B* nonnull %v, i32 undef), !dbg !68
26   call void @llvm.dbg.value(metadata double %call, metadata !49, metadata !69), !dbg !70
27   call void @llvm.dbg.value(metadata i32* null, metadata !52, metadata !69), !dbg !71
28   call void @llvm.dbg.value(metadata %class.A* undef, metadata !54, metadata !69), !dbg !72
29   call void @llvm.lifetime.start(i64 1, i8* %1) #4, !dbg !41
30   %tobool.i = fcmp une double %call, 0.000000e+00, !dbg !73
31   %cond.i = select i1 %tobool.i, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), !dbg !73
32   call void @llvm.dbg.value(metadata %class.A* %text.i, metadata !55, metadata !66), !dbg !74
33   call void @llvm.lifetime.start(i64 1, i8* %2), !dbg !59
34   call void @llvm.dbg.value(metadata %class.A* %text.i, metadata !62, metadata !69), !dbg !59
35   call void @llvm.dbg.value(metadata i8* %cond.i, metadata !63, metadata !69), !dbg !75
36   call void @_ZN1AC1EPKc(%class.A* nonnull %agg.tmp.i.i, i8* %cond.i), !dbg !76
37   call void @_ZN1A5m_fn1ES_(%class.A* nonnull %text.i), !dbg !77
38   call void @llvm.lifetime.end(i64 1, i8* %2), !dbg !79
39   call void @llvm.lifetime.end(i64 1, i8* %1) #4, !dbg !80
40   br label %for.cond, !dbg !81, !llvm.loop !82
43 ; Function Attrs: argmemonly nounwind
44 declare void @llvm.lifetime.start(i64, i8* nocapture) #1
46 declare double @_ZN1BixEj(%class.B*, i32) local_unnamed_addr #2
48 ; Function Attrs: argmemonly nounwind
49 declare void @llvm.lifetime.end(i64, i8* nocapture) #1
51 declare void @_ZN1A5m_fn1ES_(%class.A*) local_unnamed_addr #2
53 declare void @_ZN1AC1EPKc(%class.A*, i8*) unnamed_addr #2
55 ; Function Attrs: nounwind readnone
56 declare void @llvm.dbg.value(metadata, metadata, metadata) #3
58 attributes #0 = { noreturn uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
59 attributes #1 = { argmemonly nounwind }
60 attributes #2 = { "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
61 attributes #3 = { nounwind readnone }
62 attributes #4 = { nounwind }
64 !llvm.dbg.cu = !{!0}
65 !llvm.module.flags = !{!3, !4}
66 !llvm.ident = !{!5}
68 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 3.9.0 (trunk 273450) (llvm/trunk 273521)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
69 !1 = !DIFile(filename: "/usr/local/google/home/niravd/bug_28270.c", directory: "/usr/local/google/home/niravd/build/llvm/build_debug")
70 !2 = !{}
71 !3 = !{i32 2, !"Dwarf Version", i32 4}
72 !4 = !{i32 2, !"Debug Info Version", i32 3}
73 !5 = !{!"clang version 3.9.0 (trunk 273450) (llvm/trunk 273521)"}
74 !6 = distinct !DISubprogram(name: "PrintVector", linkageName: "_Z11PrintVectorv", scope: !1, file: !1, line: 18, type: !7, isLocal: false, isDefinition: true, scopeLine: 18, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !9)
75 !7 = !DISubroutineType(types: !8)
76 !8 = !{null}
77 !9 = !{!10, !25, !27, !28, !29, !38}
78 !10 = !DILocalVariable(name: "_text", scope: !6, file: !1, line: 19, type: !11)
79 !11 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64, align: 64)
80 !12 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "A", file: !1, line: 1, size: 8, align: 8, elements: !13, identifier: "_ZTS1A")
81 !13 = !{!14, !21, !22}
82 !14 = !DISubprogram(name: "A", scope: !12, file: !1, line: 2, type: !15, isLocal: false, isDefinition: false, scopeLine: 2, flags: DIFlagPrototyped, isOptimized: true)
83 !15 = !DISubroutineType(types: !16)
84 !16 = !{null, !17, !18}
85 !17 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
86 !18 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !19, size: 64, align: 64)
87 !19 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !20)
88 !20 = !DIBasicType(name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char)
89 !21 = !DISubprogram(name: "operator+=", linkageName: "_ZN1ApLEPKc", scope: !12, file: !1, line: 5, type: !15, isLocal: false, isDefinition: false, scopeLine: 5, flags: DIFlagPublic | DIFlagPrototyped, isOptimized: true)
90 !22 = !DISubprogram(name: "m_fn1", linkageName: "_ZN1A5m_fn1ES_", scope: !12, file: !1, line: 6, type: !23, isLocal: false, isDefinition: false, scopeLine: 6, flags: DIFlagPublic | DIFlagPrototyped, isOptimized: true)
91 !23 = !DISubroutineType(types: !24)
92 !24 = !{null, !17, !12}
93 !25 = !DILocalVariable(name: "opts", scope: !6, file: !1, line: 20, type: !26)
94 !26 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
95 !27 = !DILocalVariable(name: "indent", scope: !6, file: !1, line: 20, type: !26)
96 !28 = !DILocalVariable(name: "type", scope: !6, file: !1, line: 20, type: !26)
97 !29 = !DILocalVariable(name: "v", scope: !6, file: !1, line: 21, type: !30)
98 !30 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "B", file: !1, line: 9, size: 8, align: 8, elements: !31, identifier: "_ZTS1B")
99 !31 = !{!32}
100 !32 = !DISubprogram(name: "operator[]", linkageName: "_ZN1BixEj", scope: !30, file: !1, line: 11, type: !33, isLocal: false, isDefinition: false, scopeLine: 11, flags: DIFlagPublic | DIFlagPrototyped, isOptimized: true)
101 !33 = !DISubroutineType(types: !34)
102 !34 = !{!35, !36, !37}
103 !35 = !DIBasicType(name: "double", size: 64, align: 64, encoding: DW_ATE_float)
104 !36 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !30, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
105 !37 = !DIBasicType(name: "unsigned int", size: 32, align: 32, encoding: DW_ATE_unsigned)
106 !38 = !DILocalVariable(name: "i", scope: !39, file: !1, line: 22, type: !26)
107 !39 = distinct !DILexicalBlock(scope: !6, file: !1, line: 22, column: 3)
108 !40 = !DILocation(line: 21, column: 3, scope: !6)
109 !41 = !DILocation(line: 14, column: 3, scope: !42, inlinedAt: !56)
110 !42 = distinct !DISubprogram(name: "Print<double>", linkageName: "_Z5PrintIdEvT_iiPiiP1A", scope: !1, file: !1, line: 13, type: !43, isLocal: false, isDefinition: true, scopeLine: 13, flags: DIFlagPrototyped, isOptimized: true, unit: !0, templateParams: !46, retainedNodes: !48)
111 !43 = !DISubroutineType(types: !44)
112 !44 = !{null, !35, !26, !26, !45, !26, !11}
113 !45 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !26, size: 64, align: 64)
114 !46 = !{!47}
115 !47 = !DITemplateTypeParameter(name: "T", type: !35)
116 !48 = !{!49, !50, !51, !52, !53, !54, !55}
117 !49 = !DILocalVariable(name: "p1", arg: 1, scope: !42, file: !1, line: 13, type: !35)
118 !50 = !DILocalVariable(arg: 2, scope: !42, file: !1, line: 13, type: !26)
119 !51 = !DILocalVariable(arg: 3, scope: !42, file: !1, line: 13, type: !26)
120 !52 = !DILocalVariable(arg: 4, scope: !42, file: !1, line: 13, type: !45)
121 !53 = !DILocalVariable(arg: 5, scope: !42, file: !1, line: 13, type: !26)
122 !54 = !DILocalVariable(name: "p6", arg: 6, scope: !42, file: !1, line: 13, type: !11)
123 !55 = !DILocalVariable(name: "text", scope: !42, file: !1, line: 14, type: !12)
124 !56 = distinct !DILocation(line: 23, column: 5, scope: !57)
125 !57 = !DILexicalBlockFile(scope: !58, file: !1, discriminator: 1)
126 !58 = distinct !DILexicalBlock(scope: !39, file: !1, line: 22, column: 3)
127 !59 = !DILocation(line: 0, scope: !60, inlinedAt: !64)
128 !60 = distinct !DISubprogram(name: "operator+=", linkageName: "_ZN1ApLEPKc", scope: !12, file: !1, line: 5, type: !15, isLocal: false, isDefinition: true, scopeLine: 5, flags: DIFlagPrototyped, isOptimized: true, unit: !0, declaration: !21, retainedNodes: !61)
129 !61 = !{!62, !63}
130 !62 = !DILocalVariable(name: "this", arg: 1, scope: !60, type: !11, flags: DIFlagArtificial | DIFlagObjectPointer)
131 !63 = !DILocalVariable(name: "p1", arg: 2, scope: !60, file: !1, line: 5, type: !18)
132 !64 = distinct !DILocation(line: 15, column: 8, scope: !42, inlinedAt: !56)
133 !65 = !DILocation(line: 22, column: 8, scope: !39)
134 !66 = !DIExpression(DW_OP_deref)
135 !67 = !DILocation(line: 21, column: 5, scope: !6)
136 !68 = !DILocation(line: 23, column: 11, scope: !58)
137 !69 = !DIExpression()
138 !70 = !DILocation(line: 13, column: 36, scope: !42, inlinedAt: !56)
139 !71 = !DILocation(line: 13, column: 55, scope: !42, inlinedAt: !56)
140 !72 = !DILocation(line: 13, column: 65, scope: !42, inlinedAt: !56)
141 !73 = !DILocation(line: 15, column: 11, scope: !42, inlinedAt: !56)
142 !74 = !DILocation(line: 14, column: 5, scope: !42, inlinedAt: !56)
143 !75 = !DILocation(line: 5, column: 31, scope: !60, inlinedAt: !64)
144 !76 = !DILocation(line: 5, column: 43, scope: !60, inlinedAt: !64)
145 !77 = !DILocation(line: 5, column: 37, scope: !78, inlinedAt: !64)
146 !78 = !DILexicalBlockFile(scope: !60, file: !1, discriminator: 1)
147 !79 = !DILocation(line: 5, column: 48, scope: !60, inlinedAt: !64)
148 !80 = !DILocation(line: 16, column: 1, scope: !42, inlinedAt: !56)
149 !81 = !DILocation(line: 22, column: 3, scope: !57)
150 !82 = distinct !{!82, !83}
151 !83 = !DILocation(line: 22, column: 3, scope: !6)