[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / DebugInfo / COFF / inlining-header.ll
blob811414a36a3a6431831479e08f3ea8c7261053a6
1 ; RUN: llc -mcpu=core2 -mtriple=i686-pc-win32 < %s | FileCheck %s --check-prefix=ASM
2 ; RUN: llc -mcpu=core2 -mtriple=i686-pc-win32 < %s -filetype=obj | llvm-readobj --codeview | FileCheck %s --check-prefix=OBJ
4 ; This C++ source should run and you should be able to step through the volatile
5 ; modifications to x in windbg.
6 ; # 1 "t.cpp" 2
7 ; volatile int x;
9 ; # 1 "./t.h" 1
10 ; inline void f() {
11 ;   x += 3;
12 ; }
13 ; # 3 "t.cpp" 2
14 ; inline __forceinline void g() {
15 ;   x += 2;
16 ;   f();
17 ;   x += 2;
18 ; }
19 ; int main() {
20 ;   x += 1;
21 ;   g();
22 ;   x += 1;
23 ;   return x;
24 ; }
26 ; ASM: _main:                                  # @main
27 ; ASM: Lfunc_begin0:
28 ; ASM:         .cv_func_id 0
29 ; ASM: # %bb.0:                                 # %entry
30 ; ASM:         .cv_file        1 "D:\\src\\llvm\\build\\t.cpp"
31 ; ASM:         .cv_loc 0 1 9 5       # t.cpp:9:5
32 ; ASM:         incl    "?x@@3HC"
33 ; ASM:         .cv_inline_site_id 1 within 0 inlined_at 1 10 3
34 ; ASM:         .cv_loc 1 1 4 5                 # t.cpp:4:5
35 ; ASM:         addl    $2, "?x@@3HC"
36 ; ASM:         .cv_file        2 "D:\\src\\llvm\\build\\t.h"
37 ; ASM:         .cv_inline_site_id 2 within 1 inlined_at 1 5 3
38 ; ASM:         .cv_loc 2 2 2 5                 # ./t.h:2:5
39 ; ASM:         addl    $3, "?x@@3HC"
40 ; ASM:         .cv_loc 1 1 6 5                 # t.cpp:6:5
41 ; ASM:         addl    $2, "?x@@3HC"
42 ; ASM:         .cv_loc 0 1 11 5                # t.cpp:11:5
43 ; ASM:         incl    "?x@@3HC"
44 ; ASM:         .cv_loc 0 1 12 10               # t.cpp:12:10
45 ; ASM:         movl    "?x@@3HC", %eax
46 ; ASM:         .cv_loc 0 1 12 3                # t.cpp:12:3
47 ; ASM:         retl
49 ; OBJ: Subsection [
50 ; OBJ:   SubSectionType: InlineeLines (0xF6)
51 ; OBJ:   SubSectionSize: 0x1C
52 ; OBJ:   InlineeSourceLine {
53 ; OBJ:     Inlinee: g (0x1002)
54 ; OBJ:     FileID: D:\src\llvm\build\t.cpp (0x0)
55 ; OBJ:     SourceLineNum: 3
56 ; OBJ:   }
57 ; OBJ:   InlineeSourceLine {
58 ; OBJ:     Inlinee: f (0x1003)
59 ; OBJ:     FileID: D:\src\llvm\build\t.h (0x8)
60 ; OBJ:     SourceLineNum: 1
61 ; OBJ:   }
62 ; OBJ: ]
64 ; OBJ: Subsection [
65 ; OBJ:   SubSectionType: Symbols (0xF1)
66 ; OBJ:   {{.*}}Proc{{.*}}Sym {
67 ; OBJ:     Kind: S_GPROC32_ID (0x1147)
68 ; OBJ:     FunctionType: main (0x1005)
69 ; OBJ:     CodeOffset: _main+0x0
70 ; OBJ:     Segment: 0x0
71 ; OBJ:     Flags [ (0x0)
72 ; OBJ:     ]
73 ; OBJ:     DisplayName: main
74 ; OBJ:     LinkageName: _main
75 ; OBJ:   }
77 ; Previously, g's InlineSiteSym referenced t.h, which was wasteful.
78 ; OBJ:        InlineSiteSym {
79 ; OBJ:          Inlinee: g (0x1002)
80 ; OBJ:          BinaryAnnotations [
81 ; OBJ-NEXT:       ChangeCodeOffsetAndLineOffset: {CodeOffset: 0x6, LineOffset: 1}
82 ; OBJ-NEXT:       ChangeCodeOffsetAndLineOffset: {CodeOffset: 0x7, LineOffset: 1}
83 ; OBJ-NEXT:       ChangeCodeOffsetAndLineOffset: {CodeOffset: 0x7, LineOffset: 1}
84 ; OBJ-NEXT:       ChangeCodeLength: 0x7
85 ; OBJ-NEXT:     ]
86 ; OBJ:        }
88 ; OBJ:   InlineSiteSym {
89 ; OBJ:     Inlinee: f (0x1003)
90 ; OBJ:     BinaryAnnotations [
91 ; OBJ-NEXT:  ChangeCodeOffsetAndLineOffset: {CodeOffset: 0xD, LineOffset: 1}
92 ; OBJ-NEXT:  ChangeCodeLength: 0x7
93 ; OBJ-NEXT:]
94 ; OBJ:   }
95 ; OBJ:   InlineSiteEnd {
96 ; OBJ:   }
97 ; OBJ:   InlineSiteEnd {
98 ; OBJ:   }
99 ; OBJ:   ProcEnd {
100 ; OBJ:   }
101 ; OBJ: ]
103 ; ModuleID = 't.cpp'
104 source_filename = "t.cpp"
105 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
106 target triple = "x86_64-pc-windows-msvc19.0.24210"
108 @"\01?x@@3HC" = global i32 0, align 4, !dbg !0
110 ; Function Attrs: norecurse nounwind uwtable
111 define i32 @main() local_unnamed_addr #0 !dbg !12 {
112 entry:
113   %0 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !15, !tbaa !16
114   %add = add nsw i32 %0, 1, !dbg !15
115   store volatile i32 %add, i32* @"\01?x@@3HC", align 4, !dbg !15, !tbaa !16
116   %1 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !20, !tbaa !16
117   %add.i = add nsw i32 %1, 2, !dbg !20
118   store volatile i32 %add.i, i32* @"\01?x@@3HC", align 4, !dbg !20, !tbaa !16
119   %2 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !25, !tbaa !16
120   %add.i.i = add nsw i32 %2, 3, !dbg !25
121   store volatile i32 %add.i.i, i32* @"\01?x@@3HC", align 4, !dbg !25, !tbaa !16
122   %3 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !29, !tbaa !16
123   %add1.i = add nsw i32 %3, 2, !dbg !29
124   store volatile i32 %add1.i, i32* @"\01?x@@3HC", align 4, !dbg !29, !tbaa !16
125   %4 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !30, !tbaa !16
126   %add1 = add nsw i32 %4, 1, !dbg !30
127   store volatile i32 %add1, i32* @"\01?x@@3HC", align 4, !dbg !30, !tbaa !16
128   %5 = load volatile i32, i32* @"\01?x@@3HC", align 4, !dbg !31, !tbaa !16
129   ret i32 %5, !dbg !32
132 attributes #0 = { norecurse nounwind 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" "no-signed-zeros-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" }
134 !llvm.dbg.cu = !{!2}
135 !llvm.module.flags = !{!8, !9, !10}
136 !llvm.ident = !{!11}
138 !0 = distinct !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
139 !1 = !DIGlobalVariable(name: "x", linkageName: "\01?x@@3HC", scope: !2, file: !3, line: 1, type: !6, isLocal: false, isDefinition: true)
140 !2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, producer: "clang version 3.9.0 (trunk 275430) (llvm/trunk 275433)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5)
141 !3 = !DIFile(filename: "t.cpp", directory: "D:\5Csrc\5Cllvm\5Cbuild")
142 !4 = !{}
143 !5 = !{!0}
144 !6 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !7)
145 !7 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
146 !8 = !{i32 2, !"CodeView", i32 1}
147 !9 = !{i32 2, !"Debug Info Version", i32 3}
148 !10 = !{i32 1, !"PIC Level", i32 2}
149 !11 = !{!"clang version 3.9.0 (trunk 275430) (llvm/trunk 275433)"}
150 !12 = distinct !DISubprogram(name: "main", scope: !3, file: !3, line: 8, type: !13, isLocal: false, isDefinition: true, scopeLine: 8, flags: DIFlagPrototyped, isOptimized: true, unit: !2, retainedNodes: !4)
151 !13 = !DISubroutineType(types: !14)
152 !14 = !{!7}
153 !15 = !DILocation(line: 9, column: 5, scope: !12)
154 !16 = !{!17, !17, i64 0}
155 !17 = !{!"int", !18, i64 0}
156 !18 = !{!"omnipotent char", !19, i64 0}
157 !19 = !{!"Simple C++ TBAA"}
158 !20 = !DILocation(line: 4, column: 5, scope: !21, inlinedAt: !24)
159 !21 = distinct !DISubprogram(name: "g", linkageName: "\01?g@@YAXXZ", scope: !3, file: !3, line: 3, type: !22, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, unit: !2, retainedNodes: !4)
160 !22 = !DISubroutineType(types: !23)
161 !23 = !{null}
162 !24 = distinct !DILocation(line: 10, column: 3, scope: !12)
163 !25 = !DILocation(line: 2, column: 5, scope: !26, inlinedAt: !28)
164 !26 = distinct !DISubprogram(name: "f", linkageName: "\01?f@@YAXXZ", scope: !27, file: !27, line: 1, type: !22, isLocal: false, isDefinition: true, scopeLine: 1, flags: DIFlagPrototyped, isOptimized: true, unit: !2, retainedNodes: !4)
165 !27 = !DIFile(filename: "./t.h", directory: "D:\5Csrc\5Cllvm\5Cbuild")
166 !28 = distinct !DILocation(line: 5, column: 3, scope: !21, inlinedAt: !24)
167 !29 = !DILocation(line: 6, column: 5, scope: !21, inlinedAt: !24)
168 !30 = !DILocation(line: 11, column: 5, scope: !12)
169 !31 = !DILocation(line: 12, column: 10, scope: !12)
170 !32 = !DILocation(line: 12, column: 3, scope: !12)