1; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
2
3declare i32 @llvm.ctlz.i32(i32, i1)
4declare i32 @llvm.cttz.i32(i32, i1)
5
6define void @f(i32 %x, i1 %is_not_zero) {
7entry:
8; CHECK: immarg operand has non-immediate parameter
9; CHECK-NEXT: i1 %is_not_zero
10; CHECK-NEXT: @llvm.ctlz.i32
11  call i32 @llvm.ctlz.i32(i32 %x, i1 %is_not_zero)
12
13; CHECK: immarg operand has non-immediate parameter
14; CHECK-NEXT: i1 %is_not_zero
15; CHECK-NEXT: @llvm.cttz.i32
16  call i32 @llvm.cttz.i32(i32 %x, i1 %is_not_zero)
17  ret void
18}
19