1# RUN: llc -mtriple=aarch64 -run-pass machinelicm -verify-machineinstrs -o - %s | FileCheck %s
2---
3name: test
4tracksRegLiveness: true
5registers:
6  - { id: 0, class: gpr64 }
7stack:
8  - { id: 0, size: 8, type: spill-slot }
9body: |
10  bb.0:
11    ; CHECK-LABEL: name: test
12    ; CHECK-LABEL: bb.0:
13    ; CHECK: $x2 = LDRXui %stack.0, 0
14    liveins: $x0, $x1, $x2
15    B %bb.1
16
17  bb.1:
18    ; CHECK-LABEL: bb.1:
19    ; CHECK-NOT: $x2 = LDRXui %stack.0, 0
20    liveins: $x0
21    DBG_VALUE %stack.0, 0
22    $x2 = LDRXui %stack.0, 0 :: (load 8 from %stack.0)
23    $x0 = ADDXrr $x0, $x2
24    $xzr = SUBSXri $x0, 1, 0, implicit-def $nzcv
25    Bcc 11, %bb.1, implicit $nzcv
26    B %bb.2
27
28  bb.2:
29    liveins: $x0
30    %0 = COPY $x0
31    %0 = COPY $x0  ; Force isSSA = false.
32...
33