"an array");
break;
}
+ case Intrinsic::is_fpclass: {
+ const ConstantInt *TestMask = cast<ConstantInt>(Call.getOperand(1));
+ Check((TestMask->getZExtValue() & ~fcAllFlags) == 0,
+ "unsupported bits for llvm.is.fpclass test mask");
+ break;
+ }
case Intrinsic::fptrunc_round: {
// Check the rounding mode
Metadata *MD = nullptr;
; ret i1 %val
; }
-define i1 @test_class_over_max_mask_f32(float %x) {
-; CHECK-LABEL: @test_class_over_max_mask_f32(
-; CHECK-NEXT: [[VAL:%.*]] = call i1 @llvm.is.fpclass.f32(float [[X:%.*]], i32 1025)
-; CHECK-NEXT: ret i1 [[VAL]]
-;
- %val = call i1 @llvm.is.fpclass.f32(float %x, i32 1025)
- ret i1 %val
-}
-
define i1 @test_class_no_mask_f32(float %x) {
; CHECK-LABEL: @test_class_no_mask_f32(
; CHECK-NEXT: [[VAL:%.*]] = call i1 @llvm.is.fpclass.f32(float [[X:%.*]], i32 0)
--- /dev/null
+; RUN: not llvm-as < %s 2>&1 | FileCheck %s
+
+; CHECK: immarg operand has non-immediate parameter
+; CHECK-NEXT: i32 %variable
+; CHECK-NEXT: %ret = call i1 @llvm.is.fpclass.f64(double %val, i32 %variable)
+define i1 @test_mask_variable(double %val, i32 %variable) {
+ %ret = call i1 @llvm.is.fpclass.f64(double %val, i32 %variable)
+ ret i1 %ret
+}
+
+; CHECK: unsupported bits for llvm.is.fpclass test mask
+define i1 @test_mask_neg1(double %val) {
+ %ret = call i1 @llvm.is.fpclass.f64(double %val, i32 -1)
+ ret i1 %ret
+}
+
+; CHECK: unsupported bits for llvm.is.fpclass test mask
+define i1 @test_mask_bit11(double %val) {
+ %ret = call i1 @llvm.is.fpclass.f64(double %val, i32 2048)
+ ret i1 %ret
+}
+
+declare i1 @llvm.is.fpclass.f64(double, i32 immarg)