llvm/test/Verifier/invalid-label-param.ll - third_party/llvm-project - Git at Google

 ; RUN: not llvm-as < %s 2>&1 | FileCheck %s

 define void @invalid_arg_type(i32 %0) {
 1:
   call void @foo(label %1)
   ret void
 }

 declare void @foo(label)
 ; CHECK: Function argument cannot be of label type!
 ; CHECK-NEXT: label %0
 ; CHECK-NEXT: ptr @foo
	; RUN: not llvm-as < %s 2>&1 \| FileCheck %s

	define void @invalid_arg_type(i32 %0) {
	1:
	call void @foo(label %1)
	ret void
	}

	declare void @foo(label)
	; CHECK: Function argument cannot be of label type!
	; CHECK-NEXT: label %0
	; CHECK-NEXT: ptr @foo