# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -o - %s -mtriple=aarch64 -run-pass=machine-scheduler -verify-machineinstrs | FileCheck %s
--- |
  target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
  target triple = "aarch64-arm-none-eabi"

  @a = dso_local global i32 2, align 4
  @b = dso_local global i32 4, align 4

  define i32 @fuseaddress(i32 %num) #0 {
  entry:
    %0 = load i32, i32* @a, align 4
    %1 = load i32, i32* @b, align 4
    %mul = mul nsw i32 %0, %1
    ret i32 %mul
  }

  attributes #0 = { "target-cpu"="cortex-a55" }

---
name: fuseaddress
legalized: true
regBankSelected: true
tracksRegLiveness: true
liveins:
  - { reg: '$w0' }
body: |
  bb.0.entry:
    liveins: $w0
    ; CHECK-LABEL: name: fuseaddress
    ; CHECK: liveins: $w0
    ; CHECK: [[ADRP:%[0-9]+]]:gpr64common = ADRP target-flags(aarch64-page) @a
    ; CHECK: [[LDRWui:%[0-9]+]]:gpr32 = LDRWui [[ADRP]], target-flags(aarch64-pageoff, aarch64-nc) @a :: (dereferenceable load (s32) from @a)
    ; CHECK: [[ADRP1:%[0-9]+]]:gpr64common = ADRP target-flags(aarch64-page) @b
    ; CHECK: [[LDRWui1:%[0-9]+]]:gpr32 = LDRWui [[ADRP1]], target-flags(aarch64-pageoff, aarch64-nc) @b :: (dereferenceable load (s32) from @b)
    ; CHECK: [[MADDWrrr:%[0-9]+]]:gpr32 = nsw MADDWrrr [[LDRWui]], [[LDRWui1]], $wzr
    ; CHECK: $w0 = COPY [[MADDWrrr]]
    ; CHECK: RET_ReallyLR implicit $w0
    %1:gpr64common = ADRP target-flags(aarch64-page) @a
    %4:gpr64common = ADRP target-flags(aarch64-page) @b
    %2:gpr32 = LDRWui killed %1:gpr64common, target-flags(aarch64-pageoff, aarch64-nc) @a :: (dereferenceable load (s32) from @a)
    %5:gpr32 = LDRWui killed %4:gpr64common, target-flags(aarch64-pageoff, aarch64-nc) @b :: (dereferenceable load (s32) from @b)
    %6:gpr32 = nsw MADDWrrr killed %2:gpr32, killed %5:gpr32, $wzr
    $w0 = COPY %6:gpr32
    RET_ReallyLR implicit $w0