diff options
Diffstat (limited to 'test/Transforms/SampleProfile/indirect-call.ll')
-rw-r--r-- | test/Transforms/SampleProfile/indirect-call.ll | 58 |
1 files changed, 38 insertions, 20 deletions
diff --git a/test/Transforms/SampleProfile/indirect-call.ll b/test/Transforms/SampleProfile/indirect-call.ll index 4647dd4212998..4101f6f492e53 100644 --- a/test/Transforms/SampleProfile/indirect-call.ll +++ b/test/Transforms/SampleProfile/indirect-call.ll @@ -12,7 +12,7 @@ define void @test(void ()*) !dbg !3 { ; CHECK-LABEL: @test_inline ; If the indirect call is promoted and inlined in profile, we should promote and inline it. -define void @test_inline(i64* (i32*)*, i32* %x) !dbg !3 { +define void @test_inline(i64* (i32*)*, i32* %x) !dbg !6 { %2 = alloca i64* (i32*)* store i64* (i32*)* %0, i64* (i32*)** %2 %3 = load i64* (i32*)*, i64* (i32*)** %2 @@ -25,14 +25,14 @@ define void @test_inline(i64* (i32*)*, i32* %x) !dbg !3 { ; CHECK-NOT: call ; CHECK: if.false.orig_indirect2: ; CHECK: call - call i64* %3(i32* %x), !dbg !5 + call i64* %3(i32* %x), !dbg !7 ret void } ; CHECK-LABEL: @test_inline_strip ; If the indirect call is promoted and inlined in profile, and the callee name ; is stripped we should promote and inline it. -define void @test_inline_strip(i64* (i32*)*, i32* %x) !dbg !3 { +define void @test_inline_strip(i64* (i32*)*, i32* %x) !dbg !8 { %2 = alloca i64* (i32*)* store i64* (i32*)* %0, i64* (i32*)** %2 %3 = load i64* (i32*)*, i64* (i32*)** %2 @@ -41,74 +41,74 @@ define void @test_inline_strip(i64* (i32*)*, i32* %x) !dbg !3 { ; CHECK-NOT: call ; CHECK: if.false.orig_indirect: ; CHECK: call - call i64* %3(i32* %x), !dbg !5 + call i64* %3(i32* %x), !dbg !9 ret void } ; CHECK-LABEL: @test_inline_strip_conflict ; If the indirect call is promoted and inlined in profile, and the callee name ; is stripped, but have more than 1 potential match, we should not promote. -define void @test_inline_strip_conflict(i64* (i32*)*, i32* %x) !dbg !3 { +define void @test_inline_strip_conflict(i64* (i32*)*, i32* %x) !dbg !10 { %2 = alloca i64* (i32*)* store i64* (i32*)* %0, i64* (i32*)** %2 %3 = load i64* (i32*)*, i64* (i32*)** %2 ; CHECK-NOT: if.true.direct_targ: - call i64* %3(i32* %x), !dbg !5 + call i64* %3(i32* %x), !dbg !11 ret void } ; CHECK-LABEL: @test_noinline ; If the indirect call target is not available, we should not promote it. -define void @test_noinline(void ()*) !dbg !3 { +define void @test_noinline(void ()*) !dbg !12 { %2 = alloca void ()* store void ()* %0, void ()** %2 %3 = load void ()*, void ()** %2 ; CHECK-NOT: icmp ; CHECK: call - call void %3(), !dbg !5 + call void %3(), !dbg !13 ret void } @x = global i32 0, align 4 -define i32* @foo_inline1(i32* %x) !dbg !3 { +define i32* @foo_inline1(i32* %x) !dbg !14 { ret i32* %x } -define i32* @foo_inline_strip.suffix(i32* %x) !dbg !3 { +define i32* @foo_inline_strip.suffix(i32* %x) !dbg !15 { ret i32* %x } -define i32* @foo_inline_strip_conflict.suffix1(i32* %x) !dbg !3 { +define i32* @foo_inline_strip_conflict.suffix1(i32* %x) !dbg !16 { ret i32* %x } -define i32* @foo_inline_strip_conflict.suffix2(i32* %x) !dbg !3 { +define i32* @foo_inline_strip_conflict.suffix2(i32* %x) !dbg !17 { ret i32* %x } -define i32* @foo_inline_strip_conflict.suffix3(i32* %x) !dbg !3 { +define i32* @foo_inline_strip_conflict.suffix3(i32* %x) !dbg !18 { ret i32* %x } -define i32* @foo_inline2(i32* %x) !dbg !3 { +define i32* @foo_inline2(i32* %x) !dbg !19 { ret i32* %x } -define i32 @foo_noinline(i32 %x) !dbg !3 { +define i32 @foo_noinline(i32 %x) !dbg !20 { ret i32 %x } -define void @foo_direct() !dbg !3 { +define void @foo_direct() !dbg !21 { ret void } ; CHECK-LABEL: @test_direct ; We should not promote a direct call. -define void @test_direct() !dbg !3 { +define void @test_direct() !dbg !22 { ; CHECK-NOT: icmp ; CHECK: call - call void @foo_alias(), !dbg !5 + call void @foo_alias(), !dbg !23 ret void } @@ -120,7 +120,25 @@ define void @test_direct() !dbg !3 { !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1) !1 = !DIFile(filename: "test.cc", directory: "/") !2 = !{i32 2, !"Debug Info Version", i32 3} -!3 = distinct !DISubprogram(name: "test", scope: !1, file: !1, line: 1, unit: !0) -!4 = !DILocation(line: 5, scope: !3) +!3 = distinct !DISubprogram(name: "test", scope: !1, file: !1, line: 3, unit: !0) +!4 = !DILocation(line: 4, scope: !3) !5 = !DILocation(line: 6, scope: !3) ; CHECK: ![[PROF]] = !{!"VP", i32 0, i64 3457, i64 9191153033785521275, i64 2059, i64 -1069303473483922844, i64 1398} +!6 = distinct !DISubprogram(name: "test_inline", scope: !1, file: !1, line: 6, unit: !0) +!7 = !DILocation(line: 7, scope: !6) +!8 = distinct !DISubprogram(name: "test_inline_strip", scope: !1, file: !1, line: 8, unit: !0) +!9 = !DILocation(line: 9, scope: !8) +!10 = distinct !DISubprogram(name: "test_inline_strip_conflict", scope: !1, file: !1, line: 10, unit: !0) +!11 = !DILocation(line: 11, scope: !10) +!12 = distinct !DISubprogram(name: "test_noinline", scope: !1, file: !1, line: 12, unit: !0) +!13 = !DILocation(line: 13, scope: !12) +!14 = distinct !DISubprogram(name: "foo_inline1", scope: !1, file: !1, line: 11, unit: !0) +!15 = distinct !DISubprogram(name: "foo_inline_strip.suffix", scope: !1, file: !1, line: 1, unit: !0) +!16 = distinct !DISubprogram(name: "foo_inline_strip_conflict.suffix1", scope: !1, file: !1, line: 1, unit: !0) +!17 = distinct !DISubprogram(name: "foo_inline_strip_conflict.suffix2", scope: !1, file: !1, line: 1, unit: !0) +!18 = distinct !DISubprogram(name: "foo_inline_strip_conflict.suffix3", scope: !1, file: !1, line: 1, unit: !0) +!19 = distinct !DISubprogram(name: "foo_inline2", scope: !1, file: !1, line: 19, unit: !0) +!20 = distinct !DISubprogram(name: "foo_noinline", scope: !1, file: !1, line: 20, unit: !0) +!21 = distinct !DISubprogram(name: "foo_direct", scope: !1, file: !1, line: 21, unit: !0) +!22 = distinct !DISubprogram(name: "test_direct", scope: !1, file: !1, line: 22, unit: !0) +!23 = !DILocation(line: 23, scope: !22) |