[llvm-commits] [llvm] r138433 - in /llvm/trunk: lib/Target/XCore/XCoreInstrInfo.td test/CodeGen/XCore/2011-08-01-DynamicAllocBug.ll
Richard Osborne
richard at xmos.com
Wed Aug 24 06:32:43 PDT 2011
Author: friedgold
Date: Wed Aug 24 08:32:43 2011
New Revision: 138433
URL: http://llvm.org/viewvc/llvm-project?rev=138433&view=rev
Log:
Add Uses=[SP] to call instructions. This fixes a miscompilation with a
variable sized alloca.
Added:
llvm/trunk/test/CodeGen/XCore/2011-08-01-DynamicAllocBug.ll
Modified:
llvm/trunk/lib/Target/XCore/XCoreInstrInfo.td
Modified: llvm/trunk/lib/Target/XCore/XCoreInstrInfo.td
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/XCore/XCoreInstrInfo.td?rev=138433&r1=138432&r2=138433&view=diff
==============================================================================
--- llvm/trunk/lib/Target/XCore/XCoreInstrInfo.td (original)
+++ llvm/trunk/lib/Target/XCore/XCoreInstrInfo.td Wed Aug 24 08:32:43 2011
@@ -739,7 +739,7 @@
let isCall=1,
// All calls clobber the link register and the non-callee-saved registers:
-Defs = [R0, R1, R2, R3, R11, LR] in {
+Defs = [R0, R1, R2, R3, R11, LR], Uses = [SP] in {
def BL_u10 : _FU10<
(outs),
(ins calltarget:$target, variable_ops),
@@ -981,7 +981,7 @@
let isCall=1,
// All calls clobber the link register and the non-callee-saved registers:
-Defs = [R0, R1, R2, R3, R11, LR] in {
+Defs = [R0, R1, R2, R3, R11, LR], Uses = [SP] in {
def BLA_1r : _F1R<(outs), (ins GRRegs:$addr, variable_ops),
"bla $addr",
[(XCoreBranchLink GRRegs:$addr)]>;
Added: llvm/trunk/test/CodeGen/XCore/2011-08-01-DynamicAllocBug.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/XCore/2011-08-01-DynamicAllocBug.ll?rev=138433&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/XCore/2011-08-01-DynamicAllocBug.ll (added)
+++ llvm/trunk/test/CodeGen/XCore/2011-08-01-DynamicAllocBug.ll Wed Aug 24 08:32:43 2011
@@ -0,0 +1,20 @@
+; RUN: llc < %s -march=xcore | FileCheck %s
+
+declare void @g()
+declare i8* @llvm.stacksave() nounwind
+declare void @llvm.stackrestore(i8*) nounwind
+
+define void @f(i32** %p, i32 %size) {
+allocas:
+ %0 = call i8* @llvm.stacksave()
+ %a = alloca i32, i32 %size
+ store i32* %a, i32** %p
+ call void @g()
+ call void @llvm.stackrestore(i8* %0)
+ ret void
+}
+; CHECK: f:
+; CHECK: ldaw [[REGISTER:r[0-9]+]], {{r[0-9]+}}[-r1]
+; CHECK: set sp, [[REGISTER]]
+; CHECK extsp 1
+; CHECK bl g
More information about the llvm-commits
mailing list