llvm/test/CodeGen/LoongArch/lasx/intrinsic-ssrlni-invalid-imm.ll

   1 ; RUN: not llc --mtriple=loongarch64 --mattr=+lasx < %s 2>&1 | FileCheck %s
   2
   3 declare <32 x i8> @llvm.loongarch.lasx.xvssrlni.b.h(<32 x i8>, <32 x i8>, i32)
   4
   5 define <32 x i8> @lasx_xvssrlni_b_h_lo(<32 x i8> %va, <32 x i8> %vb) nounwind {
   6 ; CHECK: llvm.loongarch.lasx.xvssrlni.b.h: argument out of range
   7 entry:
   8   %res = call <32 x i8> @llvm.loongarch.lasx.xvssrlni.b.h(<32 x i8> %va, <32 x i8> %vb, i32 -1)
   9   ret <32 x i8> %res
  10 }
  11
  12 define <32 x i8> @lasx_xvssrlni_b_h_hi(<32 x i8> %va, <32 x i8> %vb) nounwind {
  13 ; CHECK: llvm.loongarch.lasx.xvssrlni.b.h: argument out of range
  14 entry:
  15   %res = call <32 x i8> @llvm.loongarch.lasx.xvssrlni.b.h(<32 x i8> %va, <32 x i8> %vb, i32 16)
  16   ret <32 x i8> %res
  17 }
  18
  19 declare <16 x i16> @llvm.loongarch.lasx.xvssrlni.h.w(<16 x i16>, <16 x i16>, i32)
  20
  21 define <16 x i16> @lasx_xvssrlni_h_w_lo(<16 x i16> %va, <16 x i16> %vb) nounwind {
  22 ; CHECK: llvm.loongarch.lasx.xvssrlni.h.w: argument out of range
  23 entry:
  24   %res = call <16 x i16> @llvm.loongarch.lasx.xvssrlni.h.w(<16 x i16> %va, <16 x i16> %vb, i32 -1)
  25   ret <16 x i16> %res
  26 }
  27
  28 define <16 x i16> @lasx_xvssrlni_h_w_hi(<16 x i16> %va, <16 x i16> %vb) nounwind {
  29 ; CHECK: llvm.loongarch.lasx.xvssrlni.h.w: argument out of range
  30 entry:
  31   %res = call <16 x i16> @llvm.loongarch.lasx.xvssrlni.h.w(<16 x i16> %va, <16 x i16> %vb, i32 32)
  32   ret <16 x i16> %res
  33 }
  34
  35 declare <8 x i32> @llvm.loongarch.lasx.xvssrlni.w.d(<8 x i32>, <8 x i32>, i32)
  36
  37 define <8 x i32> @lasx_xvssrlni_w_d_lo(<8 x i32> %va, <8 x i32> %vb) nounwind {
  38 ; CHECK: llvm.loongarch.lasx.xvssrlni.w.d: argument out of range
  39 entry:
  40   %res = call <8 x i32> @llvm.loongarch.lasx.xvssrlni.w.d(<8 x i32> %va, <8 x i32> %vb, i32 -1)
  41   ret <8 x i32> %res
  42 }
  43
  44 define <8 x i32> @lasx_xvssrlni_w_d_hi(<8 x i32> %va, <8 x i32> %vb) nounwind {
  45 ; CHECK: llvm.loongarch.lasx.xvssrlni.w.d: argument out of range
  46 entry:
  47   %res = call <8 x i32> @llvm.loongarch.lasx.xvssrlni.w.d(<8 x i32> %va, <8 x i32> %vb, i32 64)
  48   ret <8 x i32> %res
  49 }
  50
  51 declare <4 x i64> @llvm.loongarch.lasx.xvssrlni.d.q(<4 x i64>, <4 x i64>, i32)
  52
  53 define <4 x i64> @lasx_xvssrlni_d_q_lo(<4 x i64> %va, <4 x i64> %vb) nounwind {
  54 ; CHECK: llvm.loongarch.lasx.xvssrlni.d.q: argument out of range
  55 entry:
  56   %res = call <4 x i64> @llvm.loongarch.lasx.xvssrlni.d.q(<4 x i64> %va, <4 x i64> %vb, i32 -1)
  57   ret <4 x i64> %res
  58 }
  59
  60 define <4 x i64> @lasx_xvssrlni_d_q_hi(<4 x i64> %va, <4 x i64> %vb) nounwind {
  61 ; CHECK: llvm.loongarch.lasx.xvssrlni.d.q: argument out of range
  62 entry:
  63   %res = call <4 x i64> @llvm.loongarch.lasx.xvssrlni.d.q(<4 x i64> %va, <4 x i64> %vb, i32 128)
  64   ret <4 x i64> %res
  65 }
  66
  67 declare <32 x i8> @llvm.loongarch.lasx.xvssrlni.bu.h(<32 x i8>, <32 x i8>, i32)
  68
  69 define <32 x i8> @lasx_xvssrlni_bu_h_lo(<32 x i8> %va, <32 x i8> %vb) nounwind {
  70 ; CHECK: llvm.loongarch.lasx.xvssrlni.bu.h: argument out of range
  71 entry:
  72   %res = call <32 x i8> @llvm.loongarch.lasx.xvssrlni.bu.h(<32 x i8> %va, <32 x i8> %vb, i32 -1)
  73   ret <32 x i8> %res
  74 }
  75
  76 define <32 x i8> @lasx_xvssrlni_bu_h_hi(<32 x i8> %va, <32 x i8> %vb) nounwind {
  77 ; CHECK: llvm.loongarch.lasx.xvssrlni.bu.h: argument out of range
  78 entry:
  79   %res = call <32 x i8> @llvm.loongarch.lasx.xvssrlni.bu.h(<32 x i8> %va, <32 x i8> %vb, i32 16)
  80   ret <32 x i8> %res
  81 }
  82
  83 declare <16 x i16> @llvm.loongarch.lasx.xvssrlni.hu.w(<16 x i16>, <16 x i16>, i32)
  84
  85 define <16 x i16> @lasx_xvssrlni_hu_w_lo(<16 x i16> %va, <16 x i16> %vb) nounwind {
  86 ; CHECK: llvm.loongarch.lasx.xvssrlni.hu.w: argument out of range
  87 entry:
  88   %res = call <16 x i16> @llvm.loongarch.lasx.xvssrlni.hu.w(<16 x i16> %va, <16 x i16> %vb, i32 -1)
  89   ret <16 x i16> %res
  90 }
  91
  92 define <16 x i16> @lasx_xvssrlni_hu_w_hi(<16 x i16> %va, <16 x i16> %vb) nounwind {
  93 ; CHECK: llvm.loongarch.lasx.xvssrlni.hu.w: argument out of range
  94 entry:
  95   %res = call <16 x i16> @llvm.loongarch.lasx.xvssrlni.hu.w(<16 x i16> %va, <16 x i16> %vb, i32 32)
  96   ret <16 x i16> %res
  97 }
  98
  99 declare <8 x i32> @llvm.loongarch.lasx.xvssrlni.wu.d(<8 x i32>, <8 x i32>, i32)
 100
 101 define <8 x i32> @lasx_xvssrlni_wu_d_lo(<8 x i32> %va, <8 x i32> %vb) nounwind {
 102 ; CHECK: llvm.loongarch.lasx.xvssrlni.wu.d: argument out of range
 103 entry:
 104   %res = call <8 x i32> @llvm.loongarch.lasx.xvssrlni.wu.d(<8 x i32> %va, <8 x i32> %vb, i32 -1)
 105   ret <8 x i32> %res
 106 }
 107
 108 define <8 x i32> @lasx_xvssrlni_wu_d_hi(<8 x i32> %va, <8 x i32> %vb) nounwind {
 109 ; CHECK: llvm.loongarch.lasx.xvssrlni.wu.d: argument out of range
 110 entry:
 111   %res = call <8 x i32> @llvm.loongarch.lasx.xvssrlni.wu.d(<8 x i32> %va, <8 x i32> %vb, i32 64)
 112   ret <8 x i32> %res
 113 }
 114
 115 declare <4 x i64> @llvm.loongarch.lasx.xvssrlni.du.q(<4 x i64>, <4 x i64>, i32)
 116
 117 define <4 x i64> @lasx_xvssrlni_du_q_lo(<4 x i64> %va, <4 x i64> %vb) nounwind {
 118 ; CHECK: llvm.loongarch.lasx.xvssrlni.du.q: argument out of range
 119 entry:
 120   %res = call <4 x i64> @llvm.loongarch.lasx.xvssrlni.du.q(<4 x i64> %va, <4 x i64> %vb, i32 -1)
 121   ret <4 x i64> %res
 122 }
 123
 124 define <4 x i64> @lasx_xvssrlni_du_q_hi(<4 x i64> %va, <4 x i64> %vb) nounwind {
 125 ; CHECK: llvm.loongarch.lasx.xvssrlni.du.q: argument out of range
 126 entry:
 127   %res = call <4 x i64> @llvm.loongarch.lasx.xvssrlni.du.q(<4 x i64> %va, <4 x i64> %vb, i32 128)
 128   ret <4 x i64> %res
 129 }