xref: /llvm-project/llvm/test/Verifier/llvm.vp.is.fpclass.ll (revision 1b12427c0133679e3034f572cac353184f90960b) 
1; RUN: not llvm-as < %s 2>&1 | FileCheck %s
2
3; CHECK: immarg operand has non-immediate parameter
4; CHECK-NEXT: i32 %variable
5; CHECK-NEXT: %ret = call <8 x i1> @llvm.vp.is.fpclass.v8f64(<8 x double> %x, i32 %variable, <8 x i1> %m, i32 %evl)
6define <8 x i1> @test_mask_variable(<8 x double> %x, i32 %variable, <8 x i1> %m, i32 zeroext %evl) {
7  %ret = call <8 x i1> @llvm.vp.is.fpclass.v8f64(<8 x double> %x, i32 %variable, <8 x i1> %m, i32 %evl)
8  ret <8 x i1> %ret
9}
10
11; CHECK: unsupported bits for llvm.vp.is.fpclass test mask
12define <8 x i1> @test_mask_neg1(<8 x double> %x, <8 x i1> %m, i32 zeroext %evl) {
13  %ret = call <8 x i1> @llvm.vp.is.fpclass.v8f64(<8 x double> %x, i32 -1, <8 x i1> %m, i32 %evl)
14  ret <8 x i1> %ret
15}
16
17; CHECK: unsupported bits for llvm.vp.is.fpclass test mask
18define <8 x i1> @test_mask_bit11(<8 x double> %x, <8 x i1> %m, i32 zeroext %evl) {
19  %ret = call <8 x i1> @llvm.vp.is.fpclass.v8f64(<8 x double> %x, i32 2048, <8 x i1> %m, i32 %evl)
20  ret <8 x i1> %ret
21}
22
23declare <8 x i1> @llvm.vp.is.fpclass.v8f64(<8 x double>, i32, <8 x i1>, i32)
24