summaryrefslogtreecommitdiffstats
path: root/test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll
diff options
context:
space:
mode:
authorAndrew Trick <atrick@apple.com>2012-09-08 00:07:26 +0000
committerAndrew Trick <atrick@apple.com>2012-09-08 00:07:26 +0000
commita34434184915cf869e2daf26a9d15483b7981aaa (patch)
tree5f254a0c6c5e3ccda0643b0fb1a555592e5c1709 /test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll
parent3adf3b0ac0927ee95d59e3c98599254072fb26f5 (diff)
downloadexternal_llvm-a34434184915cf869e2daf26a9d15483b7981aaa.zip
external_llvm-a34434184915cf869e2daf26a9d15483b7981aaa.tar.gz
external_llvm-a34434184915cf869e2daf26a9d15483b7981aaa.tar.bz2
Remove an incorrect assert during branch weight propagation.
Patch and test case by Alastair Murray! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@163437 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll')
-rw-r--r--test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll37
1 files changed, 37 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll b/test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll
new file mode 100644
index 0000000..53d5448
--- /dev/null
+++ b/test/Transforms/SimplifyCFG/preserve-branchweights-partial.ll
@@ -0,0 +1,37 @@
+; 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: 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 = metadata !{metadata !"branch_weights", i32 1, i32 0}