# RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass machine-scheduler  -verify-machineinstrs  -o - %s | FileCheck %s

--- |
  define i64 @load_imp-def(i64* nocapture %P, i32 %v) {
  entry:
    %0 = bitcast i64* %P to i32*
    %1 = load i32, i32* %0
    %conv = zext i32 %1 to i64
    %arrayidx19 = getelementptr inbounds i64, i64* %P, i64 1
    %arrayidx1 = bitcast i64* %arrayidx19 to i32*
    store i32 %v, i32* %arrayidx1
    %2 = load i64, i64* %arrayidx19
    %and = and i64 %2, 4294967295
    %add = add nuw nsw i64 %and, %conv
    ret i64 %add
  }
...
---
# CHECK-LABEL: name: load_imp-def
# CHECK: bb.0.entry:
# CHECK: LDRWui %x0, 0
# CHECK: LDRWui %x0, 1
# CHECK: STRWui %w1, %x0, 2
name:            load_imp-def
isSSA:           true
body:             |
  bb.0.entry:
    liveins: %w1, %x0
    %w8 = LDRWui %x0, 1, implicit-def %x8  :: (load 4 from %ir.0)
    STRWui killed %w1, %x0, 2 :: (store 4 into %ir.arrayidx1)
    %w9 = LDRWui killed %x0, 0, implicit-def %x9  :: (load 4 from %ir.arrayidx19, align 8)
    %x0 = ADDXrr killed %x9, killed %x8
    RET_ReallyLR implicit %x0
...