llvm-project

1
# RUN: not --crash llc -o - -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
2
---
3
name:            g_extract_subvector
4
tracksRegLiveness: true
5
liveins:
6
body:             |
7
  bb.0:
8
    %0:_(s32) = G_CONSTANT i32 0
9
    %1:_(<vscale x 2 x s32>) = G_IMPLICIT_DEF
10
    %2:_(<vscale x 1 x s32>) = G_IMPLICIT_DEF
11

12
    ; CHECK: G_EXTRACT_SUBVECTOR first source must be a register
13
    %3:_(<vscale x 2 x s32>) = G_EXTRACT_SUBVECTOR 1, 0
14

15
    ; CHECK: G_EXTRACT_SUBVECTOR index must be an immediate
16
    %4:_(<vscale x 1 x s32>) = G_EXTRACT_SUBVECTOR %2, %0
17

18
    ; CHECK: Destination type must be a vector
19
    %5:_(s32) = G_EXTRACT_SUBVECTOR %2, 0
20

21
    ; CHECK: First source must be a vector
22
    %6:_(<vscale x 2 x s32>) = G_EXTRACT_SUBVECTOR %0, 0
23

24
    %7:_(<vscale x 1 x s16>) = G_IMPLICIT_DEF
25

26
    ; CHECK: Element type of vectors must be the same
27
    %8:_(<vscale x 2 x s32>) = G_EXTRACT_SUBVECTOR %7, 0
28

29
    ; CHECK: Index must be a multiple of the source vector's minimum vector length
30
    %9:_(<vscale x 4 x s32>) = G_EXTRACT_SUBVECTOR  %1, 3
31
...
32