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