mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-26 12:56:08 +00:00
009398b3b3
-Improve messages. -Remove redundant checks that are handled in generic code. -Add check that the subvector is smaller than the vector. -Add checks that subvector is smaller than the vector.
68 lines
2.5 KiB
YAML
68 lines
2.5 KiB
YAML
# RUN: not --crash llc -o - -run-pass=none -verify-machineinstrs -mtriple=arm64 %s 2>&1 | FileCheck %s
|
|
# REQUIRES: aarch64-registered-target
|
|
|
|
---
|
|
name: g_splat_vector
|
|
tracksRegLiveness: true
|
|
liveins:
|
|
body: |
|
|
bb.0:
|
|
%0:_(s32) = G_CONSTANT i32 0
|
|
%1:_(<vscale x 2 x s32>) = G_IMPLICIT_DEF
|
|
%2:_(<vscale x 1 x s32>) = G_IMPLICIT_DEF
|
|
|
|
; CHECK: generic instruction must use register operands
|
|
; CHECK: G_INSERT_SUBVECTOR first source must be a register
|
|
%3:_(<vscale x 2 x s32>) = G_INSERT_SUBVECTOR 1, %2, 0
|
|
|
|
; CHECK: generic instruction must use register operands
|
|
; CHECK: G_INSERT_SUBVECTOR second source must be a register
|
|
%4:_(<vscale x 2 x s32>) = G_INSERT_SUBVECTOR %1, 1, 0
|
|
|
|
; CHECK: G_INSERT_SUBVECTOR index must be an immediate
|
|
%5:_(<vscale x 2 x s32>) = G_INSERT_SUBVECTOR %1, %2, %0
|
|
|
|
; CHECK: Destination type must be a vector
|
|
%6:_(s32) = G_INSERT_SUBVECTOR %1, %2, 0
|
|
|
|
; CHECK: Type mismatch in generic instruction
|
|
%7:_(<vscale x 2 x s32>) = G_INSERT_SUBVECTOR %0, %2, 0
|
|
|
|
; CHECK: Second source must be a vector
|
|
%8:_(<vscale x 2 x s32>) = G_INSERT_SUBVECTOR %1, %0, 0
|
|
|
|
; CHECK: Type mismatch in generic instruction
|
|
%9:_(<vscale x 2 x s32>) = G_INSERT_SUBVECTOR %2, %1, 0
|
|
|
|
%10:_(<vscale x 1 x s16>) = G_IMPLICIT_DEF
|
|
|
|
; CHECK: Element type of vectors must be the same
|
|
%11:_(<vscale x 2 x s32>) = G_INSERT_SUBVECTOR %1, %10, 0
|
|
|
|
%12:_(<vscale x 4 x s32>) = G_IMPLICIT_DEF
|
|
|
|
; CHECK: Index must be a multiple of the second source vector's minimum vector length
|
|
%13:_(<vscale x 4 x s32>) = G_INSERT_SUBVECTOR %12, %1, 3
|
|
|
|
; CHECK: Index must be a multiple of the second source vector's minimum vector length
|
|
%14:_(<vscale x 4 x s32>) = G_INSERT_SUBVECTOR %12, %1, 1
|
|
|
|
%15:_(<vscale x 4 x s32>) = G_IMPLICIT_DEF
|
|
|
|
; CHECK: Second source must be smaller than destination vector
|
|
%16:_(<vscale x 2 x s32>) = G_INSERT_SUBVECTOR %1, %15, 0
|
|
|
|
; CHECK: Subvector type and index must not cause insert to overrun the vector being inserted into
|
|
%17:_(<vscale x 4 x s32>) = G_INSERT_SUBVECTOR %12, %1, 4
|
|
|
|
%18:_(<vscale x 3 x s32>) = G_IMPLICIT_DEF
|
|
|
|
; CHECK: Subvector type and index must not cause insert to overrun the vector being inserted into
|
|
%19:_(<vscale x 3 x s32>) = G_INSERT_SUBVECTOR %18, %1, 2
|
|
|
|
%20:_(<2 x s32>) = G_IMPLICIT_DEF
|
|
|
|
; CHECK: Vector types must both be fixed or both be scalable
|
|
%21:_(<vscale x 1 x s32>) = G_INSERT_SUBVECTOR %12, %20, 2
|
|
...
|