Searched refs:int64_num (Results 1 – 1 of 1) sorted by relevance
839 int64_t int64_num = uint32_num; in ecma_number_to_int32() local841 JERRY_ASSERT (int64_num >= 0); in ecma_number_to_int32()843 if (int64_num >= uint32_2_pow_31) in ecma_number_to_int32()845 JERRY_ASSERT (ret == int64_num - int64_2_pow_32); in ecma_number_to_int32()849 JERRY_ASSERT (ret == int64_num); in ecma_number_to_int32()