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

   1 ; RUN: not llc --mtriple=loongarch64 --mattr=+lasx < %s 2>&1 | FileCheck %s
   2
   3 declare void @llvm.loongarch.lasx.xvstelm.b(<32 x i8>, ptr, i32, i32)
   4
   5 define void @lasx_xvstelm_b_lo(<32 x i8> %va, ptr %p) nounwind {
   6 ; CHECK: llvm.loongarch.lasx.xvstelm.b: argument out of range
   7 entry:
   8   call void @llvm.loongarch.lasx.xvstelm.b(<32 x i8> %va, ptr %p, i32 -129, i32 1)
   9   ret void
  10 }
  11
  12 define void @lasx_xvstelm_b_hi(<32 x i8> %va, ptr %p) nounwind {
  13 ; CHECK: llvm.loongarch.lasx.xvstelm.b: argument out of range
  14 entry:
  15   call void @llvm.loongarch.lasx.xvstelm.b(<32 x i8> %va, ptr %p, i32 128, i32 1)
  16   ret void
  17 }
  18
  19 define void @lasx_xvstelm_b_idx_lo(<32 x i8> %va, ptr %p) nounwind {
  20 ; CHECK: llvm.loongarch.lasx.xvstelm.b: argument out of range
  21 entry:
  22   call void @llvm.loongarch.lasx.xvstelm.b(<32 x i8> %va, ptr %p, i32 1, i32 -1)
  23   ret void
  24 }
  25
  26 define void @lasx_xvstelm_b_idx_hi(<32 x i8> %va, ptr %p) nounwind {
  27 ; CHECK: llvm.loongarch.lasx.xvstelm.b: argument out of range
  28 entry:
  29   call void @llvm.loongarch.lasx.xvstelm.b(<32 x i8> %va, ptr %p, i32 1, i32 32)
  30   ret void
  31 }
  32
  33 declare void @llvm.loongarch.lasx.xvstelm.h(<16 x i16>, ptr, i32, i32)
  34
  35 define void @lasx_xvstelm_h_lo(<16 x i16> %va, ptr %p) nounwind {
  36 ; CHECK: llvm.loongarch.lasx.xvstelm.h: argument out of range or not a multiple of 2.
  37 entry:
  38   call void @llvm.loongarch.lasx.xvstelm.h(<16 x i16> %va, ptr %p, i32 -258, i32 1)
  39   ret void
  40 }
  41
  42 define void @lasx_xvstelm_h_hi(<16 x i16> %va, ptr %p) nounwind {
  43 ; CHECK: llvm.loongarch.lasx.xvstelm.h: argument out of range or not a multiple of 2.
  44 entry:
  45   call void @llvm.loongarch.lasx.xvstelm.h(<16 x i16> %va, ptr %p, i32 256, i32 1)
  46   ret void
  47 }
  48
  49 define void @lasx_xvstelm_h_idx_lo(<16 x i16> %va, ptr %p) nounwind {
  50 ; CHECK: llvm.loongarch.lasx.xvstelm.h: argument out of range or not a multiple of 2.
  51 entry:
  52   call void @llvm.loongarch.lasx.xvstelm.h(<16 x i16> %va, ptr %p, i32 2, i32 -1)
  53   ret void
  54 }
  55
  56 define void @lasx_xvstelm_h_idx_hi(<16 x i16> %va, ptr %p) nounwind {
  57 ; CHECK: llvm.loongarch.lasx.xvstelm.h: argument out of range or not a multiple of 2.
  58 entry:
  59   call void @llvm.loongarch.lasx.xvstelm.h(<16 x i16> %va, ptr %p, i32 2, i32 16)
  60   ret void
  61 }
  62
  63 declare void @llvm.loongarch.lasx.xvstelm.w(<8 x i32>, ptr, i32, i32)
  64
  65 define void @lasx_xvstelm_w_lo(<8 x i32> %va, ptr %p) nounwind {
  66 ; CHECK: llvm.loongarch.lasx.xvstelm.w: argument out of range or not a multiple of 4.
  67 entry:
  68   call void @llvm.loongarch.lasx.xvstelm.w(<8 x i32> %va, ptr %p, i32 -516, i32 1)
  69   ret void
  70 }
  71
  72 define void @lasx_xvstelm_w_hi(<8 x i32> %va, ptr %p) nounwind {
  73 ; CHECK: llvm.loongarch.lasx.xvstelm.w: argument out of range or not a multiple of 4.
  74 entry:
  75   call void @llvm.loongarch.lasx.xvstelm.w(<8 x i32> %va, ptr %p, i32 512, i32 1)
  76   ret void
  77 }
  78
  79 define void @lasx_xvstelm_w_idx_lo(<8 x i32> %va, ptr %p) nounwind {
  80 ; CHECK: llvm.loongarch.lasx.xvstelm.w: argument out of range or not a multiple of 4.
  81 entry:
  82   call void @llvm.loongarch.lasx.xvstelm.w(<8 x i32> %va, ptr %p, i32 4, i32 -1)
  83   ret void
  84 }
  85
  86 define void @lasx_xvstelm_w_idx_hi(<8 x i32> %va, ptr %p) nounwind {
  87 ; CHECK: llvm.loongarch.lasx.xvstelm.w: argument out of range or not a multiple of 4.
  88 entry:
  89   call void @llvm.loongarch.lasx.xvstelm.w(<8 x i32> %va, ptr %p, i32 4, i32 8)
  90   ret void
  91 }
  92
  93 declare void @llvm.loongarch.lasx.xvstelm.d(<4 x i64>, ptr, i32, i32)
  94
  95 define void @lasx_xvstelm_d_lo(<4 x i64> %va, ptr %p) nounwind {
  96 ; CHECK: llvm.loongarch.lasx.xvstelm.d: argument out of range or not a multiple of 8.
  97 entry:
  98   call void @llvm.loongarch.lasx.xvstelm.d(<4 x i64> %va, ptr %p, i32 -1032, i32 1)
  99   ret void
 100 }
 101
 102 define void @lasx_xvstelm_d_hi(<4 x i64> %va, ptr %p) nounwind {
 103 ; CHECK: llvm.loongarch.lasx.xvstelm.d: argument out of range or not a multiple of 8.
 104 entry:
 105   call void @llvm.loongarch.lasx.xvstelm.d(<4 x i64> %va, ptr %p, i32 1024, i32 1)
 106   ret void
 107 }
 108
 109 define void @lasx_xvstelm_d_idx_lo(<4 x i64> %va, ptr %p) nounwind {
 110 ; CHECK: llvm.loongarch.lasx.xvstelm.d: argument out of range or not a multiple of 8.
 111 entry:
 112   call void @llvm.loongarch.lasx.xvstelm.d(<4 x i64> %va, ptr %p, i32 8, i32 -1)
 113   ret void
 114 }
 115
 116 define void @lasx_xvstelm_d_idx_hi(<4 x i64> %va, ptr %p) nounwind {
 117 ; CHECK: llvm.loongarch.lasx.xvstelm.d: argument out of range or not a multiple of 8.
 118 entry:
 119   call void @llvm.loongarch.lasx.xvstelm.d(<4 x i64> %va, ptr %p, i32 8, i32 4)
 120   ret void
 121 }