[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

[oota-llvm.git] / test / CodeGen / X86 / fast-isel-mem.ll

diff --git a/test/CodeGen/X86/fast-isel-mem.ll b/test/CodeGen/X86/fast-isel-mem.ll
index 5ee56761576c96b15149a05671ef218ec8f3e5d6..3f1d9cae9340da0392d725d7837ec573e5dacda9 100644 (file)
--- a/test/CodeGen/X86/fast-isel-mem.ll
+++ b/test/CodeGen/X86/fast-isel-mem.ll
@@ -1,17 +1,31 @@
-; RUN: llvm-as < %s | llc -fast-isel -mtriple=i386-apple-darwin | \
-; RUN:   grep mov | grep lazy_ptr | count 2
-; RUN: llvm-as < %s | llc -fast-isel -march=x86 -relocation-model=static | \
-; RUN:   grep lea
+; RUN: llc < %s -fast-isel -mtriple=i386-apple-darwin -mcpu=generic | FileCheck %s
+; RUN: llc < %s -fast-isel -mtriple=i386-apple-darwin -mcpu=atom | FileCheck -check-prefix=ATOM %s
 
 @src = external global i32
 
+; rdar://6653118
 define i32 @loadgv() nounwind {
 entry:
-       %0 = load i32* @src, align 4
-       %1 = load i32* @src, align 4
+       %0 = load i32, i32* @src, align 4
+       %1 = load i32, i32* @src, align 4
         %2 = add i32 %0, %1
         store i32 %2, i32* @src
        ret i32 %2
+; This should fold one of the loads into the add.
+; CHECK-LABEL: loadgv:
+; CHECK:       movl    L_src$non_lazy_ptr, %ecx
+; CHECK:       movl    (%ecx), %eax
+; CHECK:       addl    (%ecx), %eax
+; CHECK:       movl    %eax, (%ecx)
+; CHECK:       ret
+
+; ATOM:        loadgv:
+; ATOM:                movl    L_src$non_lazy_ptr, %ecx
+; ATOM:         movl    (%ecx), %eax
+; ATOM:         addl    (%ecx), %eax
+; ATOM:         movl    %eax, (%ecx)
+; ATOM:         ret
+
 }
 
 %stuff = type { i32 (...)** }
@@ -19,6 +33,14 @@ entry:
 
 define void @t(%stuff* %this) nounwind {
 entry:
-       store i32 (...)** getelementptr ([4 x i32 (...)*]* @LotsStuff, i32 0, i32 2), i32 (...)*** null, align 4
+       store i32 (...)** getelementptr ([4 x i32 (...)*], [4 x i32 (...)*]* @LotsStuff, i32 0, i32 2), i32 (...)*** null, align 4
        ret void
+; CHECK: _t:
+; CHECK:       xorl    %eax, %eax
+; CHECK:       movl    L_LotsStuff$non_lazy_ptr, %ecx
+
+; ATOM: _t:
+; ATOM:         movl    L_LotsStuff$non_lazy_ptr, %e{{..}}
+; ATOM:         xorl    %e{{..}}, %e{{..}}
+
 }