1; PR 1258
2; RUN: not llvm-as < %s >/dev/null 2> %t
3; RUN: grep "'%0' defined with type 'i1'" %t
4
5define i32 @test1(i32 %a, i32 %b) {
6entry:
7  icmp eq i32 %b, %a              ; <i1>:0 [#uses=1]
8  zext i1 %0 to i32               ; <i32>:0 [#uses=1]
9  ret i32 %0                      ; Invalid Type for %0
10}
11