| ; RUN: llc -mcpu=ppc -mtriple powerpc-ibm-aix-xcoff -verify-machineinstrs < %s \ |
| ; RUN: -stop-before=ppc-vsx-copy | FileCheck %s --check-prefix CHECK32 |
| ; RUN: llc -mcpu=ppc -mtriple powerpc64-ibm-aix-xcoff -verify-machineinstrs < %s \ |
| ; RUN: -stop-before=ppc-vsx-copy | FileCheck %s --check-prefix CHECK64 |
| ; RUN: llc -mcpu=ppc -mtriple powerpc-ibm-aix-xcoff -verify-machineinstrs < %s | FileCheck %s --check-prefix TEST32 |
| ; RUN: llc -mcpu=ppc -mtriple powerpc64-ibm-aix-xcoff -verify-machineinstrs < %s | FileCheck %s --check-prefix TEST64 |
| |
| ; RUN: llc -mcpu=ppc -mtriple powerpc-ibm-aix-xcoff -verify-machineinstrs < %s \ |
| ; RUN: -stop-before=ppc-vsx-copy -O0 | FileCheck %s --check-prefix CHECK32 |
| ; RUN: llc -mcpu=ppc -mtriple powerpc64-ibm-aix-xcoff -verify-machineinstrs < %s \ |
| ; RUN: -stop-before=ppc-vsx-copy -O0 | FileCheck %s --check-prefix CHECK64-NOOPT |
| ; RUN: llc -mcpu=ppc -mtriple powerpc-ibm-aix-xcoff -verify-machineinstrs -O0 < %s | FileCheck %s --check-prefix TEST32 |
| ; RUN: llc -mcpu=ppc -mtriple powerpc64-ibm-aix-xcoff -verify-machineinstrs -O0 < %s | FileCheck %s --check-prefix TEST64 |
| |
| ; RUN: llc -mcpu=ppc -mtriple powerpc-ibm-aix-xcoff -code-model=large -verify-machineinstrs < %s \ |
| ; RUN: -stop-before=ppc-vsx-copy | FileCheck %s --check-prefix CHECK32LARGE |
| ; RUN: llc -mcpu=ppc -mtriple powerpc-ibm-aix-xcoff -code-model=large -verify-machineinstrs < %s | FileCheck %s --check-prefix TEST32LARGE |
| |
| ; RUN: llc -mcpu=ppc -mtriple powerpc64-ibm-aix-xcoff -code-model=large -verify-machineinstrs < %s \ |
| ; RUN: -stop-before=ppc-vsx-copy | FileCheck %s --check-prefix CHECK64LARGE |
| ; RUN: llc -mcpu=ppc -mtriple powerpc64-ibm-aix-xcoff -code-model=large -verify-machineinstrs < %s | FileCheck %s --check-prefix TEST64LARGE |
| |
| ; Global variables i and f have the toc-data attribute. |
| ; In the following functions, those writing to or reading from |
| ; variables i and f should use the toc-data access pattern. |
| ; All remaining variables should use the regular toc access sequence. |
| @i = dso_local global i32 0, align 4 #0 |
| @d = dso_local local_unnamed_addr global double 3.141590e+00, align 8 |
| @f = dso_local local_unnamed_addr global float 0x4005BE76C0000000, align 4 #0 |
| @ll = dso_local local_unnamed_addr global i64 55, align 8 |
| @ilocal = internal global i32 0, align 4 |
| |
| define dso_local void @write_int(i32 signext %in) { |
| entry: |
| store i32 %in, ptr @i, align 4 |
| ret void |
| } |
| ; CHECK32: name: write_int |
| ; CHECK32: %[[SCRATCH:[0-9]+]]:gprc_and_gprc_nor0 = ADDItoc $r2, @i |
| ; CHECK32-NEXT: STW %{{[0-9]+}}, 0, killed %[[SCRATCH]] :: (store (s32) into @i) |
| |
| ; TEST32: .write_int: |
| ; TEST32: la 4, i[TD](2) |
| ; TEST32-NEXT: stw 3, 0(4) |
| |
| ; CHECK64: name: write_int |
| ; CHECK64: %[[SCRATCH:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDItoc8 $x2, @i |
| ; CHECK64-NEXT: STW8 %{{[0-9]+}}, 0, killed %[[SCRATCH]] :: (store (s32) into @i) |
| |
| ; CHECK64-NOOPT: name: write_int |
| ; CHECK64-NOOPT: %[[SUBREG:[0-9]+]]:gprc = COPY %{{[0-9]}}.sub_32 |
| ; CHECK64-NOOPT: %[[ADDR:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDItoc8 $x2, @i |
| ; CHECK64-NOOPT: STW %[[SUBREG]], 0, %[[ADDR]] |
| |
| ; TEST64: .write_int: |
| ; TEST64: la 4, i[TD](2) |
| ; TEST64-NEXT: stw 3, 0(4) |
| |
| ; CHECK32LARGE: name: write_int |
| ; CHECK32LARGE: %[[SCRATCH1:[0-9]+]]:gprc_and_gprc_nor0 = ADDIStocHA $r2, @i |
| ; CHECK32LARGE-NEXT: %[[SCRATCH2:[0-9]+]]:gprc_and_gprc_nor0 = ADDItocL killed %[[SCRATCH1]], @i |
| ; CHECK32LARGE-NEXT: STW %{{[0-9]+}}, 0, killed %[[SCRATCH2]] :: (store (s32) into @i) |
| |
| ; FIXME: peephole optimization opportunity for lower part relocation @l to the consuming stw |
| ; TEST32LARGE: .write_int: |
| ; TEST32LARGE: addis 4, i[TD]@u(2) |
| ; TEST32LARGE-NEXT: la 4, i[TD]@l(4) |
| ; TEST32LARGE-NEXT: stw 3, 0(4) |
| |
| |
| ; CHECK64LARGE: name: write_int |
| ; CHECK64LARGE: %[[SCRATCH1:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDIStocHA8 $x2, @i |
| ; CHECK64LARGE-NEXT: %[[SCRATCH2:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDItocL8 killed %[[SCRATCH1]], @i |
| ; CHECK64LARGE-NEXT: STW8 %{{[0-9]+}}, 0, killed %[[SCRATCH2]] :: (store (s32) into @i) |
| |
| ; TEST64LARGE: .write_int: |
| ; TEST64LARGE: addis 4, i[TD]@u(2) |
| ; TEST64LARGE-NEXT: la 4, i[TD]@l(4) |
| ; TEST64LARGE-NEXT: stw 3, 0(4) |
| |
| define dso_local i64 @read_ll() { |
| entry: |
| %0 = load i64, ptr @ll, align 8 |
| ret i64 %0 |
| } |
| ; CHECK32: name: read_ll |
| ; CHECK32: LWZtoc @ll, $r2 :: (load (s32) from got) |
| |
| ; TEST32: .read_ll: |
| ; TEST32: lwz 4, L..C0(2) |
| ; TEST32-NEXT: lwz 3, 0(4) |
| ; TEST32-NEXT: lwz 4, 4(4) |
| |
| ; CHECK64: name: read_ll |
| ; CHECK64: %[[SCRATCH:[0-9]+]]:g8rc_and_g8rc_nox0 = LDtoc @ll, $x2 :: (load (s64) from got) |
| ; CHECK64: LD 0, killed %[[SCRATCH]] |
| |
| ; CHECK64-NOOPT: name: read_ll |
| ; CHECK64-NOOPT: %[[SCRATCH:[0-9]+]]:g8rc_and_g8rc_nox0 = LDtoc @ll, $x2 |
| ; CHECK64-NOOPT: LD 0, %[[SCRATCH]] |
| |
| ; TEST64: .read_ll: |
| ; TEST64: ld 3, L..C0(2) |
| ; TEST64-NEXT: ld 3, 0(3) |
| |
| ; CHECK32LARGE: name: read_ll |
| ; CHECK32LARGE: %[[SCRATCH1:[0-9]+]]:gprc_and_gprc_nor0 = ADDIStocHA $r2, @ll |
| ; CHECK32LARGE: LWZtocL @ll, killed %[[SCRATCH1]] :: (load (s32) from got) |
| |
| ; TEST32LARGE: .read_ll: |
| ; TEST32LARGE: addis 3, L..C0@u(2) |
| ; TEST32LARGE-NEXT: lwz 4, L..C0@l(3) |
| ; TEST32LARGE-NEXT: lwz 3, 0(4) |
| ; TEST32LARGE-NEXT: lwz 4, 4(4) |
| |
| ; CHECK64LARGE: name: read_ll |
| ; CHECK64LARGE: %[[SCRATCH1:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDIStocHA8 $x2, @ll |
| ; CHECK64LARGE: LDtocL @ll, killed %[[SCRATCH1]] :: (load (s64) from got) |
| |
| ; TEST64LARGE: .read_ll: |
| ; TEST64LARGE: addis 3, L..C0@u(2) |
| ; TEST64LARGE-NEXT: ld 3, L..C0@l(3) |
| ; TEST64LARGE-NEXT: ld 3, 0(3) |
| |
| define dso_local float @read_float() { |
| entry: |
| %0 = load float, ptr @f, align 4 |
| ret float %0 |
| } |
| ; CHECK32: name: read_float |
| ; CHECK32: %[[SCRATCH:[0-9]+]]:gprc_and_gprc_nor0 = ADDItoc $r2, @f |
| ; CHECK32: %{{[0-9]+}}:f4rc = LFS 0, killed %[[SCRATCH]] :: (dereferenceable load (s32) from @f) |
| |
| ; TEST32: .read_float: |
| ; TEST32: la 3, f[TD](2) |
| ; TEST32-NEXT: lfs 1, 0(3) |
| |
| ; CHECK64: name: read_float |
| ; CHECK64: %[[SCRATCH:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDItoc8 $x2, @f |
| ; CHECK64: %{{[0-9]+}}:f4rc = LFS 0, killed %[[SCRATCH]] :: (dereferenceable load (s32) from @f) |
| |
| ; CHECK64-NOOPT: name: read_float |
| ; CHECK64-NOOPT: %[[SCRATCH:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDItoc8 $x2, @f |
| ; CHECK64-NOOPT: %{{[0-9]+}}:f4rc = LFS 0, %[[SCRATCH]] |
| |
| ; TEST64: .read_float: |
| ; TEST64: la 3, f[TD](2) |
| ; TEST64-NEXT: lfs 1, 0(3) |
| |
| ; CHECK32LARGE: name: read_float |
| ; CHECK32LARGE: %[[SCRATCH1:[0-9]+]]:gprc_and_gprc_nor0 = ADDIStocHA $r2, @f |
| ; CHECK32LARGE-NEXT: %[[SCRATCH2:[0-9]+]]:gprc_and_gprc_nor0 = ADDItocL killed %[[SCRATCH1]], @f |
| ; CHECK32LARGE-NEXT: LFS 0, killed %[[SCRATCH2]] :: (dereferenceable load (s32) from @f) |
| |
| ; FIXME: peephole optimization opportunity for lower part relocation @l to the consuming lfs |
| ; TEST32LARGE: .read_float: |
| ; TEST32LARGE: addis 3, f[TD]@u(2) |
| ; TEST32LARGE-NEXT: la 3, f[TD]@l(3) |
| ; TEST32LARGE-NEXT: lfs 1, 0(3) |
| |
| |
| ; CHECK64LARGE: name: read_float |
| ; CHECK64LARGE: %[[SCRATCH1:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDIStocHA8 $x2, @f |
| ; CHECK64LARGE-NEXT: %[[SCRATCH2:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDItocL8 killed %[[SCRATCH1]], @f |
| ; CHECK64LARGE-NEXT: LFS 0, killed %[[SCRATCH2]] :: (dereferenceable load (s32) from @f) |
| |
| |
| ; TEST64LARGE: .read_float: |
| ; TEST64LARGE: addis 3, f[TD]@u(2) |
| ; TEST64LARGE-NEXT: la 3, f[TD]@l(3) |
| ; TEST64LARGE-NEXT: lfs 1, 0(3) |
| |
| define dso_local void @write_double(double %in) { |
| entry: |
| store double %in, ptr @d, align 8 |
| ret void |
| } |
| ; CHECK32: name: write_double |
| ; CHECK32: LWZtoc @d, $r2 :: (load (s32) from got) |
| |
| ; TEST32: .write_double |
| ; TEST32: lwz 3, L..C1(2) |
| ; TEST32-NEXT: stfd 1, 0(3) |
| |
| ; CHECK64: name: write_double |
| ; CHECK64: %[[SCRATCH:[0-9]+]]:g8rc_and_g8rc_nox0 = LDtoc @d, $x2 :: (load (s64) from got) |
| ; CHECK64: STFD %{{[0-9]+}}, 0, killed %[[SCRATCH]] |
| |
| ; CHECK64-NOOPT: name: write_double |
| ; CHECK64-NOOPT: %[[SCRATCH:[0-9]+]]:g8rc_and_g8rc_nox0 = LDtoc @d, $x2 |
| ; CHECK64-NOOPT STFD %{{[0-9]+}}, 0 %[[SCRATCH]] |
| |
| ; TEST64: .write_double |
| ; TEST64: ld 3, L..C1(2) |
| ; TEST64-NEXT: stfd 1, 0(3) |
| |
| ; CHECK32LARGE: name: write_double |
| ; CHECK32LARGE: %[[SCRATCH1:[0-9]+]]:gprc_and_gprc_nor0 = ADDIStocHA $r2, @d |
| ; CHECK32LARGE: LWZtocL @d, killed %[[SCRATCH1]] :: (load (s32) from got) |
| |
| ; TEST32LARGE: .write_double: |
| ; TEST32LARGE: addis 3, L..C1@u(2) |
| ; TEST32LARGE-NEXT: lwz 3, L..C1@l(3) |
| ; TEST32LARGE-NEXT: stfd 1, 0(3) |
| |
| ; CHECK64LARGE: name: write_double |
| ; CHECK64LARGE: %[[SCRATCH1:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDIStocHA8 $x2, @d |
| ; CHECK64LARGE: LDtocL @d, killed %[[SCRATCH1]] :: (load (s64) from got) |
| |
| ; TEST64LARGE: .write_double: |
| ; TEST64LARGE: addis 3, L..C1@u(2) |
| ; TEST64LARGE-NEXT: ld 3, L..C1@l(3) |
| ; TEST64LARGE-NEXT: stfd 1, 0(3) |
| |
| define dso_local nonnull ptr @addr() { |
| entry: |
| ret ptr @i |
| } |
| ; CHECK32: name: addr |
| ; CHECK32: %[[SCRATCH:[0-9]+]]:gprc = ADDItoc $r2, @i |
| ; CHECK32-NEXT: $r3 = COPY %[[SCRATCH]] |
| |
| ; TEST32: .addr |
| ; TEST32: la 3, i[TD](2) |
| |
| ; CHECK64: name: addr |
| ; CHECK64: %[[SCRATCH:[0-9]+]]:g8rc = ADDItoc8 $x2, @i |
| ; CHECK64-NEXT: $x3 = COPY %[[SCRATCH]] |
| |
| ; CHECK64-NOOPT: name: addr |
| ; CHECK64-NOOPT: %[[SCRATCH:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDItoc8 $x2, @i |
| ; CHECK64-NOOPT: $x3 = COPY %[[SCRATCH]] |
| |
| ; TEST64: .addr |
| ; TEST64: la 3, i[TD](2) |
| |
| ; CHECK32LARGE: name: addr |
| ; CHECK32LARGE: %[[SCRATCH1:[0-9]+]]:gprc_and_gprc_nor0 = ADDIStocHA $r2, @i |
| ; CHECK32LARGE-NEXT: %[[SCRATCH2:[0-9]+]]:gprc = ADDItocL killed %[[SCRATCH1]], @i |
| ; CHECK32LARGE-NEXT: $r3 = COPY %[[SCRATCH2]] |
| |
| ; TEST32LARGE: .addr: |
| ; TEST32LARGE: addis 3, i[TD]@u(2) |
| ; TEST32LARGE-NEXT: la 3, i[TD]@l(3) |
| |
| ; TEST32: .toc |
| ; TEST32: .tc ll[TC],ll[RW] |
| ; TEST32-NOT: .csect ll[TD] |
| ; TEST32: .tc d[TC],d[RW] |
| ; TEST32-NOT: .csect d[TD],2 |
| ; TEST32: .csect i[TD],2 |
| ; TEST32-NEXT: .globl i[TD] |
| ; TEST32-NEXT: .align 2 |
| ; TEST32-NOT: .tc i[TC],i[RW] |
| ; TEST32: .csect f[TD],2 |
| ; TEST32-NEXT: .globl f[TD] |
| ; TEST32-NOT: .tc f[TD],f[RW] |
| |
| ; TEST64: .toc |
| ; TEST64: .tc ll[TC],ll[RW] |
| ; TEST64-NOT: .csect ll[TD] |
| ; TEST64: .tc d[TC],d[RW] |
| ; TEST64-NOT: .csect d[TD],2 |
| ; TEST64: .csect i[TD],2 |
| ; TEST64-NEXT: .globl i[TD] |
| ; TEST64-NEXT: .align 2 |
| ; TEST64-NOT: .tc i[TC],i[RW] |
| ; TEST64: .csect f[TD],2 |
| ; TEST64-NEXT: .globl f[TD] |
| ; TEST64-NOT: .tc f[TD],f[RW] |
| |
| ; TEST32LARGE: .toc |
| ; TEST32LARGE: .tc ll[TE],ll[RW] |
| ; TEST32LARGE-NOT: .csect ll[TD] |
| ; TEST32LARGE: .tc d[TE],d[RW] |
| ; TEST32LARGE-NOT: .csect d[TD],2 |
| ; TEST32LARGE: .csect i[TD],2 |
| ; TEST32LARGE-NEXT: .globl i[TD] |
| ; TEST32LARGE-NEXT: .align 2 |
| ; TEST32LARGE-NOT: .tc i[TE],i[RW] |
| ; TEST32LARGE: .csect f[TD],2 |
| ; TEST32LARGE-NEXT: .globl f[TD] |
| ; TEST32LARGE-NOT: .tc f[TE],f[RW] |
| |
| ; CHECK64LARGE: name: addr |
| ; CHECK64LARGE: %[[SCRATCH1:[0-9]+]]:g8rc_and_g8rc_nox0 = ADDIStocHA8 $x2, @i |
| ; CHECK64LARGE-NEXT: %[[SCRATCH2:[0-9]+]]:g8rc = ADDItocL8 killed %[[SCRATCH1]], @i |
| ; CHECK64LARGE-NEXT: $x3 = COPY %[[SCRATCH2]] |
| |
| ; TEST64LARGE: .addr: |
| ; TEST64LARGE: addis 3, i[TD]@u(2) |
| ; TEST64LARGE: la 3, i[TD]@l(3) |
| |
| ; TEST64LARGE: .toc |
| ; TEST64LARGE: .tc ll[TE],ll[RW] |
| ; TEST64LARGE-NOT: .csect ll[TD] |
| ; TEST64LARGE: .tc d[TE],d[RW] |
| ; TEST64LARGE-NOT: .csect d[TD],2 |
| ; TEST64LARGE: .csect i[TD],2 |
| ; TEST64LARGE-NEXT: .globl i[TD] |
| ; TEST64LARGE-NEXT: .align 2 |
| ; TEST64LARGE-NOT: .tc i[TE],i[RW] |
| ; TEST64LARGE: .csect f[TD],2 |
| ; TEST64LARGE-NEXT: .globl f[TD] |
| ; TEST64LARGE-NOT: .tc f[TE],f[RW] |
| |
| attributes #0 = { "toc-data" } |
