summaryrefslogtreecommitdiff
path: root/test/CodeGen/Hexagon
diff options
context:
space:
mode:
authorKrzysztof Parzyszek <kparzysz@codeaurora.org>2017-10-23 19:35:25 +0000
committerKrzysztof Parzyszek <kparzysz@codeaurora.org>2017-10-23 19:35:25 +0000
commitdb797c0e595f0e3a3add96430d4eb0cdd9b11e9b (patch)
tree59b2dd3d07d1cf95a54bf92927572311c9c7d449 /test/CodeGen/Hexagon
parent990e764ad8a2eec206ce5dda6aefab059ccd4e92 (diff)
[Hexagon] Return the correct chain edge for i1 function calls
In HexagonISelLowering, there is code to handle the case when a function returns an i1 type. In this case, we need to generate extra nodes to copy the result from R0 to a predicate register. The code was returning the wrong value for the chain edge which caused an assert "Wrong topological sorting" when converting the instructions to MIs. This patch fixes the problem by returning the chain for the final copy. Patch by Brendon Cahoon. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@316367 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/Hexagon')
-rw-r--r--test/CodeGen/Hexagon/call-ret-i1.ll23
1 files changed, 23 insertions, 0 deletions
diff --git a/test/CodeGen/Hexagon/call-ret-i1.ll b/test/CodeGen/Hexagon/call-ret-i1.ll
new file mode 100644
index 00000000000..3838e8a6e88
--- /dev/null
+++ b/test/CodeGen/Hexagon/call-ret-i1.ll
@@ -0,0 +1,23 @@
+; RUN: llc -march=hexagon < %s
+; REQUIRES: asserts
+
+; Test that the compiler does not assert because the DAG is not correct.
+; CHECK: call foo
+
+%returntype = type { i1, i32 }
+
+define i32 @test(i32* %a0, i32* %a1, i32* %a2) #0 {
+b3:
+ br i1 undef, label %b6, label %b4
+
+b4: ; preds = %b3
+ %v5 = call %returntype @foo(i32* nonnull undef, i32* %a2, i32* %a0) #0
+ ret i32 1
+
+b6: ; preds = %b3
+ unreachable
+}
+
+declare %returntype @foo(i32*, i32*, i32*) #0
+
+attributes #0 = { nounwind }