xref: /llvm-project/llvm/test/CodeGen/RISCV/GlobalISel/scalablevec-combiner-crash.ll (revision 4ca817d0511b2c36b2f5d242e0c8f90a7a9c4f14)
1*4ca817d0SCraig Topper; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
2*4ca817d0SCraig Topper; RUN: llc < %s -mtriple=riscv64 -mattr=+v -global-isel -stop-after=riscv-prelegalizer-combiner | FileCheck %s
3*4ca817d0SCraig Topper
4*4ca817d0SCraig Topper; Make sure we don't crash in the prelegalizer combiner for scalable vector
5*4ca817d0SCraig Topper; insert and extracts.
6*4ca817d0SCraig Topper
7*4ca817d0SCraig Topperdefine <vscale x 1 x i1> @insertelement_nxv1i1_0(<vscale x 1 x i1> %x) {
8*4ca817d0SCraig Topper  ; CHECK-LABEL: name: insertelement_nxv1i1_0
9*4ca817d0SCraig Topper  ; CHECK: bb.1 (%ir-block.0):
10*4ca817d0SCraig Topper  ; CHECK-NEXT:   liveins: $v0
11*4ca817d0SCraig Topper  ; CHECK-NEXT: {{  $}}
12*4ca817d0SCraig Topper  ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(<vscale x 1 x s1>) = COPY $v0
13*4ca817d0SCraig Topper  ; CHECK-NEXT:   [[C:%[0-9]+]]:_(s1) = G_CONSTANT i1 false
14*4ca817d0SCraig Topper  ; CHECK-NEXT:   [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
15*4ca817d0SCraig Topper  ; CHECK-NEXT:   [[IVEC:%[0-9]+]]:_(<vscale x 1 x s1>) = G_INSERT_VECTOR_ELT [[COPY]], [[C]](s1), [[C1]](s64)
16*4ca817d0SCraig Topper  ; CHECK-NEXT:   $v0 = COPY [[IVEC]](<vscale x 1 x s1>)
17*4ca817d0SCraig Topper  ; CHECK-NEXT:   PseudoRET implicit $v0
18*4ca817d0SCraig Topper  %a = insertelement <vscale x 1 x i1> %x, i1 0, i32 0
19*4ca817d0SCraig Topper  ret <vscale x 1 x i1> %a
20*4ca817d0SCraig Topper}
21*4ca817d0SCraig Topper
22*4ca817d0SCraig Topperdefine <vscale x 1 x i1> @shufflevector_nxv1i1_0(<vscale x 1 x i1> %x) {
23*4ca817d0SCraig Topper  ; CHECK-LABEL: name: shufflevector_nxv1i1_0
24*4ca817d0SCraig Topper  ; CHECK: bb.1 (%ir-block.0):
25*4ca817d0SCraig Topper  ; CHECK-NEXT:   liveins: $v0
26*4ca817d0SCraig Topper  ; CHECK-NEXT: {{  $}}
27*4ca817d0SCraig Topper  ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(<vscale x 1 x s1>) = COPY $v0
28*4ca817d0SCraig Topper  ; CHECK-NEXT:   [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
29*4ca817d0SCraig Topper  ; CHECK-NEXT:   [[EVEC:%[0-9]+]]:_(s1) = G_EXTRACT_VECTOR_ELT [[COPY]](<vscale x 1 x s1>), [[C]](s64)
30*4ca817d0SCraig Topper  ; CHECK-NEXT:   [[SPLAT_VECTOR:%[0-9]+]]:_(<vscale x 1 x s1>) = G_SPLAT_VECTOR [[EVEC]](s1)
31*4ca817d0SCraig Topper  ; CHECK-NEXT:   $v0 = COPY [[SPLAT_VECTOR]](<vscale x 1 x s1>)
32*4ca817d0SCraig Topper  ; CHECK-NEXT:   PseudoRET implicit $v0
33*4ca817d0SCraig Topper  %a = shufflevector <vscale x 1 x i1> %x, <vscale x 1 x i1> poison, <vscale x 1 x i32> poison
34*4ca817d0SCraig Topper  ret <vscale x 1 x i1> %a
35*4ca817d0SCraig Topper}
36