diff options
Diffstat (limited to 'test/Analysis/BlockFrequencyInfo')
8 files changed, 79 insertions, 39 deletions
diff --git a/test/Analysis/BlockFrequencyInfo/bad_input.ll b/test/Analysis/BlockFrequencyInfo/bad_input.ll index bcdc1e6..da62dca 100644 --- a/test/Analysis/BlockFrequencyInfo/bad_input.ll +++ b/test/Analysis/BlockFrequencyInfo/bad_input.ll @@ -23,7 +23,7 @@ for.end: ret void } -!0 = metadata !{metadata !"branch_weights", i32 0, i32 3} +!0 = !{!"branch_weights", i32 0, i32 3} ; CHECK-LABEL: Printing analysis {{.*}} for function 'infinite_loop' ; CHECK-NEXT: block-frequency-info: infinite_loop @@ -47,4 +47,4 @@ for.end: ret void } -!1 = metadata !{metadata !"branch_weights", i32 1, i32 1} +!1 = !{!"branch_weights", i32 1, i32 1} diff --git a/test/Analysis/BlockFrequencyInfo/basic.ll b/test/Analysis/BlockFrequencyInfo/basic.ll index 006e6ab..1c24176 100644 --- a/test/Analysis/BlockFrequencyInfo/basic.ll +++ b/test/Analysis/BlockFrequencyInfo/basic.ll @@ -47,7 +47,7 @@ exit: ret i32 %result } -!0 = metadata !{metadata !"branch_weights", i32 64, i32 4} +!0 = !{!"branch_weights", i32 64, i32 4} define i32 @test3(i32 %i, i32 %a, i32 %b, i32 %c, i32 %d, i32 %e) { ; CHECK-LABEL: Printing analysis {{.*}} for function 'test3': @@ -90,7 +90,7 @@ exit: ret i32 %result } -!1 = metadata !{metadata !"branch_weights", i32 4, i32 4, i32 64, i32 4, i32 4} +!1 = !{!"branch_weights", i32 4, i32 4, i32 64, i32 4, i32 4} define void @nested_loops(i32 %a) { ; CHECK-LABEL: Printing analysis {{.*}} for function 'nested_loops': @@ -138,4 +138,4 @@ for.end13: declare void @g(i32) -!2 = metadata !{metadata !"branch_weights", i32 1, i32 4000} +!2 = !{!"branch_weights", i32 1, i32 4000} diff --git a/test/Analysis/BlockFrequencyInfo/double_backedge.ll b/test/Analysis/BlockFrequencyInfo/double_backedge.ll index df8217c..597bf83 100644 --- a/test/Analysis/BlockFrequencyInfo/double_backedge.ll +++ b/test/Analysis/BlockFrequencyInfo/double_backedge.ll @@ -23,5 +23,5 @@ exit: ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]] ret void } -!0 = metadata !{metadata !"branch_weights", i32 1, i32 9} -!1 = metadata !{metadata !"branch_weights", i32 4, i32 5} +!0 = !{!"branch_weights", i32 1, i32 9} +!1 = !{!"branch_weights", i32 4, i32 5} diff --git a/test/Analysis/BlockFrequencyInfo/double_exit.ll b/test/Analysis/BlockFrequencyInfo/double_exit.ll index 75f664d..3063ba7 100644 --- a/test/Analysis/BlockFrequencyInfo/double_exit.ll +++ b/test/Analysis/BlockFrequencyInfo/double_exit.ll @@ -66,9 +66,9 @@ exit: ret i32 %Return.2 } -!0 = metadata !{metadata !"branch_weights", i32 1, i32 3} -!1 = metadata !{metadata !"branch_weights", i32 4, i32 1} -!2 = metadata !{metadata !"branch_weights", i32 2, i32 1} +!0 = !{!"branch_weights", i32 1, i32 3} +!1 = !{!"branch_weights", i32 4, i32 1} +!2 = !{!"branch_weights", i32 2, i32 1} declare i32 @c2(i32, i32) declare i32 @logic2(i32, i32, i32) @@ -159,7 +159,7 @@ exit: ret i32 %Return.0 } -!3 = metadata !{metadata !"branch_weights", i32 1, i32 1} +!3 = !{!"branch_weights", i32 1, i32 1} declare i32 @c3(i32, i32, i32) declare i32 @logic3(i32, i32, i32, i32) diff --git a/test/Analysis/BlockFrequencyInfo/extremely-likely-loop-successor.ll b/test/Analysis/BlockFrequencyInfo/extremely-likely-loop-successor.ll new file mode 100644 index 0000000..e55deaf --- /dev/null +++ b/test/Analysis/BlockFrequencyInfo/extremely-likely-loop-successor.ll @@ -0,0 +1,40 @@ +; RUN: opt < %s -analyze -block-freq | FileCheck %s + +; PR21622: Check for a crasher when the sum of exits to the same successor of a +; loop overflows. + +; CHECK-LABEL: Printing analysis {{.*}} for function 'extremely_likely_loop_successor': +; CHECK-NEXT: block-frequency-info: extremely_likely_loop_successor +define void @extremely_likely_loop_successor() { +; CHECK-NEXT: entry: float = 1.0, int = [[ENTRY:[0-9]+]] +entry: + br label %loop + +; CHECK-NEXT: loop: float = 1.0, +loop: + %exit.1.cond = call i1 @foo() + br i1 %exit.1.cond, label %exit, label %loop.2, !prof !0 + +; CHECK-NEXT: loop.2: float = 0.0000000 +loop.2: + %exit.2.cond = call i1 @foo() + br i1 %exit.2.cond, label %exit, label %loop.3, !prof !0 + +; CHECK-NEXT: loop.3: float = 0.0000000 +loop.3: + %exit.3.cond = call i1 @foo() + br i1 %exit.3.cond, label %exit, label %loop.4, !prof !0 + +; CHECK-NEXT: loop.4: float = 0.0, +loop.4: + %exit.4.cond = call i1 @foo() + br i1 %exit.4.cond, label %exit, label %loop, !prof !0 + +; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]] +exit: + ret void +} + +declare i1 @foo() + +!0 = !{!"branch_weights", i32 4294967295, i32 1} diff --git a/test/Analysis/BlockFrequencyInfo/irreducible.ll b/test/Analysis/BlockFrequencyInfo/irreducible.ll index af4ad15..b275aae 100644 --- a/test/Analysis/BlockFrequencyInfo/irreducible.ll +++ b/test/Analysis/BlockFrequencyInfo/irreducible.ll @@ -31,8 +31,8 @@ return: ret void } -!0 = metadata !{metadata !"branch_weights", i32 1, i32 7} -!1 = metadata !{metadata !"branch_weights", i32 3, i32 4} +!0 = !{!"branch_weights", i32 1, i32 7} +!1 = !{!"branch_weights", i32 3, i32 4} ; Irreducible control flow ; ======================== @@ -112,7 +112,7 @@ exit: ret void } -!2 = metadata !{metadata !"branch_weights", i32 3, i32 1} +!2 = !{!"branch_weights", i32 3, i32 1} ; Testcase #2 ; =========== @@ -156,7 +156,7 @@ exit: ret void } -!3 = metadata !{metadata !"branch_weights", i32 2, i32 2, i32 2} +!3 = !{!"branch_weights", i32 2, i32 2, i32 2} ; A true loop with irreducible control flow inside. define void @loop_around_irreducible(i1 %x) { @@ -186,8 +186,8 @@ exit: ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]] ret void } -!4 = metadata !{metadata !"branch_weights", i32 1, i32 1} -!5 = metadata !{metadata !"branch_weights", i32 3, i32 1} +!4 = !{!"branch_weights", i32 1, i32 1} +!5 = !{!"branch_weights", i32 3, i32 1} ; Two unrelated irreducible SCCs. define void @two_sccs(i1 %x) { @@ -225,9 +225,9 @@ exit: ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]] ret void } -!6 = metadata !{metadata !"branch_weights", i32 3, i32 1} -!7 = metadata !{metadata !"branch_weights", i32 1, i32 1} -!8 = metadata !{metadata !"branch_weights", i32 4, i32 1} +!6 = !{!"branch_weights", i32 3, i32 1} +!7 = !{!"branch_weights", i32 1, i32 1} +!8 = !{!"branch_weights", i32 4, i32 1} ; A true loop inside irreducible control flow. define void @loop_inside_irreducible(i1 %x) { @@ -257,9 +257,9 @@ exit: ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]] ret void } -!9 = metadata !{metadata !"branch_weights", i32 1, i32 1} -!10 = metadata !{metadata !"branch_weights", i32 3, i32 1} -!11 = metadata !{metadata !"branch_weights", i32 2, i32 1} +!9 = !{!"branch_weights", i32 1, i32 1} +!10 = !{!"branch_weights", i32 3, i32 1} +!11 = !{!"branch_weights", i32 2, i32 1} ; Irreducible control flow in a branch that's in a true loop. define void @loop_around_branch_with_irreducible(i1 %x) { @@ -301,8 +301,8 @@ exit: ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]] ret void } -!12 = metadata !{metadata !"branch_weights", i32 3, i32 1} -!13 = metadata !{metadata !"branch_weights", i32 1, i32 1} +!12 = !{!"branch_weights", i32 3, i32 1} +!13 = !{!"branch_weights", i32 1, i32 1} ; Irreducible control flow between two true loops. define void @loop_around_branch_with_irreducible_around_loop(i1 %x) { @@ -348,10 +348,10 @@ exit: ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]] ret void } -!14 = metadata !{metadata !"branch_weights", i32 2, i32 1} -!15 = metadata !{metadata !"branch_weights", i32 1, i32 1} -!16 = metadata !{metadata !"branch_weights", i32 3, i32 1} -!17 = metadata !{metadata !"branch_weights", i32 4, i32 1} +!14 = !{!"branch_weights", i32 2, i32 1} +!15 = !{!"branch_weights", i32 1, i32 1} +!16 = !{!"branch_weights", i32 3, i32 1} +!17 = !{!"branch_weights", i32 4, i32 1} ; An irreducible SCC with a non-header. define void @nonheader(i1 %x) { @@ -377,9 +377,9 @@ exit: ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]] ret void } -!18 = metadata !{metadata !"branch_weights", i32 1, i32 1} -!19 = metadata !{metadata !"branch_weights", i32 1, i32 3} -!20 = metadata !{metadata !"branch_weights", i32 3, i32 1} +!18 = !{!"branch_weights", i32 1, i32 1} +!19 = !{!"branch_weights", i32 1, i32 3} +!20 = !{!"branch_weights", i32 3, i32 1} ; An irreducible SCC with an irreducible sub-SCC. In the current version of ; -block-freq, this means an extra header. @@ -416,6 +416,6 @@ exit: ; CHECK-NEXT: exit: float = 1.0, int = [[ENTRY]] ret void } -!21 = metadata !{metadata !"branch_weights", i32 2, i32 1} -!22 = metadata !{metadata !"branch_weights", i32 1, i32 1} -!23 = metadata !{metadata !"branch_weights", i32 8, i32 1, i32 3, i32 12} +!21 = !{!"branch_weights", i32 2, i32 1} +!22 = !{!"branch_weights", i32 1, i32 1} +!23 = !{!"branch_weights", i32 8, i32 1, i32 3, i32 12} diff --git a/test/Analysis/BlockFrequencyInfo/loop_with_branch.ll b/test/Analysis/BlockFrequencyInfo/loop_with_branch.ll index 9d27b6b..9a86564 100644 --- a/test/Analysis/BlockFrequencyInfo/loop_with_branch.ll +++ b/test/Analysis/BlockFrequencyInfo/loop_with_branch.ll @@ -40,5 +40,5 @@ exit: declare i1 @foo0(i32) declare i2 @foo1(i32) -!0 = metadata !{metadata !"branch_weights", i32 1, i32 3} -!1 = metadata !{metadata !"branch_weights", i32 1, i32 2, i32 3} +!0 = !{!"branch_weights", i32 1, i32 3} +!1 = !{!"branch_weights", i32 1, i32 2, i32 3} diff --git a/test/Analysis/BlockFrequencyInfo/nested_loop_with_branches.ll b/test/Analysis/BlockFrequencyInfo/nested_loop_with_branches.ll index d93ffce..19d1658 100644 --- a/test/Analysis/BlockFrequencyInfo/nested_loop_with_branches.ll +++ b/test/Analysis/BlockFrequencyInfo/nested_loop_with_branches.ll @@ -55,5 +55,5 @@ declare i1 @foo4(i32) declare i1 @foo5(i32) declare i1 @foo6(i32) -!0 = metadata !{metadata !"branch_weights", i32 1, i32 3} -!1 = metadata !{metadata !"branch_weights", i32 3, i32 1} +!0 = !{!"branch_weights", i32 1, i32 3} +!1 = !{!"branch_weights", i32 3, i32 1} |