[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 81af0ab5a8f6347440413f01ab8436e990889834..3f1d9cae9340da0392d725d7837ec573e5dacda9 100644 (file)
--- a/test/CodeGen/X86/fast-isel-mem.ll
+++ b/test/CodeGen/X86/fast-isel-mem.ll
@@ -1,12 +1,46 @@
-; RUN: llvm-as < %s | llc -fast-isel -mtriple=i386-apple-darwin -mattr=sse2 | \
-; RUN:   grep mov | grep lazy_ptr | count 1
+; 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 (...)** }
+@LotsStuff = external constant [4 x i32 (...)*]
+
+define void @t(%stuff* %this) nounwind {
+entry:
+       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{{..}}
+
 }