diff options
Diffstat (limited to 'llvm/test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll')
| -rw-r--r-- | llvm/test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/llvm/test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll b/llvm/test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll deleted file mode 100644 index b2b384112af..00000000000 --- a/llvm/test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll +++ /dev/null @@ -1,37 +0,0 @@ -; RUN: opt -simplifycfg -S -o - < %s | FileCheck %s - -; This test case was written to trigger an incorrect assert statement in -; -simplifycfg. Thus we don't actually want to check the output, just that -; -simplifycfg ran successfully. Thus we only check that the function still -; exists, and that it still calls foo(). -; -; NOTE: There are some obviously dead blocks and missing branch weight -; metadata. Both of these features were key to triggering the assert. -; Additionally, the not-taken weight of the branch with a weight had to -; be 0 to trigger the assert. - -declare void @foo() nounwind uwtable - -define void @func(i32 %A) nounwind uwtable { -; CHECK-LABEL: define void @func( -entry: - %cmp11 = icmp eq i32 %A, 1 - br i1 %cmp11, label %if.then, label %if.else, !prof !0 - -if.then: - call void @foo() -; CHECK: call void @foo() - br label %if.else - -if.else: - %cmp17 = icmp eq i32 %A, 2 - br i1 %cmp17, label %if.then2, label %if.end - -if.then2: - br label %if.end - -if.end: - ret void -} - -!0 = !{!"branch_weights", i32 1, i32 0} |
