xref: /llvm-project/llvm/test/Verifier/llvm.is.fpclass.ll (revision e20a092838f31c365b0e8a8d74b0b33d01e8117b) 
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 i1 @llvm.is.fpclass.f64(double %val, i32 %variable)
6define i1 @test_mask_variable(double %val, i32 %variable) {
7  %ret = call i1 @llvm.is.fpclass.f64(double %val, i32 %variable)
8  ret i1 %ret
9}
10
11; CHECK: unsupported bits for llvm.is.fpclass test mask
12define i1 @test_mask_neg1(double %val) {
13  %ret = call i1 @llvm.is.fpclass.f64(double %val, i32 -1)
14  ret i1 %ret
15}
16
17; CHECK: unsupported bits for llvm.is.fpclass test mask
18define i1 @test_mask_bit11(double %val) {
19  %ret = call i1 @llvm.is.fpclass.f64(double %val, i32 2048)
20  ret i1 %ret
21}
22
23declare i1 @llvm.is.fpclass.f64(double, i32 immarg)
24