xref: /llvm-project/llvm/test/MachineVerifier/test_insert_subreg.mir (revision d20190e68413634b87f0f9426312a0e9d8456d18) 
1#RUN: not --crash llc -mtriple=aarch64 -o - -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
2# REQUIRES: aarch64-registered-target
3
4---
5name:            test_insert_subreg
6legalized:       true
7regBankSelected: false
8selected:        false
9tracksRegLiveness: true
10liveins:
11body:             |
12  bb.0:
13    liveins: $s0, $h1, $q2
14
15    %0:fpr32 = COPY $s0
16
17    ; FIXME: we can't diagnose this case because the ARM backend treats fp16
18    ; values as being ssub regs, creating a contradiction in the sizes.
19    ; CHECK-NOT: *** Bad machine code:
20    %1:fpr128 = IMPLICIT_DEF
21    %2:fpr128 = INSERT_SUBREG %1:fpr128, %0:fpr32, %subreg.hsub
22
23    ; CHECK: *** Bad machine code: INSERT_SUBREG expected inserted value to have equal or lesser size than the subreg it was inserted into ***
24    %3:fpr128 = IMPLICIT_DEF
25    %4:fpr128 = INSERT_SUBREG %3:fpr128, %0:fpr32, %subreg.dsub
26
27    ; CHECK-NOT: *** Bad machine code:
28    %7:fpr128 = IMPLICIT_DEF
29    %8:fpr128 = INSERT_SUBREG %7:fpr128, %0:fpr32, %subreg.ssub
30
31    ; CHECK-NOT: *** Bad machine code:
32    %9:fpr128 = COPY $q2
33    %10:fpr128 = IMPLICIT_DEF
34    %11:fpr128 = INSERT_SUBREG %10:fpr128, %9.ssub, %subreg.ssub
35
36...
37