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, 0
22# CHECK: LDRWui %x0, 1
23# CHECK: STRWui %w1, %x0, 2
24name:            load_imp-def
25isSSA:           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