Lines Matching refs:make_float
20 float make_float(uint32_t sign_bit, uint32_t biased_exponent, uint32_t significand)
36 float make_float(uint64_t f, int e)
144 check_float(make_float(0, 0, 0x00000001), "1", -45); // min denormal
145 check_float(make_float(0, 0, 0x007FFFFF), "11754942", -45); // max denormal
146 check_float(make_float(0, 1, 0x00000000), "11754944", -45); // min normal
147 check_float(make_float(0, 1, 0x00000001), "11754945", -45);
148 check_float(make_float(0, 1, 0x007FFFFF), "23509886", -45);
149 check_float(make_float(0, 2, 0x00000000), "23509887", -45);
150 check_float(make_float(0, 2, 0x00000001), "2350989", -44);
151 check_float(make_float(0, 24, 0x00000000), "98607613", -39); // fail if no special case in normalized boundaries
152 check_float(make_float(0, 30, 0x00000000), "63108872", -37); // fail if no special case in normalized boundaries
153 check_float(make_float(0, 31, 0x00000000), "12621775", -36); // fail if no special case in normalized boundaries
154 check_float(make_float(0, 57, 0x00000000), "84703295", -29); // fail if no special case in normalized boundaries
155 check_float(make_float(0, 254, 0x007FFFFE), "34028233", 31);
156 check_float(make_float(0, 254, 0x007FFFFF), "34028235", 31); // max normal
163 check_float(make_float(12676506, -102), "25", -25);
164 check_float(make_float(12676506, -103), "125", -26);
165 check_float(make_float(15445013, 86), "1195", 30);
166 check_float(make_float(13734123, -138), "39415", -39);
167 check_float(make_float(12428269, -130), "913085", -38);
168 check_float(make_float(15334037, -146), "1719005", -43);
169 check_float(make_float(11518287, -41), "52379105", -13);
170 check_float(make_float(12584953, -145), "2821644", -43);
171 check_float(make_float(15961084, -125), "37524328", -38);
172 check_float(make_float(14915817, -146), "16721209", -44);
173 check_float(make_float(10845484, -102), "21388946", -31);
174 check_float(make_float(16431059, -61), "7125836", -18);
177 check_float(make_float(16093626, 69), "95", 26);
178 check_float(make_float( 9983778, 25), "335", 12);
179 check_float(make_float(12745034, 104), "2585", 35);
180 check_float(make_float(12706553, 72), "60005", 24);
181 check_float(make_float(11005028, 45), "387205", 15);
182 check_float(make_float(15059547, 71), "3555835", 22);
183 check_float(make_float(16015691, -99), "25268305", -30);
184 check_float(make_float( 8667859, 56), "6245851", 17);
185 check_float(make_float(14855922, -82), "30721327", -25);
186 check_float(make_float(14855922, -83), "15360663", -25);
187 check_float(make_float(10144164, -110), "781478", -32);
188 check_float(make_float(13248074, 95), "52481028", 28);