| Richard Sandiford | af5f66a | 2013-08-21 09:04:20 +0000 | [diff] [blame] | 1 | ; Test rounding functions for z196 and above. | 
|  | 2 | ; | 
|  | 3 | ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z196 | FileCheck %s | 
|  | 4 |  | 
|  | 5 | ; Test rint for f32. | 
|  | 6 | declare float @llvm.rint.f32(float %f) | 
|  | 7 | define float @f1(float %f) { | 
|  | 8 | ; CHECK-LABEL: f1: | 
|  | 9 | ; CHECK: fiebr %f0, 0, %f0 | 
|  | 10 | ; CHECK: br %r14 | 
|  | 11 | %res = call float @llvm.rint.f32(float %f) | 
|  | 12 | ret float %res | 
|  | 13 | } | 
|  | 14 |  | 
|  | 15 | ; Test rint for f64. | 
|  | 16 | declare double @llvm.rint.f64(double %f) | 
|  | 17 | define double @f2(double %f) { | 
|  | 18 | ; CHECK-LABEL: f2: | 
|  | 19 | ; CHECK: fidbr %f0, 0, %f0 | 
|  | 20 | ; CHECK: br %r14 | 
|  | 21 | %res = call double @llvm.rint.f64(double %f) | 
|  | 22 | ret double %res | 
|  | 23 | } | 
|  | 24 |  | 
|  | 25 | ; Test rint for f128. | 
|  | 26 | declare fp128 @llvm.rint.f128(fp128 %f) | 
|  | 27 | define void @f3(fp128 *%ptr) { | 
|  | 28 | ; CHECK-LABEL: f3: | 
|  | 29 | ; CHECK: fixbr %f0, 0, %f0 | 
|  | 30 | ; CHECK: br %r14 | 
|  | 31 | %src = load fp128 *%ptr | 
|  | 32 | %res = call fp128 @llvm.rint.f128(fp128 %src) | 
|  | 33 | store fp128 %res, fp128 *%ptr | 
|  | 34 | ret void | 
|  | 35 | } | 
|  | 36 |  | 
|  | 37 | ; Test nearbyint for f32. | 
|  | 38 | declare float @llvm.nearbyint.f32(float %f) | 
|  | 39 | define float @f4(float %f) { | 
|  | 40 | ; CHECK-LABEL: f4: | 
|  | 41 | ; CHECK: fiebra %f0, 0, %f0, 4 | 
|  | 42 | ; CHECK: br %r14 | 
|  | 43 | %res = call float @llvm.nearbyint.f32(float %f) | 
|  | 44 | ret float %res | 
|  | 45 | } | 
|  | 46 |  | 
|  | 47 | ; Test nearbyint for f64. | 
|  | 48 | declare double @llvm.nearbyint.f64(double %f) | 
|  | 49 | define double @f5(double %f) { | 
|  | 50 | ; CHECK-LABEL: f5: | 
|  | 51 | ; CHECK: fidbra %f0, 0, %f0, 4 | 
|  | 52 | ; CHECK: br %r14 | 
|  | 53 | %res = call double @llvm.nearbyint.f64(double %f) | 
|  | 54 | ret double %res | 
|  | 55 | } | 
|  | 56 |  | 
|  | 57 | ; Test nearbyint for f128. | 
|  | 58 | declare fp128 @llvm.nearbyint.f128(fp128 %f) | 
|  | 59 | define void @f6(fp128 *%ptr) { | 
|  | 60 | ; CHECK-LABEL: f6: | 
|  | 61 | ; CHECK: fixbra %f0, 0, %f0, 4 | 
|  | 62 | ; CHECK: br %r14 | 
|  | 63 | %src = load fp128 *%ptr | 
|  | 64 | %res = call fp128 @llvm.nearbyint.f128(fp128 %src) | 
|  | 65 | store fp128 %res, fp128 *%ptr | 
|  | 66 | ret void | 
|  | 67 | } | 
|  | 68 |  | 
|  | 69 | ; Test floor for f32. | 
|  | 70 | declare float @llvm.floor.f32(float %f) | 
|  | 71 | define float @f7(float %f) { | 
|  | 72 | ; CHECK-LABEL: f7: | 
|  | 73 | ; CHECK: fiebra %f0, 7, %f0, 4 | 
|  | 74 | ; CHECK: br %r14 | 
|  | 75 | %res = call float @llvm.floor.f32(float %f) | 
|  | 76 | ret float %res | 
|  | 77 | } | 
|  | 78 |  | 
|  | 79 | ; Test floor for f64. | 
|  | 80 | declare double @llvm.floor.f64(double %f) | 
|  | 81 | define double @f8(double %f) { | 
|  | 82 | ; CHECK-LABEL: f8: | 
|  | 83 | ; CHECK: fidbra %f0, 7, %f0, 4 | 
|  | 84 | ; CHECK: br %r14 | 
|  | 85 | %res = call double @llvm.floor.f64(double %f) | 
|  | 86 | ret double %res | 
|  | 87 | } | 
|  | 88 |  | 
|  | 89 | ; Test floor for f128. | 
|  | 90 | declare fp128 @llvm.floor.f128(fp128 %f) | 
|  | 91 | define void @f9(fp128 *%ptr) { | 
|  | 92 | ; CHECK-LABEL: f9: | 
|  | 93 | ; CHECK: fixbra %f0, 7, %f0, 4 | 
|  | 94 | ; CHECK: br %r14 | 
|  | 95 | %src = load fp128 *%ptr | 
|  | 96 | %res = call fp128 @llvm.floor.f128(fp128 %src) | 
|  | 97 | store fp128 %res, fp128 *%ptr | 
|  | 98 | ret void | 
|  | 99 | } | 
|  | 100 |  | 
|  | 101 | ; Test ceil for f32. | 
|  | 102 | declare float @llvm.ceil.f32(float %f) | 
|  | 103 | define float @f10(float %f) { | 
|  | 104 | ; CHECK-LABEL: f10: | 
|  | 105 | ; CHECK: fiebra %f0, 6, %f0, 4 | 
|  | 106 | ; CHECK: br %r14 | 
|  | 107 | %res = call float @llvm.ceil.f32(float %f) | 
|  | 108 | ret float %res | 
|  | 109 | } | 
|  | 110 |  | 
|  | 111 | ; Test ceil for f64. | 
|  | 112 | declare double @llvm.ceil.f64(double %f) | 
|  | 113 | define double @f11(double %f) { | 
|  | 114 | ; CHECK-LABEL: f11: | 
|  | 115 | ; CHECK: fidbra %f0, 6, %f0, 4 | 
|  | 116 | ; CHECK: br %r14 | 
|  | 117 | %res = call double @llvm.ceil.f64(double %f) | 
|  | 118 | ret double %res | 
|  | 119 | } | 
|  | 120 |  | 
|  | 121 | ; Test ceil for f128. | 
|  | 122 | declare fp128 @llvm.ceil.f128(fp128 %f) | 
|  | 123 | define void @f12(fp128 *%ptr) { | 
|  | 124 | ; CHECK-LABEL: f12: | 
|  | 125 | ; CHECK: fixbra %f0, 6, %f0, 4 | 
|  | 126 | ; CHECK: br %r14 | 
|  | 127 | %src = load fp128 *%ptr | 
|  | 128 | %res = call fp128 @llvm.ceil.f128(fp128 %src) | 
|  | 129 | store fp128 %res, fp128 *%ptr | 
|  | 130 | ret void | 
|  | 131 | } | 
|  | 132 |  | 
|  | 133 | ; Test trunc for f32. | 
|  | 134 | declare float @llvm.trunc.f32(float %f) | 
|  | 135 | define float @f13(float %f) { | 
|  | 136 | ; CHECK-LABEL: f13: | 
|  | 137 | ; CHECK: fiebra %f0, 5, %f0, 4 | 
|  | 138 | ; CHECK: br %r14 | 
|  | 139 | %res = call float @llvm.trunc.f32(float %f) | 
|  | 140 | ret float %res | 
|  | 141 | } | 
|  | 142 |  | 
|  | 143 | ; Test trunc for f64. | 
|  | 144 | declare double @llvm.trunc.f64(double %f) | 
|  | 145 | define double @f14(double %f) { | 
|  | 146 | ; CHECK-LABEL: f14: | 
|  | 147 | ; CHECK: fidbra %f0, 5, %f0, 4 | 
|  | 148 | ; CHECK: br %r14 | 
|  | 149 | %res = call double @llvm.trunc.f64(double %f) | 
|  | 150 | ret double %res | 
|  | 151 | } | 
|  | 152 |  | 
|  | 153 | ; Test trunc for f128. | 
|  | 154 | declare fp128 @llvm.trunc.f128(fp128 %f) | 
|  | 155 | define void @f15(fp128 *%ptr) { | 
|  | 156 | ; CHECK-LABEL: f15: | 
|  | 157 | ; CHECK: fixbra %f0, 5, %f0, 4 | 
|  | 158 | ; CHECK: br %r14 | 
|  | 159 | %src = load fp128 *%ptr | 
|  | 160 | %res = call fp128 @llvm.trunc.f128(fp128 %src) | 
|  | 161 | store fp128 %res, fp128 *%ptr | 
|  | 162 | ret void | 
|  | 163 | } | 
|  | 164 |  | 
|  | 165 | ; Test round for f32. | 
|  | 166 | declare float @llvm.round.f32(float %f) | 
|  | 167 | define float @f16(float %f) { | 
|  | 168 | ; CHECK-LABEL: f16: | 
|  | 169 | ; CHECK: fiebra %f0, 1, %f0, 4 | 
|  | 170 | ; CHECK: br %r14 | 
|  | 171 | %res = call float @llvm.round.f32(float %f) | 
|  | 172 | ret float %res | 
|  | 173 | } | 
|  | 174 |  | 
|  | 175 | ; Test round for f64. | 
|  | 176 | declare double @llvm.round.f64(double %f) | 
|  | 177 | define double @f17(double %f) { | 
|  | 178 | ; CHECK-LABEL: f17: | 
|  | 179 | ; CHECK: fidbra %f0, 1, %f0, 4 | 
|  | 180 | ; CHECK: br %r14 | 
|  | 181 | %res = call double @llvm.round.f64(double %f) | 
|  | 182 | ret double %res | 
|  | 183 | } | 
|  | 184 |  | 
|  | 185 | ; Test round for f128. | 
|  | 186 | declare fp128 @llvm.round.f128(fp128 %f) | 
|  | 187 | define void @f18(fp128 *%ptr) { | 
|  | 188 | ; CHECK-LABEL: f18: | 
|  | 189 | ; CHECK: fixbra %f0, 1, %f0, 4 | 
|  | 190 | ; CHECK: br %r14 | 
|  | 191 | %src = load fp128 *%ptr | 
|  | 192 | %res = call fp128 @llvm.round.f128(fp128 %src) | 
|  | 193 | store fp128 %res, fp128 *%ptr | 
|  | 194 | ret void | 
|  | 195 | } |