llvm/test/CodeGen/AArch64/sme-machine-licm-vg.mir

   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
   3 # RUN: llc -mtriple=aarch64--linux-gnu -passes=early-machinelicm %s -o - | FileCheck %s
   4 ---
   5 name:            test_should_hoist_pfalse
   6 tracksRegLiveness: true
   7 body:             |
   8   ; CHECK-LABEL: name: test_should_hoist_pfalse
   9   ; CHECK: bb.0:
  10   ; CHECK-NEXT:   successors: %bb.1(0x80000000)
  11   ; CHECK-NEXT:   liveins: $x0, $x1
  12   ; CHECK-NEXT: {{  $}}
  13   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:gpr64 = COPY $x1
  14   ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
  15   ; CHECK-NEXT:   MSRpstatesvcrImm1 1, 1, csr_aarch64_smstartstop, implicit-def dead $nzcv, implicit $vg, implicit-def $vg
  16   ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:gpr64all = COPY [[COPY1]]
  17   ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:gpr64all = COPY [[COPY]]
  18   ; CHECK-NEXT:   [[PFALSE:%[0-9]+]]:ppr = PFALSE implicit $vg
  19   ; CHECK-NEXT: {{  $}}
  20   ; CHECK-NEXT: bb.1:
  21   ; CHECK-NEXT:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
  22   ; CHECK-NEXT: {{  $}}
  23   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:gpr64common = PHI [[COPY2]], %bb.0, %5, %bb.1
  24   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:gpr64sp = PHI [[COPY3]], %bb.0, %7, %bb.1
  25   ; CHECK-NEXT:   STR_PXI [[PFALSE]], [[PHI]], 0
  26   ; CHECK-NEXT:   [[SUBSXri:%[0-9]+]]:gpr64 = SUBSXri [[PHI1]], 1, 0, implicit-def $nzcv
  27   ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gpr64all = COPY [[SUBSXri]]
  28   ; CHECK-NEXT:   [[INCD_XPiI:%[0-9]+]]:gpr64 = INCD_XPiI [[PHI]], 31, 1
  29   ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gpr64all = COPY [[INCD_XPiI]]
  30   ; CHECK-NEXT:   Bcc 1, %bb.1, implicit $nzcv
  31   ; CHECK-NEXT:   B %bb.2
  32   ; CHECK-NEXT: {{  $}}
  33   ; CHECK-NEXT: bb.2:
  34   ; CHECK-NEXT:   MSRpstatesvcrImm1 1, 0, csr_aarch64_smstartstop, implicit-def dead $nzcv, implicit $vg, implicit-def $vg
  35   ; CHECK-NEXT:   RET_ReallyLR
  36   bb.0:
  37     successors: %bb.1
  38     liveins: $x0, $x1
  39
  40     %5:gpr64 = COPY $x1
  41     %4:gpr64 = COPY $x0
  42     MSRpstatesvcrImm1 1, 1, csr_aarch64_smstartstop, implicit-def dead $nzcv, implicit $vg, implicit-def $vg
  43     %6:gpr64all = COPY %4
  44     %7:gpr64all = COPY %5
  45
  46   bb.1:
  47     successors: %bb.2, %bb.1
  48
  49     %0:gpr64common = PHI %6, %bb.0, %3, %bb.1
  50     %1:gpr64sp = PHI %7, %bb.0, %2, %bb.1
  51     %8:ppr = PFALSE implicit $vg
  52     STR_PXI killed %8, %0, 0
  53     %9:gpr64 = SUBSXri %1, 1, 0, implicit-def $nzcv
  54     %2:gpr64all = COPY %9
  55     %10:gpr64 = INCD_XPiI %0, 31, 1
  56     %3:gpr64all = COPY %10
  57
  58
  59     Bcc 1, %bb.1, implicit $nzcv
  60     B %bb.2
  61
  62   bb.2:
  63     MSRpstatesvcrImm1 1, 0, csr_aarch64_smstartstop, implicit-def dead $nzcv, implicit $vg, implicit-def $vg
  64     RET_ReallyLR
  65 ...