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#
11name: aarch64-ccmp-successor-probs
12registers:
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 }
21body : |
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...
47