Lines Matching defs:result_bits
177 FPBits result_bits = FPBits(result);
178 ASSERT_EQ(result_bits.get_biased_exponent(),
180 ASSERT_EQ(result_bits.get_mantissa(), FPBits::FRACTION_MASK);
183 result_bits = FPBits(result);
184 ASSERT_EQ(result_bits.get_biased_exponent(), x_bits.get_biased_exponent());
185 ASSERT_EQ(result_bits.get_mantissa(),
191 result_bits = FPBits(result);
192 ASSERT_EQ(result_bits.get_biased_exponent(),
194 ASSERT_EQ(result_bits.get_mantissa(), FPBits::FRACTION_MASK);
197 result_bits = FPBits(result);
198 ASSERT_EQ(result_bits.get_biased_exponent(), x_bits.get_biased_exponent());
199 ASSERT_EQ(result_bits.get_mantissa(),