xref: /aosp_15_r20/external/llvm/test/Verifier/cttz-undef-arg.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workerdeclare i32 @llvm.ctlz.i32(i32, i1)
4*9880d681SAndroid Build Coastguard Workerdeclare i32 @llvm.cttz.i32(i32, i1)
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Workerdefine void @f(i32 %x, i1 %is_not_zero) {
7*9880d681SAndroid Build Coastguard Workerentry:
8*9880d681SAndroid Build Coastguard Worker; CHECK: is_zero_undef argument of bit counting intrinsics must be a constant int
9*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: @llvm.ctlz.i32
10*9880d681SAndroid Build Coastguard Worker  call i32 @llvm.ctlz.i32(i32 %x, i1 %is_not_zero)
11*9880d681SAndroid Build Coastguard Worker
12*9880d681SAndroid Build Coastguard Worker; CHECK: is_zero_undef argument of bit counting intrinsics must be a constant int
13*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: @llvm.cttz.i32
14*9880d681SAndroid Build Coastguard Worker  call i32 @llvm.cttz.i32(i32 %x, i1 %is_not_zero)
15*9880d681SAndroid Build Coastguard Worker  ret void
16*9880d681SAndroid Build Coastguard Worker}
17