llvm/test/Verifier/llvm.vp.is.fpclass.ll

   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)
   6 define <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
  12 define <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
  18 define <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
  23 declare <8 x i1> @llvm.vp.is.fpclass.v8f64(<8 x double>, i32, <8 x i1>, i32)