84 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes=inline -S | FileCheck %s3 4; When inlining we need to update DILocation recursively for the followup5; metadata when updating llvm.loop metadata.6 7define void @a() !dbg !3 {8; CHECK-LABEL: define void @a(9; CHECK-SAME: ) !dbg [[DBG3:![0-9]+]] {10; CHECK-NEXT: [[ENTRY:.*:]]11; CHECK-NEXT: br label %[[FOR_BODY:.*]]12; CHECK: [[FOR_BODY]]:13; CHECK-NEXT: br label %[[FOR_BODY]], !llvm.loop [[LOOP6:![0-9]+]]14;15entry:16 br label %for.body17 18for.body: ; preds = %for.body, %entry19 br label %for.body, !llvm.loop !620}21 22define void @f() !dbg !17 {23; CHECK-LABEL: define void @f(24; CHECK-SAME: ) !dbg [[DBG17:![0-9]+]] {25; CHECK-NEXT: [[ENTRY:.*:]]26; CHECK-NEXT: br label %[[A_EXIT:.*]]27; CHECK: [[A_EXIT]]:28; CHECK-NEXT: br label %[[A_EXIT]], !llvm.loop [[LOOP18:![0-9]+]]29; CHECK: [[A_EXIT1:.*:]]30; CHECK-NEXT: ret void31;32entry:33 call void @a(), !dbg !1834 ret void35}36 37!llvm.dbg.cu = !{!0}38!llvm.module.flags = !{!2}39 40!0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: NoDebug, splitDebugInlining: false, nameTableKind: None)41!1 = !DIFile(filename: "foo.c", directory: "/")42!2 = !{i32 2, !"Debug Info Version", i32 3}43!3 = distinct !DISubprogram(name: "a", scope: !1, file: !1, line: 3, type: !4, scopeLine: 3, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0)44!4 = !DISubroutineType(types: !5)45!5 = !{}46!6 = distinct !{!6, !7, !8, !9, !10, !11}47!7 = !DILocation(line: 6, column: 3, scope: !3)48!8 = !DILocation(line: 7, column: 22, scope: !3)49!9 = !{!"llvm.loop.mustprogress"}50!10 = !{!"llvm.loop.distribute.enable", i1 true}51!11 = !{!"llvm.loop.distribute.followup_all", !7, !8, !9, !12, !13, !14}52!12 = !{!"llvm.loop.vectorize.width", i32 8}53!13 = !{!"llvm.loop.vectorize.enable", i1 true}54!14 = !{!"llvm.loop.vectorize.followup_all", !7, !8, !9, !15, !16}55!15 = !{!"llvm.loop.isvectorized"}56!16 = !{!"llvm.loop.unroll.count", i32 1}57!17 = distinct !DISubprogram(name: "f", scope: !1, file: !1, line: 9, type: !4, scopeLine: 9, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0)58!18 = !DILocation(line: 9, column: 12, scope: !17)59;.60; CHECK: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C11, file: [[META1:![0-9]+]], producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: NoDebug, splitDebugInlining: false, nameTableKind: None)61; CHECK: [[META1]] = !DIFile(filename: "{{.*}}foo.c", directory: {{.*}})62; CHECK: [[DBG3]] = distinct !DISubprogram(name: "a", scope: [[META1]], file: [[META1]], line: 3, type: [[META4:![0-9]+]], scopeLine: 3, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: [[META0]])63; CHECK: [[META4]] = !DISubroutineType(types: [[META5:![0-9]+]])64; CHECK: [[META5]] = !{}65; CHECK: [[LOOP6]] = distinct !{[[LOOP6]], [[META7:![0-9]+]], [[META8:![0-9]+]], [[META9:![0-9]+]], [[META10:![0-9]+]], [[META11:![0-9]+]]}66; CHECK: [[META7]] = !DILocation(line: 6, column: 3, scope: [[DBG3]])67; CHECK: [[META8]] = !DILocation(line: 7, column: 22, scope: [[DBG3]])68; CHECK: [[META9]] = !{!"llvm.loop.mustprogress"}69; CHECK: [[META10]] = !{!"llvm.loop.distribute.enable", i1 true}70; CHECK: [[META11]] = !{!"llvm.loop.distribute.followup_all", [[META7]], [[META8]], [[META9]], [[META12:![0-9]+]], [[META13:![0-9]+]], [[META14:![0-9]+]]}71; CHECK: [[META12]] = !{!"llvm.loop.vectorize.width", i32 8}72; CHECK: [[META13]] = !{!"llvm.loop.vectorize.enable", i1 true}73; CHECK: [[META14]] = !{!"llvm.loop.vectorize.followup_all", [[META7]], [[META8]], [[META9]], [[META15:![0-9]+]], [[META16:![0-9]+]]}74; CHECK: [[META15]] = !{!"llvm.loop.isvectorized"}75; CHECK: [[META16]] = !{!"llvm.loop.unroll.count", i32 1}76; CHECK: [[DBG17]] = distinct !DISubprogram(name: "f", scope: [[META1]], file: [[META1]], line: 9, type: [[META4]], scopeLine: 9, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: [[META0]])77; CHECK: [[LOOP18]] = distinct !{[[LOOP18]], [[META19:![0-9]+]], [[META21:![0-9]+]], [[META9]], [[META10]], [[META22:![0-9]+]]}78; CHECK: [[META19]] = !DILocation(line: 6, column: 3, scope: [[DBG3]], inlinedAt: [[META20:![0-9]+]])79; CHECK: [[META20]] = distinct !DILocation(line: 9, column: 12, scope: [[DBG17]])80; CHECK: [[META21]] = !DILocation(line: 7, column: 22, scope: [[DBG3]], inlinedAt: [[META20]])81; CHECK: [[META22]] = !{!"llvm.loop.distribute.followup_all", [[META19]], [[META21]], [[META9]], [[META12]], [[META13]], [[META23:![0-9]+]]}82; CHECK: [[META23]] = !{!"llvm.loop.vectorize.followup_all", [[META19]], [[META21]], [[META9]], [[META15]], [[META16]]}83;.84