1 ; Test vector maximum on z14. 2 ; 3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s 4 5 declare double @fmax(double, double) 6 declare double @llvm.maxnum.f64(double, double) 7 declare <2 x double> @llvm.maxnum.v2f64(<2 x double>, <2 x double>) 8 9 declare float @fmaxf(float, float) 10 declare float @llvm.maxnum.f32(float, float) 11 declare <4 x float> @llvm.maxnum.v4f32(<4 x float>, <4 x float>) 12 13 declare fp128 @fmaxl(fp128, fp128) 14 declare fp128 @llvm.maxnum.f128(fp128, fp128) 15 16 ; Test the fmax library function. 17 define double @f1(double %dummy, double %val1, double %val2) { 18 ; CHECK-LABEL: f1: 19 ; CHECK: wfmaxdb %f0, %f2, %f4, 4 20 ; CHECK: br %r14 21 %ret = call double @fmax(double %val1, double %val2) readnone 22 ret double %ret 23 } 24 25 ; Test the f64 maxnum intrinsic. 26 define double @f2(double %dummy, double %val1, double %val2) { 27 ; CHECK-LABEL: f2: 28 ; CHECK: wfmaxdb %f0, %f2, %f4, 4 29 ; CHECK: br %r14 30 %ret = call double @llvm.maxnum.f64(double %val1, double %val2) 31 ret double %ret 32 } 33 34 ; Test a f64 constant compare/select resulting in maxnum. 35 define double @f3(double %dummy, double %val) { 36 ; CHECK-LABEL: f3: 37 ; CHECK: lzdr [[REG:%f[0-9]+]] 38 ; CHECK: wfmaxdb %f0, %f2, [[REG]], 4 39 ; CHECK: br %r14 40 %cmp = fcmp ogt double %val, 0.0 41 %ret = select i1 %cmp, double %val, double 0.0 42 ret double %ret 43 } 44 45 ; Test a f64 constant compare/select resulting in maxnan. 46 define double @f4(double %dummy, double %val) { 47 ; CHECK-LABEL: f4: 48 ; CHECK: lzdr [[REG:%f[0-9]+]] 49 ; CHECK: wfmaxdb %f0, %f2, [[REG]], 1 50 ; CHECK: br %r14 51 %cmp = fcmp ugt double %val, 0.0 52 %ret = select i1 %cmp, double %val, double 0.0 53 ret double %ret 54 } 55 56 ; Test the v2f64 maxnum intrinsic. 57 define <2 x double> @f5(<2 x double> %dummy, <2 x double> %val1, 58 <2 x double> %val2) { 59 ; CHECK-LABEL: f5: 60 ; CHECK: vfmaxdb %v24, %v26, %v28, 4 61 ; CHECK: br %r14 62 %ret = call <2 x double> @llvm.maxnum.v2f64(<2 x double> %val1, <2 x double> %val2) 63 ret <2 x double> %ret 64 } 65 66 ; Test the fmaxf library function. 67 define float @f11(float %dummy, float %val1, float %val2) { 68 ; CHECK-LABEL: f11: 69 ; CHECK: wfmaxsb %f0, %f2, %f4, 4 70 ; CHECK: br %r14 71 %ret = call float @fmaxf(float %val1, float %val2) readnone 72 ret float %ret 73 } 74 75 ; Test the f32 maxnum intrinsic. 76 define float @f12(float %dummy, float %val1, float %val2) { 77 ; CHECK-LABEL: f12: 78 ; CHECK: wfmaxsb %f0, %f2, %f4, 4 79 ; CHECK: br %r14 80 %ret = call float @llvm.maxnum.f32(float %val1, float %val2) 81 ret float %ret 82 } 83 84 ; Test a f32 constant compare/select resulting in maxnum. 85 define float @f13(float %dummy, float %val) { 86 ; CHECK-LABEL: f13: 87 ; CHECK: lzer [[REG:%f[0-9]+]] 88 ; CHECK: wfmaxsb %f0, %f2, [[REG]], 4 89 ; CHECK: br %r14 90 %cmp = fcmp ogt float %val, 0.0 91 %ret = select i1 %cmp, float %val, float 0.0 92 ret float %ret 93 } 94 95 ; Test a f32 constant compare/select resulting in maxnan. 96 define float @f14(float %dummy, float %val) { 97 ; CHECK-LABEL: f14: 98 ; CHECK: lzer [[REG:%f[0-9]+]] 99 ; CHECK: wfmaxsb %f0, %f2, [[REG]], 1 100 ; CHECK: br %r14 101 %cmp = fcmp ugt float %val, 0.0 102 %ret = select i1 %cmp, float %val, float 0.0 103 ret float %ret 104 } 105 106 ; Test the v4f32 maxnum intrinsic. 107 define <4 x float> @f15(<4 x float> %dummy, <4 x float> %val1, 108 <4 x float> %val2) { 109 ; CHECK-LABEL: f15: 110 ; CHECK: vfmaxsb %v24, %v26, %v28, 4 111 ; CHECK: br %r14 112 %ret = call <4 x float> @llvm.maxnum.v4f32(<4 x float> %val1, <4 x float> %val2) 113 ret <4 x float> %ret 114 } 115 116 ; Test the fmaxl library function. 117 define void @f21(fp128 *%ptr1, fp128 *%ptr2, fp128 *%dst) { 118 ; CHECK-LABEL: f21: 119 ; CHECK-DAG: vl [[REG1:%v[0-9]+]], 0(%r2) 120 ; CHECK-DAG: vl [[REG2:%v[0-9]+]], 0(%r3) 121 ; CHECK: wfmaxxb [[RES:%v[0-9]+]], [[REG1]], [[REG2]], 4 122 ; CHECK: vst [[RES]], 0(%r4) 123 ; CHECK: br %r14 124 %val1 = load fp128, fp128* %ptr1 125 %val2 = load fp128, fp128* %ptr2 126 %res = call fp128 @fmaxl(fp128 %val1, fp128 %val2) readnone 127 store fp128 %res, fp128* %dst 128 ret void 129 } 130 131 ; Test the f128 maxnum intrinsic. 132 define void @f22(fp128 *%ptr1, fp128 *%ptr2, fp128 *%dst) { 133 ; CHECK-LABEL: f22: 134 ; CHECK-DAG: vl [[REG1:%v[0-9]+]], 0(%r2) 135 ; CHECK-DAG: vl [[REG2:%v[0-9]+]], 0(%r3) 136 ; CHECK: wfmaxxb [[RES:%v[0-9]+]], [[REG1]], [[REG2]], 4 137 ; CHECK: vst [[RES]], 0(%r4) 138 ; CHECK: br %r14 139 %val1 = load fp128, fp128* %ptr1 140 %val2 = load fp128, fp128* %ptr2 141 %res = call fp128 @llvm.maxnum.f128(fp128 %val1, fp128 %val2) 142 store fp128 %res, fp128* %dst 143 ret void 144 } 145 146 ; Test a f128 constant compare/select resulting in maxnum. 147 define void @f23(fp128 *%ptr, fp128 *%dst) { 148 ; CHECK-LABEL: f23: 149 ; CHECK-DAG: vl [[REG1:%v[0-9]+]], 0(%r2) 150 ; CHECK-DAG: vzero [[REG2:%v[0-9]+]] 151 ; CHECK: wfmaxxb [[RES:%v[0-9]+]], [[REG1]], [[REG2]], 4 152 ; CHECK: vst [[RES]], 0(%r3) 153 ; CHECK: br %r14 154 %val = load fp128, fp128* %ptr 155 %cmp = fcmp ogt fp128 %val, 0xL00000000000000000000000000000000 156 %res = select i1 %cmp, fp128 %val, fp128 0xL00000000000000000000000000000000 157 store fp128 %res, fp128* %dst 158 ret void 159 } 160 161 ; Test a f128 constant compare/select resulting in maxnan. 162 define void @f24(fp128 *%ptr, fp128 *%dst) { 163 ; CHECK-LABEL: f24: 164 ; CHECK-DAG: vl [[REG1:%v[0-9]+]], 0(%r2) 165 ; CHECK-DAG: vzero [[REG2:%v[0-9]+]] 166 ; CHECK: wfmaxxb [[RES:%v[0-9]+]], [[REG1]], [[REG2]], 1 167 ; CHECK: vst [[RES]], 0(%r3) 168 ; CHECK: br %r14 169 %val = load fp128, fp128* %ptr 170 %cmp = fcmp ugt fp128 %val, 0xL00000000000000000000000000000000 171 %res = select i1 %cmp, fp128 %val, fp128 0xL00000000000000000000000000000000 172 store fp128 %res, fp128* %dst 173 ret void 174 } 175 176
