1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc -relocation-model=pic -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr9 < %s | FileCheck -check-prefix=CHECK-P9 %s 3; RUN: llc -relocation-model=pic -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck -check-prefix=CHECK-P8 %s 4 5; As the constant could be represented as float, a float is 6; loaded from constant pool. 7define double @doubleConstant1() { 8; CHECK-P9-LABEL: doubleConstant1: 9; CHECK-P9: # %bb.0: 10; CHECK-P9-NEXT: vspltisw 2, 14 11; CHECK-P9-NEXT: xvcvsxwdp 1, 34 12; CHECK-P9-NEXT: blr 13; 14; CHECK-P8-LABEL: doubleConstant1: 15; CHECK-P8: # %bb.0: 16; CHECK-P8-NEXT: vspltisw 2, 14 17; CHECK-P8-NEXT: xvcvsxwdp 1, 34 18; CHECK-P8-NEXT: blr 19 ret double 1.400000e+01 20} 21 22; As the constant couldn't be represented as float, a double is 23; 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@ha 28; CHECK-P9-NEXT: lfd 1, .LCPI1_0@toc@l(3) 29; CHECK-P9-NEXT: blr 30; 31; CHECK-P8-LABEL: doubleConstant2: 32; CHECK-P8: # %bb.0: 33; CHECK-P8-NEXT: addis 3, 2, .LCPI1_0@toc@ha 34; CHECK-P8-NEXT: lfd 1, .LCPI1_0@toc@l(3) 35; CHECK-P8-NEXT: blr 36 ret double 2.408904e+01 37} 38 39@FArr = hidden local_unnamed_addr global [10 x float] zeroinitializer, align 4 40 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+12 45; CHECK-P9-NEXT: lfs 0, FArr@toc@l+12(3) 46; CHECK-P9-NEXT: addis 3, 2, .LCPI2_0@toc@ha 47; CHECK-P9-NEXT: lfs 1, .LCPI2_0@toc@l(3) 48; CHECK-P9-NEXT: xsaddsp 1, 0, 1 49; CHECK-P9-NEXT: blr 50; 51; CHECK-P8-LABEL: floatConstantArray: 52; CHECK-P8: # %bb.0: 53; CHECK-P8-NEXT: addis 3, 2, FArr@toc@ha+12 54; CHECK-P8-NEXT: lfs 0, FArr@toc@l+12(3) 55; CHECK-P8-NEXT: addis 3, 2, .LCPI2_0@toc@ha 56; CHECK-P8-NEXT: lfs 1, .LCPI2_0@toc@l(3) 57; CHECK-P8-NEXT: xsaddsp 1, 0, 1 58; CHECK-P8-NEXT: blr 59 %1 = load float, ptr getelementptr inbounds ([10 x float], ptr @FArr, i64 0, i64 3), align 4 60 %2 = fadd float %1, 0x400B333340000000 61 ret float %2 62} 63 64define float @floatConstant() { 65; CHECK-P9-LABEL: floatConstant: 66; CHECK-P9: # %bb.0: 67; CHECK-P9-NEXT: addis 3, 2, .LCPI3_0@toc@ha 68; CHECK-P9-NEXT: lfs 1, .LCPI3_0@toc@l(3) 69; CHECK-P9-NEXT: blr 70; 71; CHECK-P8-LABEL: floatConstant: 72; CHECK-P8: # %bb.0: 73; CHECK-P8-NEXT: addis 3, 2, .LCPI3_0@toc@ha 74; CHECK-P8-NEXT: lfs 1, .LCPI3_0@toc@l(3) 75; CHECK-P8-NEXT: blr 76 ret float 0x400470A3E0000000 77} 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 8 82 83define double @doubleConstantArray() { 84; CHECK-P9-LABEL: doubleConstantArray: 85; CHECK-P9: # %bb.0: 86; CHECK-P9-NEXT: addis 3, 2, d@toc@ha+24 87; CHECK-P9-NEXT: lfd 0, d@toc@l+24(3) 88; CHECK-P9-NEXT: addis 3, 2, .LCPI4_0@toc@ha 89; CHECK-P9-NEXT: lfd 1, .LCPI4_0@toc@l(3) 90; CHECK-P9-NEXT: xsadddp 1, 0, 1 91; CHECK-P9-NEXT: blr 92; 93; CHECK-P8-LABEL: doubleConstantArray: 94; CHECK-P8: # %bb.0: 95; CHECK-P8-NEXT: addis 3, 2, d@toc@ha+24 96; CHECK-P8-NEXT: lfd 0, d@toc@l+24(3) 97; CHECK-P8-NEXT: addis 3, 2, .LCPI4_0@toc@ha 98; CHECK-P8-NEXT: lfd 1, .LCPI4_0@toc@l(3) 99; CHECK-P8-NEXT: xsadddp 1, 0, 1 100; CHECK-P8-NEXT: blr 101 %1 = load double, ptr getelementptr inbounds ([200 x double], ptr @d, i64 0, i64 3), align 8 102 %2 = fadd double %1, 6.880000e+00 103 ret double %2 104} 105 106@arr = hidden local_unnamed_addr global [20000 x double] zeroinitializer, align 8 107 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@ha 113; CHECK-P9-NEXT: li 4, 0 114; CHECK-P9-NEXT: addi 3, 3, arr@toc@l 115; CHECK-P9-NEXT: ori 4, 4, 32768 116; CHECK-P9-NEXT: lfdx 0, 3, 4 117; CHECK-P9-NEXT: addis 3, 2, .LCPI5_0@toc@ha 118; CHECK-P9-NEXT: lfd 1, .LCPI5_0@toc@l(3) 119; CHECK-P9-NEXT: xsadddp 1, 0, 1 120; CHECK-P9-NEXT: blr 121; 122; CHECK-P8-LABEL: doubleLargeConstantArray: 123; CHECK-P8: # %bb.0: 124; CHECK-P8-NEXT: addis 3, 2, arr@toc@ha 125; CHECK-P8-NEXT: li 4, 0 126; CHECK-P8-NEXT: addi 3, 3, arr@toc@l 127; CHECK-P8-NEXT: ori 4, 4, 32768 128; CHECK-P8-NEXT: lfdx 0, 3, 4 129; CHECK-P8-NEXT: addis 3, 2, .LCPI5_0@toc@ha 130; CHECK-P8-NEXT: lfd 1, .LCPI5_0@toc@l(3) 131; CHECK-P8-NEXT: xsadddp 1, 0, 1 132; CHECK-P8-NEXT: blr 133 %1 = load double, ptr getelementptr inbounds ([20000 x double], ptr @arr, i64 0, i64 4096), align 8 134 %2 = fadd double %1, 6.880000e+00 135 ret double %2 136} 137 138@vec_arr = global [10 x <4 x i32>] zeroinitializer, align 16 139 140define <4 x i32> @vectorArray() #0 { 141; CHECK-P9-LABEL: vectorArray: 142; CHECK-P9: # %bb.0: # %entry 143; CHECK-P9-NEXT: addis 3, 2, .LC0@toc@ha 144; CHECK-P9-NEXT: ld 3, .LC0@toc@l(3) 145; CHECK-P9-NEXT: lxv 34, 32(3) 146; CHECK-P9-NEXT: blr 147; 148; CHECK-P8-LABEL: vectorArray: 149; CHECK-P8: # %bb.0: # %entry 150; CHECK-P8-NEXT: addis 3, 2, .LC0@toc@ha 151; CHECK-P8-NEXT: ld 3, .LC0@toc@l(3) 152; CHECK-P8-NEXT: addi 3, 3, 32 153; CHECK-P8-NEXT: lxvd2x 0, 0, 3 154; CHECK-P8-NEXT: xxswapd 34, 0 155; CHECK-P8-NEXT: blr 156entry: 157 %0 = load <4 x i32>, ptr getelementptr inbounds ([10 x <4 x i32>], ptr @vec_arr, i64 0, i64 2), align 16 158 ret <4 x i32> %0 159} 160