Lines Matching full:int32_max
280 0x41dfffffff7fffff, /* The value just below INT32_MAX - 1.0. */ \
281 0x41dfffffff800000, /* INT32_MAX - 1.0 */ \
282 0x41dfffffff800001, /* The value just above INT32_MAX - 1.0. */ \
283 0x41dfffffff9fffff, /* The value just below INT32_MAX - 0.5. */ \
284 0x41dfffffffa00000, /* INT32_MAX - 0.5 */ \
285 0x41dfffffffa00001, /* The value just above INT32_MAX - 0.5. */ \
286 0x41dfffffffbfffff, /* The value just below INT32_MAX. */ \
287 0x41dfffffffc00000, /* INT32_MAX */ \
288 0x41dfffffffc00001, /* The value just above INT32_MAX. */ \
289 0x41dfffffffdfffff, /* The value just below INT32_MAX + 0.5. */ \
290 0x41dfffffffe00000, /* INT32_MAX + 0.5 */ \
291 0x41dfffffffe00001, /* The value just above INT32_MAX + 0.5. */ \
443 0x4effffff, /* The value just below INT32_MAX. */ \
444 /* INT32_MAX is not representable. */ \
445 0x4f000000, /* The value just above INT32_MAX. */
