test/CodeGen/AArch64/ccmp-successor-probs.mir

   1 # RUN: llc -o - %s -mtriple=aarch64--linux-gnu -mcpu=falkor -run-pass=aarch64-ccmp | FileCheck %s
   2 ---
   3 # This test checks that successor probabilties are properly updated after a
   4 # ccmp-conversion.
   5 #
   6 # CHECK-LABEL: name: aarch64-ccmp-successor-probs
   7 # CHECK:       bb.0:
   8 # CHECK-NEXT:    successors: %bb.2(0x04000000), %bb.3(0x7c000000)
   9 # CHECK:         CCMPXr %5, %4, 0, 10, implicit-def $nzcv, implicit $nzcv
  10 #
  11 name: aarch64-ccmp-successor-probs
  12 registers:
  13   - { id: 0, class: gpr64 }
  14   - { id: 1, class: gpr64 }
  15   - { id: 2, class: gpr64 }
  16   - { id: 3, class: gpr64 }
  17   - { id: 4, class: gpr64 }
  18   - { id: 5, class: gpr64 }
  19   - { id: 6, class: gpr64 }
  20   - { id: 7, class: gpr64 }
  21 body : |
  22   bb.0:
  23     successors: %bb.1(0x7e000000), %bb.2(0x02000000)
  24
  25     %0 = LDRXui killed $x0, 69
  26     %1 = COPY $xzr
  27     %2 = SUBSXrr %1, %0, implicit-def dead $nzcv
  28     %3 = SUBSXri $x1, 1, 0, implicit-def dead $nzcv
  29     %4 = COPY %0
  30     %5 = COPY %3
  31     %6 = SUBSXrr $x1, killed %2, implicit-def $nzcv
  32     Bcc 11, %bb.2, implicit $nzcv
  33     B %bb.1
  34
  35   bb.1:
  36     successors: %bb.2(0x02082082), %bb.3(0x7df7df7e)
  37
  38     %7 = SUBSXrr %5, %4, implicit-def $nzcv
  39     Bcc 12, %bb.2, implicit $nzcv
  40     B %bb.3
  41
  42   bb.2:
  43     successors: %bb.3(0x80000000)
  44
  45   bb.3:
  46 ...