Home | History | Annotate | Download | only in Verifier
      1 ; RUN: not llvm-as < %s -o /dev/null |& 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: is_zero_undef argument of bit counting intrinsics must be a constant int
      9 ; CHECK-NEXT: @llvm.ctlz.i32
     10   call i32 @llvm.ctlz.i32(i32 %x, i1 %is_not_zero)
     11 
     12 ; CHECK: is_zero_undef argument of bit counting intrinsics must be a constant int
     13 ; CHECK-NEXT: @llvm.cttz.i32
     14   call i32 @llvm.cttz.i32(i32 %x, i1 %is_not_zero)
     15   ret void
     16 }
     17