llvm/test/CodeGen/AArch64/sve-streaming-mode-fixed-length-rev.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mattr=+sve -force-streaming-compatible-sve < %s | FileCheck %s
   3 ; RUN: llc -mattr=+sme -force-streaming-compatible-sve < %s | FileCheck %s
   4
   5
   6 target triple = "aarch64-unknown-linux-gnu"
   7
   8 ;
   9 ; RBIT
  10 ;
  11
  12 define <4 x i8> @bitreverse_v4i8(<4 x i8> %op) {
  13 ; CHECK-LABEL: bitreverse_v4i8:
  14 ; CHECK:       // %bb.0:
  15 ; CHECK-NEXT:    ptrue p0.h, vl4
  16 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $z0
  17 ; CHECK-NEXT:    rbit z0.h, p0/m, z0.h
  18 ; CHECK-NEXT:    lsr z0.h, z0.h, #8
  19 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $z0
  20 ; CHECK-NEXT:    ret
  21   %res = call <4 x i8> @llvm.bitreverse.v4i8(<4 x i8> %op)
  22   ret <4 x i8> %res
  23 }
  24
  25 define <8 x i8> @bitreverse_v8i8(<8 x i8> %op) {
  26 ; CHECK-LABEL: bitreverse_v8i8:
  27 ; CHECK:       // %bb.0:
  28 ; CHECK-NEXT:    ptrue p0.b, vl8
  29 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $z0
  30 ; CHECK-NEXT:    rbit z0.b, p0/m, z0.b
  31 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $z0
  32 ; CHECK-NEXT:    ret
  33   %res = call <8 x i8> @llvm.bitreverse.v8i8(<8 x i8> %op)
  34   ret <8 x i8> %res
  35 }
  36
  37 define <16 x i8> @bitreverse_v16i8(<16 x i8> %op) {
  38 ; CHECK-LABEL: bitreverse_v16i8:
  39 ; CHECK:       // %bb.0:
  40 ; CHECK-NEXT:    ptrue p0.b, vl16
  41 ; CHECK-NEXT:    // kill: def $q0 killed $q0 def $z0
  42 ; CHECK-NEXT:    rbit z0.b, p0/m, z0.b
  43 ; CHECK-NEXT:    // kill: def $q0 killed $q0 killed $z0
  44 ; CHECK-NEXT:    ret
  45   %res = call <16 x i8> @llvm.bitreverse.v16i8(<16 x i8> %op)
  46   ret <16 x i8> %res
  47 }
  48
  49 define void @bitreverse_v32i8(ptr %a) {
  50 ; CHECK-LABEL: bitreverse_v32i8:
  51 ; CHECK:       // %bb.0:
  52 ; CHECK-NEXT:    ptrue p0.b, vl16
  53 ; CHECK-NEXT:    ldp q0, q1, [x0]
  54 ; CHECK-NEXT:    rbit z0.b, p0/m, z0.b
  55 ; CHECK-NEXT:    rbit z1.b, p0/m, z1.b
  56 ; CHECK-NEXT:    stp q0, q1, [x0]
  57 ; CHECK-NEXT:    ret
  58   %op = load <32 x i8>, ptr %a
  59   %res = call <32 x i8> @llvm.bitreverse.v32i8(<32 x i8> %op)
  60   store <32 x i8> %res, ptr %a
  61   ret void
  62 }
  63
  64 define <2 x i16> @bitreverse_v2i16(<2 x i16> %op) {
  65 ; CHECK-LABEL: bitreverse_v2i16:
  66 ; CHECK:       // %bb.0:
  67 ; CHECK-NEXT:    ptrue p0.s, vl2
  68 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $z0
  69 ; CHECK-NEXT:    rbit z0.s, p0/m, z0.s
  70 ; CHECK-NEXT:    lsr z0.s, z0.s, #16
  71 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $z0
  72 ; CHECK-NEXT:    ret
  73   %res = call <2 x i16> @llvm.bitreverse.v2i16(<2 x i16> %op)
  74   ret <2 x i16> %res
  75 }
  76
  77 define <4 x i16> @bitreverse_v4i16(<4 x i16> %op) {
  78 ; CHECK-LABEL: bitreverse_v4i16:
  79 ; CHECK:       // %bb.0:
  80 ; CHECK-NEXT:    ptrue p0.h, vl4
  81 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $z0
  82 ; CHECK-NEXT:    rbit z0.h, p0/m, z0.h
  83 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $z0
  84 ; CHECK-NEXT:    ret
  85   %res = call <4 x i16> @llvm.bitreverse.v4i16(<4 x i16> %op)
  86   ret <4 x i16> %res
  87 }
  88
  89 define <8 x i16> @bitreverse_v8i16(<8 x i16> %op) {
  90 ; CHECK-LABEL: bitreverse_v8i16:
  91 ; CHECK:       // %bb.0:
  92 ; CHECK-NEXT:    ptrue p0.h, vl8
  93 ; CHECK-NEXT:    // kill: def $q0 killed $q0 def $z0
  94 ; CHECK-NEXT:    rbit z0.h, p0/m, z0.h
  95 ; CHECK-NEXT:    // kill: def $q0 killed $q0 killed $z0
  96 ; CHECK-NEXT:    ret
  97   %res = call <8 x i16> @llvm.bitreverse.v8i16(<8 x i16> %op)
  98   ret <8 x i16> %res
  99 }
 100
 101 define void @bitreverse_v16i16(ptr %a) {
 102 ; CHECK-LABEL: bitreverse_v16i16:
 103 ; CHECK:       // %bb.0:
 104 ; CHECK-NEXT:    ptrue p0.h, vl8
 105 ; CHECK-NEXT:    ldp q0, q1, [x0]
 106 ; CHECK-NEXT:    rbit z0.h, p0/m, z0.h
 107 ; CHECK-NEXT:    rbit z1.h, p0/m, z1.h
 108 ; CHECK-NEXT:    stp q0, q1, [x0]
 109 ; CHECK-NEXT:    ret
 110   %op = load <16 x i16>, ptr %a
 111   %res = call <16 x i16> @llvm.bitreverse.v16i16(<16 x i16> %op)
 112   store <16 x i16> %res, ptr %a
 113   ret void
 114 }
 115
 116 define <2 x i32> @bitreverse_v2i32(<2 x i32> %op) {
 117 ; CHECK-LABEL: bitreverse_v2i32:
 118 ; CHECK:       // %bb.0:
 119 ; CHECK-NEXT:    ptrue p0.s, vl2
 120 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $z0
 121 ; CHECK-NEXT:    rbit z0.s, p0/m, z0.s
 122 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $z0
 123 ; CHECK-NEXT:    ret
 124   %res = call <2 x i32> @llvm.bitreverse.v2i32(<2 x i32> %op)
 125   ret <2 x i32> %res
 126 }
 127
 128 define <4 x i32> @bitreverse_v4i32(<4 x i32> %op) {
 129 ; CHECK-LABEL: bitreverse_v4i32:
 130 ; CHECK:       // %bb.0:
 131 ; CHECK-NEXT:    ptrue p0.s, vl4
 132 ; CHECK-NEXT:    // kill: def $q0 killed $q0 def $z0
 133 ; CHECK-NEXT:    rbit z0.s, p0/m, z0.s
 134 ; CHECK-NEXT:    // kill: def $q0 killed $q0 killed $z0
 135 ; CHECK-NEXT:    ret
 136   %res = call <4 x i32> @llvm.bitreverse.v4i32(<4 x i32> %op)
 137   ret <4 x i32> %res
 138 }
 139
 140 define void @bitreverse_v8i32(ptr %a) {
 141 ; CHECK-LABEL: bitreverse_v8i32:
 142 ; CHECK:       // %bb.0:
 143 ; CHECK-NEXT:    ptrue p0.s, vl4
 144 ; CHECK-NEXT:    ldp q0, q1, [x0]
 145 ; CHECK-NEXT:    rbit z0.s, p0/m, z0.s
 146 ; CHECK-NEXT:    rbit z1.s, p0/m, z1.s
 147 ; CHECK-NEXT:    stp q0, q1, [x0]
 148 ; CHECK-NEXT:    ret
 149   %op = load <8 x i32>, ptr %a
 150   %res = call <8 x i32> @llvm.bitreverse.v8i32(<8 x i32> %op)
 151   store <8 x i32> %res, ptr %a
 152   ret void
 153 }
 154
 155 define <1 x i64> @bitreverse_v1i64(<1 x i64> %op) {
 156 ; CHECK-LABEL: bitreverse_v1i64:
 157 ; CHECK:       // %bb.0:
 158 ; CHECK-NEXT:    ptrue p0.d, vl1
 159 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $z0
 160 ; CHECK-NEXT:    rbit z0.d, p0/m, z0.d
 161 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $z0
 162 ; CHECK-NEXT:    ret
 163   %res = call <1 x i64> @llvm.bitreverse.v1i64(<1 x i64> %op)
 164   ret <1 x i64> %res
 165 }
 166
 167 define <2 x i64> @bitreverse_v2i64(<2 x i64> %op) {
 168 ; CHECK-LABEL: bitreverse_v2i64:
 169 ; CHECK:       // %bb.0:
 170 ; CHECK-NEXT:    ptrue p0.d, vl2
 171 ; CHECK-NEXT:    // kill: def $q0 killed $q0 def $z0
 172 ; CHECK-NEXT:    rbit z0.d, p0/m, z0.d
 173 ; CHECK-NEXT:    // kill: def $q0 killed $q0 killed $z0
 174 ; CHECK-NEXT:    ret
 175   %res = call <2 x i64> @llvm.bitreverse.v2i64(<2 x i64> %op)
 176   ret <2 x i64> %res
 177 }
 178
 179 define void @bitreverse_v4i64(ptr %a) {
 180 ; CHECK-LABEL: bitreverse_v4i64:
 181 ; CHECK:       // %bb.0:
 182 ; CHECK-NEXT:    ptrue p0.d, vl2
 183 ; CHECK-NEXT:    ldp q0, q1, [x0]
 184 ; CHECK-NEXT:    rbit z0.d, p0/m, z0.d
 185 ; CHECK-NEXT:    rbit z1.d, p0/m, z1.d
 186 ; CHECK-NEXT:    stp q0, q1, [x0]
 187 ; CHECK-NEXT:    ret
 188   %op = load <4 x i64>, ptr %a
 189   %res = call <4 x i64> @llvm.bitreverse.v4i64(<4 x i64> %op)
 190   store <4 x i64> %res, ptr %a
 191   ret void
 192 }
 193
 194 ;
 195 ; REVB
 196 ;
 197
 198 define <2 x i16> @bswap_v2i16(<2 x i16> %op) {
 199 ; CHECK-LABEL: bswap_v2i16:
 200 ; CHECK:       // %bb.0:
 201 ; CHECK-NEXT:    ptrue p0.s, vl2
 202 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $z0
 203 ; CHECK-NEXT:    revb z0.s, p0/m, z0.s
 204 ; CHECK-NEXT:    lsr z0.s, z0.s, #16
 205 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $z0
 206 ; CHECK-NEXT:    ret
 207   %res = call <2 x i16> @llvm.bswap.v2i16(<2 x i16> %op)
 208   ret <2 x i16> %res
 209 }
 210
 211 define <4 x i16> @bswap_v4i16(<4 x i16> %op) {
 212 ; CHECK-LABEL: bswap_v4i16:
 213 ; CHECK:       // %bb.0:
 214 ; CHECK-NEXT:    ptrue p0.h, vl4
 215 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $z0
 216 ; CHECK-NEXT:    revb z0.h, p0/m, z0.h
 217 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $z0
 218 ; CHECK-NEXT:    ret
 219   %res = call <4 x i16> @llvm.bswap.v4i16(<4 x i16> %op)
 220   ret <4 x i16> %res
 221 }
 222
 223 define <8 x i16> @bswap_v8i16(<8 x i16> %op) {
 224 ; CHECK-LABEL: bswap_v8i16:
 225 ; CHECK:       // %bb.0:
 226 ; CHECK-NEXT:    ptrue p0.h, vl8
 227 ; CHECK-NEXT:    // kill: def $q0 killed $q0 def $z0
 228 ; CHECK-NEXT:    revb z0.h, p0/m, z0.h
 229 ; CHECK-NEXT:    // kill: def $q0 killed $q0 killed $z0
 230 ; CHECK-NEXT:    ret
 231   %res = call <8 x i16> @llvm.bswap.v8i16(<8 x i16> %op)
 232   ret <8 x i16> %res
 233 }
 234
 235 define void @bswap_v16i16(ptr %a) {
 236 ; CHECK-LABEL: bswap_v16i16:
 237 ; CHECK:       // %bb.0:
 238 ; CHECK-NEXT:    ptrue p0.h, vl8
 239 ; CHECK-NEXT:    ldp q0, q1, [x0]
 240 ; CHECK-NEXT:    revb z0.h, p0/m, z0.h
 241 ; CHECK-NEXT:    revb z1.h, p0/m, z1.h
 242 ; CHECK-NEXT:    stp q0, q1, [x0]
 243 ; CHECK-NEXT:    ret
 244   %op = load <16 x i16>, ptr %a
 245   %res = call <16 x i16> @llvm.bswap.v16i16(<16 x i16> %op)
 246   store <16 x i16> %res, ptr %a
 247   ret void
 248 }
 249
 250 define <2 x i32> @bswap_v2i32(<2 x i32> %op) {
 251 ; CHECK-LABEL: bswap_v2i32:
 252 ; CHECK:       // %bb.0:
 253 ; CHECK-NEXT:    ptrue p0.s, vl2
 254 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $z0
 255 ; CHECK-NEXT:    revb z0.s, p0/m, z0.s
 256 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $z0
 257 ; CHECK-NEXT:    ret
 258   %res = call <2 x i32> @llvm.bswap.v2i32(<2 x i32> %op)
 259   ret <2 x i32> %res
 260 }
 261
 262 define <4 x i32> @bswap_v4i32(<4 x i32> %op) {
 263 ; CHECK-LABEL: bswap_v4i32:
 264 ; CHECK:       // %bb.0:
 265 ; CHECK-NEXT:    ptrue p0.s, vl4
 266 ; CHECK-NEXT:    // kill: def $q0 killed $q0 def $z0
 267 ; CHECK-NEXT:    revb z0.s, p0/m, z0.s
 268 ; CHECK-NEXT:    // kill: def $q0 killed $q0 killed $z0
 269 ; CHECK-NEXT:    ret
 270   %res = call <4 x i32> @llvm.bswap.v4i32(<4 x i32> %op)
 271   ret <4 x i32> %res
 272 }
 273
 274 define void @bswap_v8i32(ptr %a) {
 275 ; CHECK-LABEL: bswap_v8i32:
 276 ; CHECK:       // %bb.0:
 277 ; CHECK-NEXT:    ptrue p0.s, vl4
 278 ; CHECK-NEXT:    ldp q0, q1, [x0]
 279 ; CHECK-NEXT:    revb z0.s, p0/m, z0.s
 280 ; CHECK-NEXT:    revb z1.s, p0/m, z1.s
 281 ; CHECK-NEXT:    stp q0, q1, [x0]
 282 ; CHECK-NEXT:    ret
 283   %op = load <8 x i32>, ptr %a
 284   %res = call <8 x i32> @llvm.bswap.v8i32(<8 x i32> %op)
 285   store <8 x i32> %res, ptr %a
 286   ret void
 287 }
 288
 289 define <1 x i64> @bswap_v1i64(<1 x i64> %op) {
 290 ; CHECK-LABEL: bswap_v1i64:
 291 ; CHECK:       // %bb.0:
 292 ; CHECK-NEXT:    ptrue p0.d, vl1
 293 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $z0
 294 ; CHECK-NEXT:    revb z0.d, p0/m, z0.d
 295 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $z0
 296 ; CHECK-NEXT:    ret
 297   %res = call <1 x i64> @llvm.bswap.v1i64(<1 x i64> %op)
 298   ret <1 x i64> %res
 299 }
 300
 301 define <2 x i64> @bswap_v2i64(<2 x i64> %op) {
 302 ; CHECK-LABEL: bswap_v2i64:
 303 ; CHECK:       // %bb.0:
 304 ; CHECK-NEXT:    ptrue p0.d, vl2
 305 ; CHECK-NEXT:    // kill: def $q0 killed $q0 def $z0
 306 ; CHECK-NEXT:    revb z0.d, p0/m, z0.d
 307 ; CHECK-NEXT:    // kill: def $q0 killed $q0 killed $z0
 308 ; CHECK-NEXT:    ret
 309   %res = call <2 x i64> @llvm.bswap.v2i64(<2 x i64> %op)
 310   ret <2 x i64> %res
 311 }
 312
 313 define void @bswap_v4i64(ptr %a) {
 314 ; CHECK-LABEL: bswap_v4i64:
 315 ; CHECK:       // %bb.0:
 316 ; CHECK-NEXT:    ptrue p0.d, vl2
 317 ; CHECK-NEXT:    ldp q0, q1, [x0]
 318 ; CHECK-NEXT:    revb z0.d, p0/m, z0.d
 319 ; CHECK-NEXT:    revb z1.d, p0/m, z1.d
 320 ; CHECK-NEXT:    stp q0, q1, [x0]
 321 ; CHECK-NEXT:    ret
 322   %op = load <4 x i64>, ptr %a
 323   %res = call <4 x i64> @llvm.bswap.v4i64(<4 x i64> %op)
 324   store <4 x i64> %res, ptr %a
 325   ret void
 326 }
 327
 328 declare <4 x i8> @llvm.bitreverse.v4i8(<4 x i8>)
 329 declare <8 x i8> @llvm.bitreverse.v8i8(<8 x i8>)
 330 declare <16 x i8> @llvm.bitreverse.v16i8(<16 x i8>)
 331 declare <32 x i8> @llvm.bitreverse.v32i8(<32 x i8>)
 332 declare <2 x i16> @llvm.bitreverse.v2i16(<2 x i16>)
 333 declare <4 x i16> @llvm.bitreverse.v4i16(<4 x i16>)
 334 declare <8 x i16> @llvm.bitreverse.v8i16(<8 x i16>)
 335 declare <16 x i16> @llvm.bitreverse.v16i16(<16 x i16>)
 336 declare <2 x i32> @llvm.bitreverse.v2i32(<2 x i32>)
 337 declare <4 x i32> @llvm.bitreverse.v4i32(<4 x i32>)
 338 declare <8 x i32> @llvm.bitreverse.v8i32(<8 x i32>)
 339 declare <1 x i64> @llvm.bitreverse.v1i64(<1 x i64>)
 340 declare <2 x i64> @llvm.bitreverse.v2i64(<2 x i64>)
 341 declare <4 x i64> @llvm.bitreverse.v4i64(<4 x i64>)
 342
 343 declare <2 x i16> @llvm.bswap.v2i16(<2 x i16>)
 344 declare <4 x i16> @llvm.bswap.v4i16(<4 x i16>)
 345 declare <8 x i16> @llvm.bswap.v8i16(<8 x i16>)
 346 declare <16 x i16> @llvm.bswap.v16i16(<16 x i16>)
 347 declare <2 x i32> @llvm.bswap.v2i32(<2 x i32>)
 348 declare <4 x i32> @llvm.bswap.v4i32(<4 x i32>)
 349 declare <8 x i32> @llvm.bswap.v8i32(<8 x i32>)
 350 declare <1 x i64> @llvm.bswap.v1i64(<1 x i64>)
 351 declare <2 x i64> @llvm.bswap.v2i64(<2 x i64>)
 352 declare <4 x i64> @llvm.bswap.v4i64(<4 x i64>)