1# RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass machine-scheduler  -verify-machineinstrs  -o - %s | FileCheck %s
2
3--- |
4  define i64 @load_imp-def(i64* nocapture %P, i32 %v) {
5  entry:
6    %0 = bitcast i64* %P to i32*
7    %1 = load i32, i32* %0
8    %conv = zext i32 %1 to i64
9    %arrayidx19 = getelementptr inbounds i64, i64* %P, i64 1
10    %arrayidx1 = bitcast i64* %arrayidx19 to i32*
11    store i32 %v, i32* %arrayidx1
12    %2 = load i64, i64* %arrayidx19
13    %and = and i64 %2, 4294967295
14    %add = add nuw nsw i64 %and, %conv
15    ret i64 %add
16  }
17...
18---
19# CHECK-LABEL: name: load_imp-def
20# CHECK: bb.0.entry:
21# CHECK: LDRWui $x0, 1
22# CHECK: LDRWui $x0, 0
23# CHECK: STRWui $w1, $x0, 2
24name: load_imp-def
25tracksRegLiveness: true
26body: |
27  bb.0.entry:
28    liveins: $w1, $x0
29    $w8 = LDRWui $x0, 1, implicit-def $x8  :: (load 4 from %ir.0)
30    STRWui killed $w1, $x0, 2 :: (store 4 into %ir.arrayidx1)
31    $w9 = LDRWui killed $x0, 0, implicit-def $x9  :: (load 4 from %ir.arrayidx19, align 8)
32    $x0 = ADDXrr killed $x9, killed $x8
33    RET_ReallyLR implicit $x0
34...
35
36