140 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs2; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost < %s | FileCheck %s3 4; This test checks that debug info is recognized as able to be extracted along5; with the other instructions, but is not included in the consolidated function.6 7define void @function1() !dbg !6 {8entry:9 %a = alloca i32, align 4, !dbg !1710 call void @llvm.dbg.value(metadata ptr %a, metadata !9, metadata !DIExpression()), !dbg !1711 %b = alloca i32, align 4, !dbg !1812 call void @llvm.dbg.value(metadata ptr %b, metadata !11, metadata !DIExpression()), !dbg !1813 %c = alloca i32, align 4, !dbg !1914 call void @llvm.dbg.value(metadata ptr %c, metadata !12, metadata !DIExpression()), !dbg !1915 store i32 2, ptr %a, align 4, !dbg !2016 store i32 3, ptr %b, align 4, !dbg !2117 store i32 4, ptr %c, align 4, !dbg !2218 %al = load i32, ptr %a, align 4, !dbg !2319 call void @llvm.dbg.value(metadata i32 %al, metadata !13, metadata !DIExpression()), !dbg !2320 %bl = load i32, ptr %b, align 4, !dbg !2421 call void @llvm.dbg.value(metadata i32 %bl, metadata !15, metadata !DIExpression()), !dbg !2422 %cl = load i32, ptr %c, align 4, !dbg !2523 call void @llvm.dbg.value(metadata i32 %cl, metadata !16, metadata !DIExpression()), !dbg !2524 ret void, !dbg !2625}26 27define void @function2() !dbg !27 {28entry:29 %a = alloca i32, align 4, !dbg !3530 call void @llvm.dbg.value(metadata ptr %a, metadata !29, metadata !DIExpression()), !dbg !3531 %b = alloca i32, align 4, !dbg !3632 call void @llvm.dbg.value(metadata ptr %b, metadata !30, metadata !DIExpression()), !dbg !3633 %c = alloca i32, align 4, !dbg !3734 call void @llvm.dbg.value(metadata ptr %c, metadata !31, metadata !DIExpression()), !dbg !3735 store i32 2, ptr %a, align 4, !dbg !3836 store i32 3, ptr %b, align 4, !dbg !3937 store i32 4, ptr %c, align 4, !dbg !4038 %al = load i32, ptr %a, align 4, !dbg !4139 call void @llvm.dbg.value(metadata i32 %al, metadata !32, metadata !DIExpression()), !dbg !4140 %bl = load i32, ptr %b, align 4, !dbg !4241 call void @llvm.dbg.value(metadata i32 %bl, metadata !33, metadata !DIExpression()), !dbg !4242 %cl = load i32, ptr %c, align 4, !dbg !4343 call void @llvm.dbg.value(metadata i32 %cl, metadata !34, metadata !DIExpression()), !dbg !4344 ret void, !dbg !4445}46 47 48; Function Attrs: nounwind readnone speculatable willreturn49declare void @llvm.dbg.value(metadata, metadata, metadata) #050 51attributes #0 = { nounwind readnone speculatable willreturn }52 53!llvm.dbg.cu = !{!0}54!llvm.debugify = !{!3, !4}55!llvm.module.flags = !{!5}56 57!0 = distinct !DICompileUnit(language: DW_LANG_C, file: !1, producer: "debugify", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)58!1 = !DIFile(filename: "legal-debug.ll", directory: "/")59!2 = !{}60!3 = !{i32 20}61!4 = !{i32 12}62!5 = !{i32 2, !"Debug Info Version", i32 3}63!6 = distinct !DISubprogram(name: "function1", linkageName: "function1", scope: null, file: !1, line: 1, type: !7, scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !8)64!7 = !DISubroutineType(types: !2)65!8 = !{!9, !11, !12, !13, !15, !16}66!9 = !DILocalVariable(name: "1", scope: !6, file: !1, line: 1, type: !10)67!10 = !DIBasicType(name: "ty64", size: 64, encoding: DW_ATE_unsigned)68!11 = !DILocalVariable(name: "2", scope: !6, file: !1, line: 2, type: !10)69!12 = !DILocalVariable(name: "3", scope: !6, file: !1, line: 3, type: !10)70!13 = !DILocalVariable(name: "4", scope: !6, file: !1, line: 7, type: !14)71!14 = !DIBasicType(name: "ty32", size: 32, encoding: DW_ATE_unsigned)72!15 = !DILocalVariable(name: "5", scope: !6, file: !1, line: 8, type: !14)73!16 = !DILocalVariable(name: "6", scope: !6, file: !1, line: 9, type: !14)74!17 = !DILocation(line: 1, column: 1, scope: !6)75!18 = !DILocation(line: 2, column: 1, scope: !6)76!19 = !DILocation(line: 3, column: 1, scope: !6)77!20 = !DILocation(line: 4, column: 1, scope: !6)78!21 = !DILocation(line: 5, column: 1, scope: !6)79!22 = !DILocation(line: 6, column: 1, scope: !6)80!23 = !DILocation(line: 7, column: 1, scope: !6)81!24 = !DILocation(line: 8, column: 1, scope: !6)82!25 = !DILocation(line: 9, column: 1, scope: !6)83!26 = !DILocation(line: 10, column: 1, scope: !6)84!27 = distinct !DISubprogram(name: "function2", linkageName: "function2", scope: null, file: !1, line: 11, type: !7, scopeLine: 11, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !28)85!28 = !{!29, !30, !31, !32, !33, !34}86!29 = !DILocalVariable(name: "7", scope: !27, file: !1, line: 11, type: !10)87!30 = !DILocalVariable(name: "8", scope: !27, file: !1, line: 12, type: !10)88!31 = !DILocalVariable(name: "9", scope: !27, file: !1, line: 13, type: !10)89!32 = !DILocalVariable(name: "10", scope: !27, file: !1, line: 17, type: !14)90!33 = !DILocalVariable(name: "11", scope: !27, file: !1, line: 18, type: !14)91!34 = !DILocalVariable(name: "12", scope: !27, file: !1, line: 19, type: !14)92!35 = !DILocation(line: 11, column: 1, scope: !27)93!36 = !DILocation(line: 12, column: 1, scope: !27)94!37 = !DILocation(line: 13, column: 1, scope: !27)95!38 = !DILocation(line: 14, column: 1, scope: !27)96!39 = !DILocation(line: 15, column: 1, scope: !27)97!40 = !DILocation(line: 16, column: 1, scope: !27)98!41 = !DILocation(line: 17, column: 1, scope: !27)99!42 = !DILocation(line: 18, column: 1, scope: !27)100!43 = !DILocation(line: 19, column: 1, scope: !27)101!44 = !DILocation(line: 20, column: 1, scope: !27)102; CHECK-LABEL: @function1(103; CHECK-NEXT: entry:104; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4, !dbg [[DBG17:![0-9]+]]105; CHECK-NEXT: #dbg_value(ptr [[A]], [[META9:![0-9]+]], !DIExpression(), [[DBG17]])106; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4, !dbg [[DBG18:![0-9]+]]107; CHECK-NEXT: #dbg_value(ptr [[B]], [[META11:![0-9]+]], !DIExpression(), [[DBG18]])108; CHECK-NEXT: [[C:%.*]] = alloca i32, align 4, !dbg [[DBG19:![0-9]+]]109; CHECK-NEXT: #dbg_value(ptr [[C]], [[META12:![0-9]+]], !DIExpression(), [[DBG19]])110; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]]), !dbg [[DBG20:![0-9]+]]111; CHECK-NEXT: ret void, !dbg [[DBG21:![0-9]+]]112;113;114; CHECK-LABEL: @function2(115; CHECK-NEXT: entry:116; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4, !dbg [[DBG30:![0-9]+]]117; CHECK-NEXT: #dbg_value(ptr [[A]], [[META24:![0-9]+]], !DIExpression(), [[DBG30]])118; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4, !dbg [[DBG31:![0-9]+]]119; CHECK-NEXT: #dbg_value(ptr [[B]], [[META25:![0-9]+]], !DIExpression(), [[DBG31]])120; CHECK-NEXT: [[C:%.*]] = alloca i32, align 4, !dbg [[DBG32:![0-9]+]]121; CHECK-NEXT: #dbg_value(ptr [[C]], [[META26:![0-9]+]], !DIExpression(), [[DBG32]])122; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]]), !dbg [[DBG33:![0-9]+]]123; CHECK-NEXT: ret void, !dbg [[DBG34:![0-9]+]]124;125;126; CHECK-LABEL: define {{.+}} @outlined_ir_func_0(127; CHECK-NEXT: newFuncRoot:128; CHECK-NEXT: br label [[ENTRY_TO_OUTLINE:%.*]]129; CHECK: entry_to_outline:130; CHECK-NEXT: store i32 2, ptr [[TMP0:%.*]], align 4131; CHECK-NEXT: store i32 3, ptr [[TMP1:%.*]], align 4132; CHECK-NEXT: store i32 4, ptr [[TMP2:%.*]], align 4133; CHECK-NEXT: [[AL:%.*]] = load i32, ptr [[TMP0]], align 4134; CHECK-NEXT: [[BL:%.*]] = load i32, ptr [[TMP1]], align 4135; CHECK-NEXT: [[CL:%.*]] = load i32, ptr [[TMP2]], align 4136; CHECK-NEXT: br label [[ENTRY_AFTER_OUTLINE_EXITSTUB:%.*]]137; CHECK: entry_after_outline.exitStub:138; CHECK-NEXT: ret void139;140