|  | ; 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(float* nocapture readonly %i, i32 signext %o) #0 { | 
|  | entry: | 
|  | %idx.ext = sext i32 %o to i64 | 
|  | %add.ptr = getelementptr inbounds float, float* %i, i64 %idx.ext | 
|  | %0 = load float, float* %add.ptr, align 4 | 
|  | %add.ptr.sum = add nsw i64 %idx.ext, 1 | 
|  | %add.ptr3 = getelementptr inbounds float, float* %i, i64 %add.ptr.sum | 
|  | %1 = load float, float* %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(double* nocapture readonly %i, i32 signext %o) #0 { | 
|  | entry: | 
|  | %idx.ext = sext i32 %o to i64 | 
|  | %add.ptr = getelementptr inbounds double, double* %i, i64 %idx.ext | 
|  | %0 = load double, double* %add.ptr, align 8 | 
|  | %add.ptr.sum = add nsw i64 %idx.ext, 1 | 
|  | %add.ptr3 = getelementptr inbounds double, double* %i, i64 %add.ptr.sum | 
|  | %1 = load double, double* %add.ptr3, align 8 | 
|  | %add = fadd double %0, %1 | 
|  | ret double %add | 
|  |  | 
|  | ; CHECK-LABEL: @td | 
|  | ; CHECK: lfdux | 
|  | ; CHECK: blr | 
|  | } | 
|  |  | 
|  | attributes #0 = { nounwind readonly } | 
|  |  |