David Green | a0a9e1c | 2020-11-09 13:17:53 +0000 | [diff] [blame] | 1 | # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py |
| 2 | # RUN: llc -mtriple=thumbv8.1m.main-none-none-eabi -mattr=+mve.fp -run-pass arm-mve-vpt %s -o - -verify-machineinstrs | FileCheck %s |
| 3 | |
| 4 | # Check we remove kill flags when combining VCMP into a VPST |
| 5 | |
| 6 | --- | |
| 7 | define i32 @b() { |
| 8 | ret i32 undef |
| 9 | } |
| 10 | |
| 11 | ... |
| 12 | --- |
| 13 | name: b |
| 14 | tracksRegLiveness: true |
| 15 | body: | |
| 16 | bb.0: |
| 17 | liveins: $r0, $r1, $r4, $r6, $r7, $lr |
| 18 | |
| 19 | ; CHECK-LABEL: name: b |
| 20 | ; CHECK: liveins: $r0, $r1, $r4, $r6, $r7, $lr |
| 21 | ; CHECK: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r4, killed $r6, killed $r7, killed $lr |
David Green | 9cb8f4d | 2021-09-02 13:42:58 +0100 | [diff] [blame] | 22 | ; CHECK: renamable $q0 = MVE_VMOVimmi32 0, 0, $noreg, $noreg, undef renamable $q0 |
| 23 | ; CHECK: renamable $q1 = MVE_VMOVimmi32 1, 0, $noreg, $noreg, undef renamable $q1 |
| 24 | ; CHECK: renamable $q2 = MVE_VADD_qr_i32 renamable $q1, renamable $r1, 0, $noreg, $noreg, undef renamable $q2 |
David Green | a0a9e1c | 2020-11-09 13:17:53 +0000 | [diff] [blame] | 25 | ; CHECK: BUNDLE implicit-def dead $vpr, implicit-def $q0, implicit-def $d0, implicit-def $s0, implicit-def $s1, implicit-def $d1, implicit-def $s2, implicit-def $s3, implicit killed $q0, implicit $q1, implicit killed $q2 { |
| 26 | ; CHECK: MVE_VPTv4u32 8, renamable $q0, renamable $q1, 8, implicit-def $vpr |
David Green | 9cb8f4d | 2021-09-02 13:42:58 +0100 | [diff] [blame] | 27 | ; CHECK: renamable $q0 = MVE_VORR killed renamable $q0, killed renamable $q2, 1, internal killed renamable $vpr, $noreg, renamable $q0 |
David Green | a0a9e1c | 2020-11-09 13:17:53 +0000 | [diff] [blame] | 28 | ; CHECK: } |
| 29 | ; CHECK: $sp = frame-destroy t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r4, def $r6, def $r7, def $pc, implicit undef $r0 |
| 30 | $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r4, killed $r6, killed $r7, killed $lr |
David Green | 9cb8f4d | 2021-09-02 13:42:58 +0100 | [diff] [blame] | 31 | renamable $q0 = MVE_VMOVimmi32 0, 0, $noreg, $noreg, undef renamable $q0 |
| 32 | renamable $q1 = MVE_VMOVimmi32 1, 0, $noreg, $noreg, undef renamable $q1 |
| 33 | renamable $vpr = MVE_VCMPu32 renamable $q0, renamable $q1, 8, 0, $noreg, $noreg |
| 34 | renamable $q2 = MVE_VADD_qr_i32 killed renamable $q1, renamable $r1, 0, $noreg, $noreg, undef renamable $q2 |
| 35 | renamable $q0 = MVE_VORR killed renamable $q0, killed renamable $q2, 1, killed renamable $vpr, $noreg, renamable $q0 |
David Green | a0a9e1c | 2020-11-09 13:17:53 +0000 | [diff] [blame] | 36 | $sp = frame-destroy t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r4, def $r6, def $r7, def $pc, implicit undef $r0 |
| 37 | |
| 38 | ... |