| target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-unknown-linux-gnu" |
| |
| @factor = dso_local global i32 3 |
| |
| define dso_local i32 @funcA.llvm.1000(i32 %x) !dbg !12 { |
| entry: |
| call void @llvm.dbg.value(metadata i32 %x, metadata !16, metadata !DIExpression()), !dbg !18 |
| call void @llvm.dbg.value(metadata i32 %x, metadata !19, metadata !DIExpression()), !dbg !22 |
| %0 = load volatile i32, i32* @factor, align 4, !dbg !24, !tbaa !25 |
| call void @llvm.dbg.value(metadata i32 %0, metadata !29, metadata !DIExpression()), !dbg !32 |
| %cmp.i.i = icmp slt i32 %0, 3, !dbg !34 |
| %add.i.i = add nsw i32 %0, 3, !dbg !36 |
| %retval.0.i.i = select i1 %cmp.i.i, i32 %0, i32 %add.i.i, !dbg !36 |
| %sub.i = sub nsw i32 %x, %retval.0.i.i, !dbg !37 |
| call void @llvm.dbg.value(metadata i32 %sub.i, metadata !19, metadata !DIExpression()), !dbg !22 |
| call void @llvm.dbg.value(metadata i32 %sub.i, metadata !17, metadata !DIExpression()), !dbg !18 |
| ret i32 %sub.i, !dbg !38 |
| } |
| |
| define dso_local i32 @funcLeaf(i32 %x) !dbg !20 { |
| entry: |
| call void @llvm.dbg.value(metadata i32 %x, metadata !19, metadata !DIExpression()), !dbg !39 |
| %0 = load volatile i32, i32* @factor, align 4, !dbg !40, !tbaa !25 |
| call void @llvm.dbg.value(metadata i32 %0, metadata !29, metadata !DIExpression()), !dbg !41 |
| %cmp.i = icmp slt i32 %0, 3, !dbg !43 |
| %add.i = add nsw i32 %0, 3, !dbg !44 |
| %retval.0.i = select i1 %cmp.i, i32 %0, i32 %add.i, !dbg !44 |
| %sub = sub nsw i32 %x, %retval.0.i, !dbg !45 |
| call void @llvm.dbg.value(metadata i32 %sub, metadata !19, metadata !DIExpression()), !dbg !39 |
| ret i32 %sub, !dbg !46 |
| } |
| |
| define dso_local i32 @fib(i32 %x) !dbg !30 { |
| entry: |
| call void @llvm.dbg.value(metadata i32 %x, metadata !29, metadata !DIExpression()), !dbg !47 |
| %cmp = icmp slt i32 %x, 3, !dbg !48 |
| %add = add nsw i32 %x, 3, !dbg !49 |
| %retval.0 = select i1 %cmp, i32 %x, i32 %add, !dbg !49 |
| ret i32 %retval.0, !dbg !50 |
| } |
| |
| declare void @llvm.dbg.value(metadata, metadata, metadata) #2 |
| |
| !llvm.dbg.cu = !{!2} |
| !llvm.module.flags = !{!8, !9, !10} |
| |
| !1 = distinct !DIGlobalVariable(name: "factor", scope: !2, file: !3, line: 3, type: !6, isLocal: false, isDefinition: true) |
| !2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, emissionKind: FullDebug) |
| !3 = !DIFile(filename: "test.c", directory: "test") |
| !4 = !{} |
| !6 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !7) |
| !7 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) |
| !8 = !{i32 7, !"Dwarf Version", i32 4} |
| !9 = !{i32 2, !"Debug Info Version", i32 3} |
| !10 = !{i32 1, !"wchar_size", i32 4} |
| !12 = distinct !DISubprogram(name: "funcA.llvm.1000", scope: !3, file: !3, line: 6, type: !13, scopeLine: 6, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !15) |
| !13 = !DISubroutineType(types: !14) |
| !14 = !{!7, !7} |
| !15 = !{!16, !17} |
| !16 = !DILocalVariable(name: "x", arg: 1, scope: !12, file: !3, line: 6, type: !7) |
| !17 = !DILocalVariable(name: "r", scope: !12, file: !3, line: 7, type: !7) |
| !18 = !DILocation(line: 0, scope: !12) |
| !19 = !DILocalVariable(name: "x", arg: 1, scope: !20, file: !3, line: 22, type: !7) |
| !20 = distinct !DISubprogram(name: "funcLeaf", scope: !3, file: !3, line: 22, type: !13, scopeLine: 23, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !21) |
| !21 = !{!19} |
| !22 = !DILocation(line: 0, scope: !20, inlinedAt: !23) |
| !23 = distinct !DILocation(line: 7, column: 11, scope: !12) |
| !24 = !DILocation(line: 24, column: 12, scope: !20, inlinedAt: !23) |
| !25 = !{!26, !26, i64 0} |
| !26 = !{!"int", !27, i64 0} |
| !27 = !{!"omnipotent char", !28, i64 0} |
| !28 = !{!"Simple C/C++ TBAA"} |
| !29 = !DILocalVariable(name: "x", arg: 1, scope: !30, file: !3, line: 11, type: !7) |
| !30 = distinct !DISubprogram(name: "fib", scope: !3, file: !3, line: 11, type: !13, scopeLine: 12, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !2, retainedNodes: !31) |
| !31 = !{!29} |
| !32 = !DILocation(line: 0, scope: !30, inlinedAt: !33) |
| !33 = distinct !DILocation(line: 24, column: 8, scope: !20, inlinedAt: !23) |
| !34 = !DILocation(line: 13, column: 9, scope: !35, inlinedAt: !33) |
| !35 = distinct !DILexicalBlock(scope: !30, file: !3, line: 13, column: 7) |
| !36 = !DILocation(line: 13, column: 7, scope: !30, inlinedAt: !33) |
| !37 = !DILocation(line: 24, column: 5, scope: !20, inlinedAt: !23) |
| !38 = !DILocation(line: 8, column: 3, scope: !12) |
| !39 = !DILocation(line: 0, scope: !20) |
| !40 = !DILocation(line: 24, column: 12, scope: !20) |
| !41 = !DILocation(line: 0, scope: !30, inlinedAt: !42) |
| !42 = distinct !DILocation(line: 24, column: 8, scope: !20) |
| !43 = !DILocation(line: 13, column: 9, scope: !35, inlinedAt: !42) |
| !44 = !DILocation(line: 13, column: 7, scope: !30, inlinedAt: !42) |
| !45 = !DILocation(line: 24, column: 5, scope: !20) |
| !46 = !DILocation(line: 25, column: 3, scope: !20) |
| !47 = !DILocation(line: 0, scope: !30) |
| !48 = !DILocation(line: 13, column: 9, scope: !35) |
| !49 = !DILocation(line: 13, column: 7, scope: !30) |
| !50 = !DILocation(line: 19, column: 1, scope: !30) |