| # RUN: llc -o - %s -mtriple=aarch64--linux-gnu -mcpu=falkor -run-pass=aarch64-ccmp | FileCheck %s |
| --- |
| # This test checks that successor probabilties are properly updated after a |
| # ccmp-conversion. |
| # |
| # CHECK-LABEL: name: aarch64-ccmp-successor-probs |
| # CHECK: bb.0: |
| # CHECK-NEXT: successors: %bb.2(0x04000000), %bb.3(0x7c000000) |
| # CHECK: CCMPXr %5, %4, 0, 10, implicit-def $nzcv, implicit $nzcv |
| # |
| name: aarch64-ccmp-successor-probs |
| registers: |
| - { id: 0, class: gpr64 } |
| - { id: 1, class: gpr64 } |
| - { id: 2, class: gpr64 } |
| - { id: 3, class: gpr64 } |
| - { id: 4, class: gpr64 } |
| - { id: 5, class: gpr64 } |
| - { id: 6, class: gpr64 } |
| - { id: 7, class: gpr64 } |
| body : | |
| bb.0: |
| successors: %bb.1(0x7e000000), %bb.2(0x02000000) |
| |
| %0 = LDRXui killed $x0, 69 |
| %1 = COPY $xzr |
| %2 = SUBSXrr %1, %0, implicit-def dead $nzcv |
| %3 = SUBSXri $x1, 1, 0, implicit-def dead $nzcv |
| %4 = COPY %0 |
| %5 = COPY %3 |
| %6 = SUBSXrr $x1, killed %2, implicit-def $nzcv |
| Bcc 11, %bb.2, implicit $nzcv |
| B %bb.1 |
| |
| bb.1: |
| successors: %bb.2(0x02082082), %bb.3(0x7df7df7e) |
| |
| %7 = SUBSXrr %5, %4, implicit-def $nzcv |
| Bcc 12, %bb.2, implicit $nzcv |
| B %bb.3 |
| |
| bb.2: |
| successors: %bb.3(0x80000000) |
| |
| bb.3: |
| ... |