1#RUN: not --crash llc -march=aarch64 -run-pass=none -verify-machineinstrs -o /dev/null %s 2>&1 | FileCheck %s
2# REQUIRES: aarch64-registered-target
3
4---
5name:            test_select
6legalized:       true
7regBankSelected: false
8selected:        false
9tracksRegLiveness: true
10liveins:
11body:             |
12  bb.0:
13
14    %0:_(s32) = G_CONSTANT i32 0
15    %1:_(s32) = G_CONSTANT i32 1
16    %2:_(s1) = G_CONSTANT i32 0
17    %3:_(<2 x s32>) = G_IMPLICIT_DEF
18    %4:_(<4 x s32>) = G_IMPLICIT_DEF
19    %5:_(<2 x s1>) = G_IMPLICIT_DEF
20    %6:_(<4 x s1>) = G_IMPLICIT_DEF
21
22    ; CHECK: Bad machine code: operand types must be all-vector or all-scalar
23    %7:_(s32) = G_SELECT %5, %0, %1
24
25    ; CHECK: Bad machine code: operand types must preserve number of vector elements
26    %8:_(<2 x s32>) = G_SELECT %6, %3, %3
27
28    ; CHECK: Bad machine code: operand types must preserve number of vector elements
29    %9:_(<4 x s32>) = G_SELECT %5, %4, %4
30
31...
32