From 022b21ff7c047f8c1615a6588052c55427bcd9b0 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Sat, 4 Oct 2008 00:31:14 +0000 Subject: Fix a bug in the local allocator's liveness computation where it was setting kill flags on tied uses in two-address instructions. The kill flags were causing the allocator to think it could allocate the use and its tied def in different registers. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@57039 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/CodeGen/X86/local-liveness.ll | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 test/CodeGen/X86/local-liveness.ll (limited to 'test/CodeGen/X86/local-liveness.ll') diff --git a/test/CodeGen/X86/local-liveness.ll b/test/CodeGen/X86/local-liveness.ll new file mode 100644 index 0000000..f176ec2 --- /dev/null +++ b/test/CodeGen/X86/local-liveness.ll @@ -0,0 +1,31 @@ +; RUN: llvm-as < %s | llc -march=x86 -regalloc=local | grep {subl %eax, %esi} + +; Local regalloc shouldn't assume that both the uses of the +; sub instruction are kills, because one of them is tied +; to an output. Previously, it was allocating both inputs +; in the same register. + +define i32 @func_3() nounwind { +entry: + %retval = alloca i32 ; [#uses=2] + %g_323 = alloca i8 ; [#uses=2] + %p_5 = alloca i64, align 8 ; [#uses=2] + %0 = alloca i32 ; [#uses=2] + %"alloca point" = bitcast i32 0 to i32 ; [#uses=0] + store i64 0, i64* %p_5, align 8 + store i8 1, i8* %g_323, align 1 + %1 = load i8* %g_323, align 1 ; [#uses=1] + %2 = sext i8 %1 to i64 ; [#uses=1] + %3 = load i64* %p_5, align 8 ; [#uses=1] + %4 = sub i64 %3, %2 ; [#uses=1] + %5 = icmp sge i64 %4, 0 ; [#uses=1] + %6 = zext i1 %5 to i32 ; [#uses=1] + store i32 %6, i32* %0, align 4 + %7 = load i32* %0, align 4 ; [#uses=1] + store i32 %7, i32* %retval, align 4 + br label %return + +return: ; preds = %entry + %retval1 = load i32* %retval ; [#uses=1] + ret i32 %retval1 +} -- cgit v1.1