; RUN: llc -verify-machineinstrs < %s -mcpu=pwr7 | FileCheck %s
target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
target triple = "powerpc64-unknown-linux-gnu"

; Function Attrs: nounwind
define void @foo(ptr nocapture %a, ptr nocapture %b, ptr nocapture readonly %c, ptr nocapture %d) #0 {

; CHECK-LABEL: @foo

entry:
  %0 = load float, ptr %b, align 4
  store float %0, ptr %a, align 4
  %1 = load float, ptr %c, align 4
  store float %1, ptr %b, align 4
  %2 = load float, ptr %a, align 4
  store float %2, ptr %d, align 4
  ret void

; CHECK: lwz [[REG1:[0-9]+]], 0(4)
; CHECK: stw [[REG1]], 0(3)
; CHECK: lwz [[REG2:[0-9]+]], 0(5)
; CHECK: stw [[REG2]], 0(4)
; CHECK: lwz [[REG3:[0-9]+]], 0(3)
; CHECK: stw [[REG3]], 0(6)
; CHECK: blr
}

attributes #0 = { nounwind }