llvm/test/Verifier/cttz-undef-arg.ll

   1 ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 declare i32 @llvm.ctlz.i32(i32, i1)
   4 declare i32 @llvm.cttz.i32(i32, i1)
   5
   6 define void @f(i32 %x, i1 %is_not_zero) {
   7 entry:
   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 }