Chris's constant data sequence refactoring actually enabled printing
[oota-llvm.git] / test / CodeGen / X86 / fold-load.ll
index 847d91e03b634bdfc65e1a936b11a45f3dc472e1..5525af25270fb7a90c0a6f3662a89bd6d40287e7 100644 (file)
@@ -1,29 +1,47 @@
-; RUN: llvm-upgrade < %s | llvm-as | llc
-       %struct._obstack_chunk = type { sbyte*, %struct._obstack_chunk*, [4 x sbyte] }
-       %struct.obstack = type { int, %struct._obstack_chunk*, sbyte*, sbyte*, sbyte*, int, int, %struct._obstack_chunk* (...)*, void (...)*, sbyte*, ubyte }
-%stmt_obstack = external global %struct.obstack                ; <%struct.obstack*> [#uses=1]
+; RUN: llc < %s -march=x86 | FileCheck %s
+       %struct._obstack_chunk = type { i8*, %struct._obstack_chunk*, [4 x i8] }
+       %struct.obstack = type { i32, %struct._obstack_chunk*, i8*, i8*, i8*, i32, i32, %struct._obstack_chunk* (...)*, void (...)*, i8*, i8 }
+@stmt_obstack = external global %struct.obstack                ; <%struct.obstack*> [#uses=1]
 
-implementation   ; Functions:
-
-void %expand_start_bindings() {
+; This should just not crash.
+define void @test1() nounwind {
 entry:
-       br bool false, label %cond_true, label %cond_next
+       br i1 true, label %cond_true, label %cond_next
 
 cond_true:             ; preds = %entry
-       %new_size.0.i = select bool false, int 0, int 0         ; <int> [#uses=1]
-       %tmp.i = load uint* cast (ubyte* getelementptr (%struct.obstack* %stmt_obstack, int 0, uint 10) to uint*)               ; <uint> [#uses=1]
-       %tmp.i = cast uint %tmp.i to ubyte              ; <ubyte> [#uses=1]
-       %tmp21.i = and ubyte %tmp.i, 1          ; <ubyte> [#uses=1]
-       %tmp22.i = seteq ubyte %tmp21.i, 0              ; <bool> [#uses=1]
-       br bool %tmp22.i, label %cond_false30.i, label %cond_true23.i
+       %new_size.0.i = select i1 false, i32 0, i32 0           ; <i32> [#uses=1]
+       %tmp.i = load i32* bitcast (i8* getelementptr (%struct.obstack* @stmt_obstack, i32 0, i32 10) to i32*)          ; <i32> [#uses=1]
+       %tmp.i.upgrd.1 = trunc i32 %tmp.i to i8         ; <i8> [#uses=1]
+       %tmp21.i = and i8 %tmp.i.upgrd.1, 1             ; <i8> [#uses=1]
+       %tmp22.i = icmp eq i8 %tmp21.i, 0               ; <i1> [#uses=1]
+       br i1 %tmp22.i, label %cond_false30.i, label %cond_true23.i
 
 cond_true23.i:         ; preds = %cond_true
        ret void
 
 cond_false30.i:                ; preds = %cond_true
-       %tmp35.i = tail call %struct._obstack_chunk* null( int %new_size.0.i )          ; <%struct._obstack_chunk*> [#uses=0]
+       %tmp35.i = tail call %struct._obstack_chunk* null( i32 %new_size.0.i )          ; <%struct._obstack_chunk*> [#uses=0]
        ret void
 
 cond_next:             ; preds = %entry
        ret void
 }
+
+
+
+define i32 @test2(i16* %P, i16* %Q) nounwind {
+  %A = load i16* %P, align 4                      ; <i16> [#uses=11]
+  %C = zext i16 %A to i32                         ; <i32> [#uses=1]
+  %D = and i32 %C, 255                            ; <i32> [#uses=1]
+  br label %L
+L:
+
+  store i16 %A, i16* %Q
+  ret i32 %D
+  
+; CHECK: test2:
+; CHECK:       movl    4(%esp), %eax
+; CHECK-NEXT:  movzwl  (%eax), %ecx
+
+}
+