diff options
| -rw-r--r-- | test/CodeGen/X86/fast-isel-gep-sext.ll | 24 |
1 files changed, 20 insertions, 4 deletions
diff --git a/test/CodeGen/X86/fast-isel-gep-sext.ll b/test/CodeGen/X86/fast-isel-gep-sext.ll index 9b486acc39..fb24f19968 100644 --- a/test/CodeGen/X86/fast-isel-gep-sext.ll +++ b/test/CodeGen/X86/fast-isel-gep-sext.ll @@ -1,17 +1,33 @@ -; RUN: llc < %s -march=x86-64 -O0 | grep movslq -; RUN: llc < %s -march=x86 -O0 +; RUN: llc < %s -march=x86-64 -O0 | FileCheck %s --check-prefix=X64 +; RUN: llc < %s -march=x86 -O0 | FileCheck %s --check-prefix=X32 ; PR3181 ; GEP indices are interpreted as signed integers, so they ; should be sign-extended to 64 bits on 64-bit targets. -define i32 @foo(i32 %t3, i32* %t1) nounwind { +define i32 @test1(i32 %t3, i32* %t1) nounwind { %t9 = getelementptr i32* %t1, i32 %t3 ; <i32*> [#uses=1] %t15 = load i32* %t9 ; <i32> [#uses=1] ret i32 %t15 +; X32: test1: +; X32: movl (%ecx,%eax,4), %eax +; X32: ret + +; X64: test1: +; X64: movslq %edi, %rax +; X64: movl (%rsi,%rax,4), %eax +; X64: ret + } -define i32 @bar(i64 %t3, i32* %t1) nounwind { +define i32 @test2(i64 %t3, i32* %t1) nounwind { %t9 = getelementptr i32* %t1, i64 %t3 ; <i32*> [#uses=1] %t15 = load i32* %t9 ; <i32> [#uses=1] ret i32 %t15 +; X32: test2: +; X32: movl (%eax,%ecx,4), %eax +; X32: ret + +; X64: test2: +; X64: movl (%rsi,%rdi,4), %eax +; X64: ret } |