aboutsummaryrefslogtreecommitdiffstats
path: root/test/Verifier/cttz-undef-arg.ll
blob: 66c5396443acd6daeb8592f84f0032bab43ad4ce (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s

declare i32 @llvm.ctlz.i32(i32, i1)
declare i32 @llvm.cttz.i32(i32, i1)

define void @f(i32 %x, i1 %is_not_zero) {
entry:
; CHECK: is_zero_undef argument of bit counting intrinsics must be a constant int
; CHECK-NEXT: @llvm.ctlz.i32
  call i32 @llvm.ctlz.i32(i32 %x, i1 %is_not_zero)

; CHECK: is_zero_undef argument of bit counting intrinsics must be a constant int
; CHECK-NEXT: @llvm.cttz.i32
  call i32 @llvm.cttz.i32(i32 %x, i1 %is_not_zero)
  ret void
}