diff --git a/test/Assembler/2007-03-18-InvalidNumberedVar.ll b/test/Assembler/2007-03-18-InvalidNumberedVar.ll
new file mode 100644
index 00000000000..dc060960112
--- /dev/null
+++ b/test/Assembler/2007-03-18-InvalidNumberedVar.ll
@@ -0,0 +1,9 @@
+; PR 1258
+; RUN: llvm-as < %s 2>&1 >/dev/null -f | grep "Numbered.*does not match"
+
+define i32 @test1(i32 %a, i32 %b) {
+entry:
+  icmp eq i32 %b, %a              ; <i1>:0 [#uses=1]
+  zext i1 %0 to i32               ; <i32>:0 [#uses=1]
+  ret i32 %0                      ; Invalid Type for %0
+}