diff options
| -rw-r--r-- | llvm/test/Transforms/Inline/profile-meta.ll | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/llvm/test/Transforms/Inline/profile-meta.ll b/llvm/test/Transforms/Inline/profile-meta.ll index 5000b83f2f3..66fe7413dd0 100644 --- a/llvm/test/Transforms/Inline/profile-meta.ll +++ b/llvm/test/Transforms/Inline/profile-meta.ll @@ -1,9 +1,9 @@ ; RUN: opt < %s -S -inline | FileCheck %s -; Make sure that profile metadata is preserved when cloning a select. +; Make sure that profile and unpredictable metadata is preserved when cloning a select. define i32 @callee_with_select(i1 %c, i32 %a, i32 %b) { - %sel = select i1 %c, i32 %a, i32 %b, !prof !0 + %sel = select i1 %c, i32 %a, i32 %b, !prof !0, !unpredictable !1 ret i32 %sel } @@ -12,14 +12,14 @@ define i32 @caller_of_select(i1 %C, i32 %A, i32 %B) { ret i32 %ret ; CHECK-LABEL: @caller_of_select( -; CHECK-NEXT: [[SEL:%.*]] = select i1 %C, i32 %A, i32 %B, !prof !0 +; CHECK-NEXT: [[SEL:%.*]] = select i1 %C, i32 %A, i32 %B, !prof !0, !unpredictable !1 ; CHECK-NEXT: ret i32 [[SEL]] } -; Make sure that profile metadata is preserved when cloning a branch. +; Make sure that profile and unpredictable metadata is preserved when cloning a branch. define i32 @callee_with_branch(i1 %c) { - br i1 %c, label %if, label %else, !prof !1 + br i1 %c, label %if, label %else, !unpredictable !1, !prof !2 if: ret i32 1 else: @@ -31,11 +31,14 @@ define i32 @caller_of_branch(i1 %C) { ret i32 %ret ; CHECK-LABEL: @caller_of_branch( -; CHECK-NEXT: br i1 %C, label %{{.*}}, label %{{.*}}, !prof !1 +; CHECK-NEXT: br i1 %C, label %{{.*}}, label %{{.*}}, !prof !2, !unpredictable !1 } !0 = !{!"branch_weights", i32 1, i32 2} -!1 = !{!"branch_weights", i32 3, i32 4} +!1 = !{} +!2 = !{!"branch_weights", i32 3, i32 4} + ; CHECK: !0 = !{!"branch_weights", i32 1, i32 2} -; CHECK: !1 = !{!"branch_weights", i32 3, i32 4} +; CHECK: !1 = !{} +; CHECK: !2 = !{!"branch_weights", i32 3, i32 4} |
