; RUN: llvm-as < %s |& not grep Asserti
; RUN: llvm-as < %s |& grep Redefinition
define void @test() {
%tmp.1 = add i32 0, 1
br label %return
return:
ret void
}