1# RUN: not --crash llc -o - -march=arm64 -global-isel -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
2# REQUIRES: aarch64-registered-target
3---
4name:            g_build_vector
5tracksRegLiveness: true
6liveins:
7body:             |
8  bb.0:
9    %0:_(s32) = IMPLICIT_DEF
10
11    ; CHECK: Bad machine code: G_BUILD_VECTOR must produce a vector from scalar operands
12    %1:_(s32) = G_BUILD_VECTOR %0
13
14    %2:_(<2 x s32>) = IMPLICIT_DEF
15
16    ; CHECK: Bad machine code: G_BUILD_VECTOR must produce a vector from scalar operands
17    %3:_(<2 x s32>) = G_BUILD_VECTOR %2
18
19    ; CHECK: Bad machine code: G_BUILD_VECTOR must have an operand for each elemement
20    %4:_(<2 x s32>) = G_BUILD_VECTOR %0, %0, %0, %0
21
22    ; CHECK: Bad machine code: G_BUILD_VECTOR result element type must match source type
23    ; CHECK: Bad machine code: G_BUILD_VECTOR must have an operand for each elemement
24    %5:_(<4 x s16>) = G_BUILD_VECTOR %0, %0
25
26    %6:_(s16) = IMPLICIT_DEF
27
28    ; CHECK: Bad machine code: G_BUILD_VECTOR result element type must match source type
29    ; CHECK: Bad machine code: G_BUILD_VECTOR must have an operand for each elemement
30    %7:_(<2 x s32>) = G_BUILD_VECTOR %6, %6, %6, %6
31
32    %8:_(p0) = IMPLICIT_DEF
33
34    ; CHECK: Bad machine code: G_BUILD_VECTOR result element type must match source type
35    %9:_(<2 x s64>) = G_BUILD_VECTOR %8, %8
36
37    %10:_(s64) = IMPLICIT_DEF
38
39    ; CHECK: Bad machine code: G_BUILD_VECTOR result element type must match source type
40    %11:_(<2 x p0>) = G_BUILD_VECTOR %10, %10
41...
42