| # RUN: llc -o - %s -mtriple=aarch64 -run-pass branch-folder -verify-machineinstrs | FileCheck %s |
| # Check that BranchFolding pass is able to hoist a common instruction into a block with a single branch instruction. |
| name: func |
| tracksRegLiveness: true |
| body: | |
| bb.0: |
| ; CHECK-LABEL: name: func |
| ; CHECK-LABEL: bb.0: |
| ; CHECK: $x0 = ADDXri $x0, 1, 0 |
| ; CHECK: CBZX $x1, %bb.2 |
| liveins: $x0, $x1 |
| CBZX $x1, %bb.2 |
| |
| bb.1: |
| ; CHECK-LABEL: bb.1: |
| ; CHECK-NOT: $x0 = ADDXri $x0, 1, 0 |
| liveins: $x0 |
| $x0 = ADDXri $x0, 1, 0 |
| $x0 = ADDXri $x0, 2, 0 |
| RET_ReallyLR implicit $x0 |
| |
| bb.2: |
| ; CHECK-LABEL: bb.2: |
| ; CHECK-NOT: $x0 = ADDXri $x0, 1, 0 |
| liveins: $x0 |
| $x0 = ADDXri $x0, 1, 0 |
| $x0 = ADDXri $x0, 3, 0 |
| RET_ReallyLR implicit $x0 |
| ... |
