160 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -relocation-model=pic -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr9 < %s | FileCheck -check-prefix=CHECK-P9 %s3; RUN: llc -relocation-model=pic -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck -check-prefix=CHECK-P8 %s4 5; As the constant could be represented as float, a float is6; loaded from constant pool.7define double @doubleConstant1() {8; CHECK-P9-LABEL: doubleConstant1:9; CHECK-P9: # %bb.0:10; CHECK-P9-NEXT: vspltisw 2, 1411; CHECK-P9-NEXT: xvcvsxwdp 1, 3412; CHECK-P9-NEXT: blr13;14; CHECK-P8-LABEL: doubleConstant1:15; CHECK-P8: # %bb.0:16; CHECK-P8-NEXT: vspltisw 2, 1417; CHECK-P8-NEXT: xvcvsxwdp 1, 3418; CHECK-P8-NEXT: blr19 ret double 1.400000e+0120}21 22; As the constant couldn't be represented as float, a double is23; loaded from constant pool.24define double @doubleConstant2() {25; CHECK-P9-LABEL: doubleConstant2:26; CHECK-P9: # %bb.0:27; CHECK-P9-NEXT: addis 3, 2, .LCPI1_0@toc@ha28; CHECK-P9-NEXT: lfd 1, .LCPI1_0@toc@l(3)29; CHECK-P9-NEXT: blr30;31; CHECK-P8-LABEL: doubleConstant2:32; CHECK-P8: # %bb.0:33; CHECK-P8-NEXT: addis 3, 2, .LCPI1_0@toc@ha34; CHECK-P8-NEXT: lfd 1, .LCPI1_0@toc@l(3)35; CHECK-P8-NEXT: blr36 ret double 2.408904e+0137}38 39@FArr = hidden local_unnamed_addr global [10 x float] zeroinitializer, align 440 41define float @floatConstantArray() local_unnamed_addr {42; CHECK-P9-LABEL: floatConstantArray:43; CHECK-P9: # %bb.0:44; CHECK-P9-NEXT: addis 3, 2, FArr@toc@ha+1245; CHECK-P9-NEXT: lfs 0, FArr@toc@l+12(3)46; CHECK-P9-NEXT: addis 3, 2, .LCPI2_0@toc@ha47; CHECK-P9-NEXT: lfs 1, .LCPI2_0@toc@l(3)48; CHECK-P9-NEXT: xsaddsp 1, 0, 149; CHECK-P9-NEXT: blr50;51; CHECK-P8-LABEL: floatConstantArray:52; CHECK-P8: # %bb.0:53; CHECK-P8-NEXT: addis 3, 2, FArr@toc@ha+1254; CHECK-P8-NEXT: lfs 0, FArr@toc@l+12(3)55; CHECK-P8-NEXT: addis 3, 2, .LCPI2_0@toc@ha56; CHECK-P8-NEXT: lfs 1, .LCPI2_0@toc@l(3)57; CHECK-P8-NEXT: xsaddsp 1, 0, 158; CHECK-P8-NEXT: blr59 %1 = load float, ptr getelementptr inbounds ([10 x float], ptr @FArr, i64 0, i64 3), align 460 %2 = fadd float %1, 0x400B33334000000061 ret float %262}63 64define float @floatConstant() {65; CHECK-P9-LABEL: floatConstant:66; CHECK-P9: # %bb.0:67; CHECK-P9-NEXT: addis 3, 2, .LCPI3_0@toc@ha68; CHECK-P9-NEXT: lfs 1, .LCPI3_0@toc@l(3)69; CHECK-P9-NEXT: blr70;71; CHECK-P8-LABEL: floatConstant:72; CHECK-P8: # %bb.0:73; CHECK-P8-NEXT: addis 3, 2, .LCPI3_0@toc@ha74; CHECK-P8-NEXT: lfs 1, .LCPI3_0@toc@l(3)75; CHECK-P8-NEXT: blr76 ret float 0x400470A3E000000077}78 79; llvm put the hidden globals into the TOC table.80; TODO - do some analysis and decide which globals could be put into TOC.81@d = hidden local_unnamed_addr global [200 x double] zeroinitializer, align 882 83define double @doubleConstantArray() {84; CHECK-P9-LABEL: doubleConstantArray:85; CHECK-P9: # %bb.0:86; CHECK-P9-NEXT: addis 3, 2, d@toc@ha+2487; CHECK-P9-NEXT: lfd 0, d@toc@l+24(3)88; CHECK-P9-NEXT: addis 3, 2, .LCPI4_0@toc@ha89; CHECK-P9-NEXT: lfd 1, .LCPI4_0@toc@l(3)90; CHECK-P9-NEXT: xsadddp 1, 0, 191; CHECK-P9-NEXT: blr92;93; CHECK-P8-LABEL: doubleConstantArray:94; CHECK-P8: # %bb.0:95; CHECK-P8-NEXT: addis 3, 2, d@toc@ha+2496; CHECK-P8-NEXT: lfd 0, d@toc@l+24(3)97; CHECK-P8-NEXT: addis 3, 2, .LCPI4_0@toc@ha98; CHECK-P8-NEXT: lfd 1, .LCPI4_0@toc@l(3)99; CHECK-P8-NEXT: xsadddp 1, 0, 1100; CHECK-P8-NEXT: blr101 %1 = load double, ptr getelementptr inbounds ([200 x double], ptr @d, i64 0, i64 3), align 8102 %2 = fadd double %1, 6.880000e+00103 ret double %2104}105 106@arr = hidden local_unnamed_addr global [20000 x double] zeroinitializer, align 8107 108; Access an element with an offset that doesn't fit in the displacement field of LFD.109define double @doubleLargeConstantArray() {110; CHECK-P9-LABEL: doubleLargeConstantArray:111; CHECK-P9: # %bb.0:112; CHECK-P9-NEXT: addis 3, 2, arr@toc@ha113; CHECK-P9-NEXT: li 4, 0114; CHECK-P9-NEXT: addi 3, 3, arr@toc@l115; CHECK-P9-NEXT: ori 4, 4, 32768116; CHECK-P9-NEXT: lfdx 0, 3, 4117; CHECK-P9-NEXT: addis 3, 2, .LCPI5_0@toc@ha118; CHECK-P9-NEXT: lfd 1, .LCPI5_0@toc@l(3)119; CHECK-P9-NEXT: xsadddp 1, 0, 1120; CHECK-P9-NEXT: blr121;122; CHECK-P8-LABEL: doubleLargeConstantArray:123; CHECK-P8: # %bb.0:124; CHECK-P8-NEXT: addis 3, 2, arr@toc@ha125; CHECK-P8-NEXT: li 4, 0126; CHECK-P8-NEXT: addi 3, 3, arr@toc@l127; CHECK-P8-NEXT: ori 4, 4, 32768128; CHECK-P8-NEXT: lfdx 0, 3, 4129; CHECK-P8-NEXT: addis 3, 2, .LCPI5_0@toc@ha130; CHECK-P8-NEXT: lfd 1, .LCPI5_0@toc@l(3)131; CHECK-P8-NEXT: xsadddp 1, 0, 1132; CHECK-P8-NEXT: blr133 %1 = load double, ptr getelementptr inbounds ([20000 x double], ptr @arr, i64 0, i64 4096), align 8134 %2 = fadd double %1, 6.880000e+00135 ret double %2136}137 138@vec_arr = global [10 x <4 x i32>] zeroinitializer, align 16139 140define <4 x i32> @vectorArray() #0 {141; CHECK-P9-LABEL: vectorArray:142; CHECK-P9: # %bb.0: # %entry143; CHECK-P9-NEXT: addis 3, 2, .LC0@toc@ha144; CHECK-P9-NEXT: ld 3, .LC0@toc@l(3)145; CHECK-P9-NEXT: lxv 34, 32(3)146; CHECK-P9-NEXT: blr147;148; CHECK-P8-LABEL: vectorArray:149; CHECK-P8: # %bb.0: # %entry150; CHECK-P8-NEXT: addis 3, 2, .LC0@toc@ha151; CHECK-P8-NEXT: ld 3, .LC0@toc@l(3)152; CHECK-P8-NEXT: addi 3, 3, 32153; CHECK-P8-NEXT: lxvd2x 0, 0, 3154; CHECK-P8-NEXT: xxswapd 34, 0155; CHECK-P8-NEXT: blr156entry:157 %0 = load <4 x i32>, ptr getelementptr inbounds ([10 x <4 x i32>], ptr @vec_arr, i64 0, i64 2), align 16158 ret <4 x i32> %0159}160