Searched refs:int32_number (Results 1 – 2 of 2) sorted by relevance
559 ecma_make_int32_value (int32_t int32_number) /**< int32 number to be encoded */ in ecma_make_int32_value() argument561 if (ECMA_IS_INTEGER_NUMBER (int32_number)) in ecma_make_int32_value()563 return ecma_make_integer_value ((ecma_integer_value_t) int32_number); in ecma_make_int32_value()566 return ecma_create_float_number ((ecma_number_t) int32_number); in ecma_make_int32_value()
248 ecma_value_t ecma_make_int32_value (int32_t int32_number);