# RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass machine-scheduler -verify-machineinstrs -o - %s | FileCheck %s
--- |
define i64 @load_imp-def(ptr nocapture %P, i32 %v) {
entry:
%0 = bitcast ptr %P to ptr
%1 = load i32, ptr %0
%conv = zext i32 %1 to i64
%arrayidx19 = getelementptr inbounds i64, ptr %P, i64 1
%arrayidx1 = bitcast ptr %arrayidx19 to ptr
store i32 %v, ptr %arrayidx1
%2 = load i64, ptr %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, 1
# CHECK: LDRWui $x0, 0
# CHECK: STRWui $w1, $x0, 2
name: load_imp-def
tracksRegLiveness: true
body: |
bb.0.entry:
liveins: $w1, $x0
$w8 = LDRWui $x0, 1, implicit-def $x8 :: (load (s32) from %ir.0)
STRWui killed $w1, $x0, 2 :: (store (s32) into %ir.arrayidx1)
$w9 = LDRWui killed $x0, 0, implicit-def $x9 :: (load (s32) from %ir.arrayidx19, align 8)
$x0 = ADDXrr killed $x9, killed $x8
RET_ReallyLR implicit $x0
...