blob: de899a721fcc4a19e06982aecfdacfa908c4c908 [file] [log] [blame]
Ehsan Amiria538b0f2016-08-03 18:17:35 +00001; RUN: llc -verify-machineinstrs -mcpu=ppc64 < %s | FileCheck %s
Hal Finkel65d1cbf2015-02-05 18:42:53 +00002target datalayout = "E-m:e-i64:64-n32:64"
3target triple = "powerpc64-unknown-linux-gnu"
4
5; Function Attrs: nounwind readonly
6define float @tf(float* nocapture readonly %i, i32 signext %o) #0 {
7entry:
8 %idx.ext = sext i32 %o to i64
David Blaikie79e6c742015-02-27 19:29:02 +00009 %add.ptr = getelementptr inbounds float, float* %i, i64 %idx.ext
David Blaikiea79ac142015-02-27 21:17:42 +000010 %0 = load float, float* %add.ptr, align 4
Hal Finkel65d1cbf2015-02-05 18:42:53 +000011 %add.ptr.sum = add nsw i64 %idx.ext, 1
David Blaikie79e6c742015-02-27 19:29:02 +000012 %add.ptr3 = getelementptr inbounds float, float* %i, i64 %add.ptr.sum
David Blaikiea79ac142015-02-27 21:17:42 +000013 %1 = load float, float* %add.ptr3, align 4
Hal Finkel65d1cbf2015-02-05 18:42:53 +000014 %add = fadd float %0, %1
15 ret float %add
16
17; CHECK-LABEL: @tf
18; CHECK: lfsux
19; CHECK: blr
20}
21
22; Function Attrs: nounwind readonly
23define double @td(double* nocapture readonly %i, i32 signext %o) #0 {
24entry:
25 %idx.ext = sext i32 %o to i64
David Blaikie79e6c742015-02-27 19:29:02 +000026 %add.ptr = getelementptr inbounds double, double* %i, i64 %idx.ext
David Blaikiea79ac142015-02-27 21:17:42 +000027 %0 = load double, double* %add.ptr, align 8
Hal Finkel65d1cbf2015-02-05 18:42:53 +000028 %add.ptr.sum = add nsw i64 %idx.ext, 1
David Blaikie79e6c742015-02-27 19:29:02 +000029 %add.ptr3 = getelementptr inbounds double, double* %i, i64 %add.ptr.sum
David Blaikiea79ac142015-02-27 21:17:42 +000030 %1 = load double, double* %add.ptr3, align 8
Hal Finkel65d1cbf2015-02-05 18:42:53 +000031 %add = fadd double %0, %1
32 ret double %add
33
34; CHECK-LABEL: @td
35; CHECK: lfdux
36; CHECK: blr
37}
38
39attributes #0 = { nounwind readonly }
40