; RUN: llc -verify-machineinstrs -mcpu=ppc64 < %s | FileCheck %s
target datalayout = "E-m:e-i64:64-n32:64"
target triple = "powerpc64-unknown-linux-gnu"

; Function Attrs: nounwind readonly
define float @tf(ptr nocapture readonly %i, i32 signext %o) #0 {
entry:
  %idx.ext = sext i32 %o to i64
  %add.ptr = getelementptr inbounds float, ptr %i, i64 %idx.ext
  %0 = load float, ptr %add.ptr, align 4
  %add.ptr.sum = add nsw i64 %idx.ext, 1
  %add.ptr3 = getelementptr inbounds float, ptr %i, i64 %add.ptr.sum
  %1 = load float, ptr %add.ptr3, align 4
  %add = fadd float %0, %1
  ret float %add

; CHECK-LABEL: @tf
; CHECK: lfsux
; CHECK: blr
}

; Function Attrs: nounwind readonly
define double @td(ptr nocapture readonly %i, i32 signext %o) #0 {
entry:
  %idx.ext = sext i32 %o to i64
  %add.ptr = getelementptr inbounds double, ptr %i, i64 %idx.ext
  %0 = load double, ptr %add.ptr, align 8
  %add.ptr.sum = add nsw i64 %idx.ext, 1
  %add.ptr3 = getelementptr inbounds double, ptr %i, i64 %add.ptr.sum
  %1 = load double, ptr %add.ptr3, align 8
  %add = fadd double %0, %1
  ret double %add

; CHECK-LABEL: @td
; CHECK: lfdux
; CHECK: blr
}

attributes #0 = { nounwind readonly }