1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 4
2 # RUN: llc -mtriple=aarch64--linux-gnu -run-pass=early-machinelicm %s -verify-machineinstrs -o - | FileCheck %s
4 name: test_should_hoist_pfalse
5 tracksRegLiveness: true
7 ; CHECK-LABEL: name: test_should_hoist_pfalse
9 ; CHECK-NEXT: successors: %bb.1(0x80000000)
10 ; CHECK-NEXT: liveins: $x0, $x1
12 ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
13 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
14 ; CHECK-NEXT: MSRpstatesvcrImm1 1, 1, csr_aarch64_smstartstop, implicit-def dead $nzcv, implicit $vg, implicit-def $vg
15 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr64all = COPY [[COPY1]]
16 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr64all = COPY [[COPY]]
17 ; CHECK-NEXT: [[PFALSE:%[0-9]+]]:ppr = PFALSE implicit $vg
20 ; CHECK-NEXT: successors: %bb.2(0x40000000), %bb.1(0x40000000)
22 ; CHECK-NEXT: [[PHI:%[0-9]+]]:gpr64common = PHI [[COPY2]], %bb.0, %5, %bb.1
23 ; CHECK-NEXT: [[PHI1:%[0-9]+]]:gpr64sp = PHI [[COPY3]], %bb.0, %7, %bb.1
24 ; CHECK-NEXT: STR_PXI [[PFALSE]], [[PHI]], 0
25 ; CHECK-NEXT: [[SUBSXri:%[0-9]+]]:gpr64 = SUBSXri [[PHI1]], 1, 0, implicit-def $nzcv
26 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:gpr64all = COPY [[SUBSXri]]
27 ; CHECK-NEXT: [[INCD_XPiI:%[0-9]+]]:gpr64 = INCD_XPiI [[PHI]], 31, 1
28 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:gpr64all = COPY [[INCD_XPiI]]
29 ; CHECK-NEXT: Bcc 1, %bb.1, implicit $nzcv
33 ; CHECK-NEXT: MSRpstatesvcrImm1 1, 0, csr_aarch64_smstartstop, implicit-def dead $nzcv, implicit $vg, implicit-def $vg
34 ; CHECK-NEXT: RET_ReallyLR
41 MSRpstatesvcrImm1 1, 1, csr_aarch64_smstartstop, implicit-def dead $nzcv, implicit $vg, implicit-def $vg
46 successors: %bb.2, %bb.1
48 %0:gpr64common = PHI %6, %bb.0, %3, %bb.1
49 %1:gpr64sp = PHI %7, %bb.0, %2, %bb.1
50 %8:ppr = PFALSE implicit $vg
51 STR_PXI killed %8, %0, 0
52 %9:gpr64 = SUBSXri %1, 1, 0, implicit-def $nzcv
54 %10:gpr64 = INCD_XPiI %0, 31, 1
55 %3:gpr64all = COPY %10
58 Bcc 1, %bb.1, implicit $nzcv
62 MSRpstatesvcrImm1 1, 0, csr_aarch64_smstartstop, implicit-def dead $nzcv, implicit $vg, implicit-def $vg