Lines Matching defs:result_bits
162 FPBits result_bits = FPBits(result);
163 ASSERT_EQ(result_bits.get_biased_exponent(),
165 ASSERT_EQ(result_bits.get_mantissa(), FPBits::FRACTION_MASK);
168 result_bits = FPBits(result);
169 ASSERT_EQ(result_bits.get_biased_exponent(), x_bits.get_biased_exponent());
170 ASSERT_EQ(result_bits.get_mantissa(),
176 result_bits = FPBits(result);
177 ASSERT_EQ(result_bits.get_biased_exponent(),
179 ASSERT_EQ(result_bits.get_mantissa(), FPBits::FRACTION_MASK);
182 result_bits = FPBits(result);
183 ASSERT_EQ(result_bits.get_biased_exponent(), x_bits.get_biased_exponent());
184 ASSERT_EQ(result_bits.get_mantissa(),