zend_operators.h 30 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904
  1. /*
  2. +----------------------------------------------------------------------+
  3. | Zend Engine |
  4. +----------------------------------------------------------------------+
  5. | Copyright (c) Zend Technologies Ltd. (http://www.zend.com) |
  6. +----------------------------------------------------------------------+
  7. | This source file is subject to version 2.00 of the Zend license, |
  8. | that is bundled with this package in the file LICENSE, and is |
  9. | available through the world-wide-web at the following url: |
  10. | http://www.zend.com/license/2_00.txt. |
  11. | If you did not receive a copy of the Zend license and are unable to |
  12. | obtain it through the world-wide-web, please send a note to |
  13. | license@zend.com so we can mail you a copy immediately. |
  14. +----------------------------------------------------------------------+
  15. | Authors: Andi Gutmans <andi@php.net> |
  16. | Zeev Suraski <zeev@php.net> |
  17. | Dmitry Stogov <dmitry@php.net> |
  18. +----------------------------------------------------------------------+
  19. */
  20. #ifndef ZEND_OPERATORS_H
  21. #define ZEND_OPERATORS_H
  22. #include <errno.h>
  23. #include <math.h>
  24. #include <assert.h>
  25. #include <stddef.h>
  26. #ifdef HAVE_IEEEFP_H
  27. #include <ieeefp.h>
  28. #endif
  29. #include "zend_portability.h"
  30. #include "zend_strtod.h"
  31. #include "zend_multiply.h"
  32. #include "zend_object_handlers.h"
  33. #define LONG_SIGN_MASK ZEND_LONG_MIN
  34. BEGIN_EXTERN_C()
  35. ZEND_API zend_result ZEND_FASTCALL add_function(zval *result, zval *op1, zval *op2);
  36. ZEND_API zend_result ZEND_FASTCALL sub_function(zval *result, zval *op1, zval *op2);
  37. ZEND_API zend_result ZEND_FASTCALL mul_function(zval *result, zval *op1, zval *op2);
  38. ZEND_API zend_result ZEND_FASTCALL pow_function(zval *result, zval *op1, zval *op2);
  39. ZEND_API zend_result ZEND_FASTCALL div_function(zval *result, zval *op1, zval *op2);
  40. ZEND_API zend_result ZEND_FASTCALL mod_function(zval *result, zval *op1, zval *op2);
  41. ZEND_API zend_result ZEND_FASTCALL boolean_xor_function(zval *result, zval *op1, zval *op2);
  42. ZEND_API zend_result ZEND_FASTCALL boolean_not_function(zval *result, zval *op1);
  43. ZEND_API zend_result ZEND_FASTCALL bitwise_not_function(zval *result, zval *op1);
  44. ZEND_API zend_result ZEND_FASTCALL bitwise_or_function(zval *result, zval *op1, zval *op2);
  45. ZEND_API zend_result ZEND_FASTCALL bitwise_and_function(zval *result, zval *op1, zval *op2);
  46. ZEND_API zend_result ZEND_FASTCALL bitwise_xor_function(zval *result, zval *op1, zval *op2);
  47. ZEND_API zend_result ZEND_FASTCALL shift_left_function(zval *result, zval *op1, zval *op2);
  48. ZEND_API zend_result ZEND_FASTCALL shift_right_function(zval *result, zval *op1, zval *op2);
  49. ZEND_API zend_result ZEND_FASTCALL concat_function(zval *result, zval *op1, zval *op2);
  50. ZEND_API bool ZEND_FASTCALL zend_is_identical(zval *op1, zval *op2);
  51. ZEND_API zend_result ZEND_FASTCALL is_equal_function(zval *result, zval *op1, zval *op2);
  52. ZEND_API zend_result ZEND_FASTCALL is_identical_function(zval *result, zval *op1, zval *op2);
  53. ZEND_API zend_result ZEND_FASTCALL is_not_identical_function(zval *result, zval *op1, zval *op2);
  54. ZEND_API zend_result ZEND_FASTCALL is_not_equal_function(zval *result, zval *op1, zval *op2);
  55. ZEND_API zend_result ZEND_FASTCALL is_smaller_function(zval *result, zval *op1, zval *op2);
  56. ZEND_API zend_result ZEND_FASTCALL is_smaller_or_equal_function(zval *result, zval *op1, zval *op2);
  57. ZEND_API bool ZEND_FASTCALL zend_class_implements_interface(const zend_class_entry *class_ce, const zend_class_entry *interface_ce);
  58. ZEND_API bool ZEND_FASTCALL instanceof_function_slow(const zend_class_entry *instance_ce, const zend_class_entry *ce);
  59. static zend_always_inline bool instanceof_function(
  60. const zend_class_entry *instance_ce, const zend_class_entry *ce) {
  61. return instance_ce == ce || instanceof_function_slow(instance_ce, ce);
  62. }
  63. /**
  64. * Checks whether the string "str" with length "length" is numeric. The value
  65. * of allow_errors determines whether it's required to be entirely numeric, or
  66. * just its prefix. Leading whitespace is allowed.
  67. *
  68. * The function returns 0 if the string did not contain a valid number; IS_LONG
  69. * if it contained a number that fits within the range of a long; or IS_DOUBLE
  70. * if the number was out of long range or contained a decimal point/exponent.
  71. * The number's value is returned into the respective pointer, *lval or *dval,
  72. * if that pointer is not NULL.
  73. *
  74. * This variant also gives information if a string that represents an integer
  75. * could not be represented as such due to overflow. It writes 1 to oflow_info
  76. * if the integer is larger than ZEND_LONG_MAX and -1 if it's smaller than ZEND_LONG_MIN.
  77. */
  78. ZEND_API zend_uchar ZEND_FASTCALL _is_numeric_string_ex(const char *str, size_t length, zend_long *lval,
  79. double *dval, bool allow_errors, int *oflow_info, bool *trailing_data);
  80. ZEND_API const char* ZEND_FASTCALL zend_memnstr_ex(const char *haystack, const char *needle, size_t needle_len, const char *end);
  81. ZEND_API const char* ZEND_FASTCALL zend_memnrstr_ex(const char *haystack, const char *needle, size_t needle_len, const char *end);
  82. #if SIZEOF_ZEND_LONG == 4
  83. # define ZEND_DOUBLE_FITS_LONG(d) (!((d) > (double)ZEND_LONG_MAX || (d) < (double)ZEND_LONG_MIN))
  84. #else
  85. /* >= as (double)ZEND_LONG_MAX is outside signed range */
  86. # define ZEND_DOUBLE_FITS_LONG(d) (!((d) >= (double)ZEND_LONG_MAX || (d) < (double)ZEND_LONG_MIN))
  87. #endif
  88. ZEND_API zend_long ZEND_FASTCALL zend_dval_to_lval_slow(double d);
  89. static zend_always_inline zend_long zend_dval_to_lval(double d)
  90. {
  91. if (UNEXPECTED(!zend_finite(d)) || UNEXPECTED(zend_isnan(d))) {
  92. return 0;
  93. } else if (!ZEND_DOUBLE_FITS_LONG(d)) {
  94. return zend_dval_to_lval_slow(d);
  95. }
  96. return (zend_long)d;
  97. }
  98. /* Used to convert a string float to integer during an (int) cast */
  99. static zend_always_inline zend_long zend_dval_to_lval_cap(double d)
  100. {
  101. if (UNEXPECTED(!zend_finite(d)) || UNEXPECTED(zend_isnan(d))) {
  102. return 0;
  103. } else if (!ZEND_DOUBLE_FITS_LONG(d)) {
  104. return (d > 0 ? ZEND_LONG_MAX : ZEND_LONG_MIN);
  105. }
  106. return (zend_long)d;
  107. }
  108. /* }}} */
  109. static zend_always_inline bool zend_is_long_compatible(double d, zend_long l) {
  110. return (double)l == d;
  111. }
  112. ZEND_API void zend_incompatible_double_to_long_error(double d);
  113. ZEND_API void zend_incompatible_string_to_long_error(const zend_string *s);
  114. static zend_always_inline zend_long zend_dval_to_lval_safe(double d)
  115. {
  116. zend_long l = zend_dval_to_lval(d);
  117. if (!zend_is_long_compatible(d, l)) {
  118. zend_incompatible_double_to_long_error(d);
  119. }
  120. return l;
  121. }
  122. #define ZEND_IS_DIGIT(c) ((c) >= '0' && (c) <= '9')
  123. #define ZEND_IS_XDIGIT(c) (((c) >= 'A' && (c) <= 'F') || ((c) >= 'a' && (c) <= 'f'))
  124. static zend_always_inline zend_uchar is_numeric_string_ex(const char *str, size_t length, zend_long *lval,
  125. double *dval, bool allow_errors, int *oflow_info, bool *trailing_data)
  126. {
  127. if (*str > '9') {
  128. return 0;
  129. }
  130. return _is_numeric_string_ex(str, length, lval, dval, allow_errors, oflow_info, trailing_data);
  131. }
  132. static zend_always_inline zend_uchar is_numeric_string(const char *str, size_t length, zend_long *lval, double *dval, bool allow_errors) {
  133. return is_numeric_string_ex(str, length, lval, dval, allow_errors, NULL, NULL);
  134. }
  135. ZEND_API zend_uchar ZEND_FASTCALL is_numeric_str_function(const zend_string *str, zend_long *lval, double *dval);
  136. static zend_always_inline const char *
  137. zend_memnstr(const char *haystack, const char *needle, size_t needle_len, const char *end)
  138. {
  139. const char *p = haystack;
  140. ptrdiff_t off_p;
  141. size_t off_s;
  142. if (needle_len == 0) {
  143. return p;
  144. }
  145. if (needle_len == 1) {
  146. return (const char *)memchr(p, *needle, (end-p));
  147. }
  148. off_p = end - haystack;
  149. off_s = (off_p > 0) ? (size_t)off_p : 0;
  150. if (needle_len > off_s) {
  151. return NULL;
  152. }
  153. if (EXPECTED(off_s < 1024 || needle_len < 9)) { /* glibc memchr is faster when needle is too short */
  154. const char ne = needle[needle_len-1];
  155. end -= needle_len;
  156. while (p <= end) {
  157. if ((p = (const char *)memchr(p, *needle, (end-p+1))) && ne == p[needle_len-1]) {
  158. if (!memcmp(needle+1, p+1, needle_len-2)) {
  159. return p;
  160. }
  161. }
  162. if (p == NULL) {
  163. return NULL;
  164. }
  165. p++;
  166. }
  167. return NULL;
  168. } else {
  169. return zend_memnstr_ex(haystack, needle, needle_len, end);
  170. }
  171. }
  172. static zend_always_inline const void *zend_memrchr(const void *s, int c, size_t n)
  173. {
  174. const unsigned char *e;
  175. if (0 == n) {
  176. return NULL;
  177. }
  178. for (e = (const unsigned char *)s + n - 1; e >= (const unsigned char *)s; e--) {
  179. if (*e == (unsigned char)c) {
  180. return (const void *)e;
  181. }
  182. }
  183. return NULL;
  184. }
  185. static zend_always_inline const char *
  186. zend_memnrstr(const char *haystack, const char *needle, size_t needle_len, const char *end)
  187. {
  188. const char *p = end;
  189. ptrdiff_t off_p;
  190. size_t off_s;
  191. if (needle_len == 0) {
  192. return p;
  193. }
  194. if (needle_len == 1) {
  195. return (const char *)zend_memrchr(haystack, *needle, (p - haystack));
  196. }
  197. off_p = end - haystack;
  198. off_s = (off_p > 0) ? (size_t)off_p : 0;
  199. if (needle_len > off_s) {
  200. return NULL;
  201. }
  202. if (EXPECTED(off_s < 1024 || needle_len < 3)) {
  203. const char ne = needle[needle_len-1];
  204. p -= needle_len;
  205. do {
  206. p = (const char *)zend_memrchr(haystack, *needle, (p - haystack) + 1);
  207. if (!p) {
  208. return NULL;
  209. }
  210. if (ne == p[needle_len-1] && !memcmp(needle + 1, p + 1, needle_len - 2)) {
  211. return p;
  212. }
  213. } while (p-- >= haystack);
  214. return NULL;
  215. } else {
  216. return zend_memnrstr_ex(haystack, needle, needle_len, end);
  217. }
  218. }
  219. ZEND_API zend_result ZEND_FASTCALL increment_function(zval *op1);
  220. ZEND_API zend_result ZEND_FASTCALL decrement_function(zval *op2);
  221. ZEND_API void ZEND_FASTCALL convert_scalar_to_number(zval *op);
  222. ZEND_API void ZEND_FASTCALL _convert_to_string(zval *op);
  223. ZEND_API void ZEND_FASTCALL convert_to_long(zval *op);
  224. ZEND_API void ZEND_FASTCALL convert_to_double(zval *op);
  225. ZEND_API void ZEND_FASTCALL convert_to_null(zval *op);
  226. ZEND_API void ZEND_FASTCALL convert_to_boolean(zval *op);
  227. ZEND_API void ZEND_FASTCALL convert_to_array(zval *op);
  228. ZEND_API void ZEND_FASTCALL convert_to_object(zval *op);
  229. ZEND_API zend_long ZEND_FASTCALL zval_get_long_func(zval *op, bool is_strict);
  230. ZEND_API double ZEND_FASTCALL zval_get_double_func(zval *op);
  231. ZEND_API zend_string* ZEND_FASTCALL zval_get_string_func(zval *op);
  232. ZEND_API zend_string* ZEND_FASTCALL zval_try_get_string_func(zval *op);
  233. static zend_always_inline zend_long zval_get_long(zval *op) {
  234. return EXPECTED(Z_TYPE_P(op) == IS_LONG) ? Z_LVAL_P(op) : zval_get_long_func(op, false);
  235. }
  236. static zend_always_inline zend_long zval_get_long_ex(zval *op, bool is_strict) {
  237. return EXPECTED(Z_TYPE_P(op) == IS_LONG) ? Z_LVAL_P(op) : zval_get_long_func(op, is_strict);
  238. }
  239. static zend_always_inline double zval_get_double(zval *op) {
  240. return EXPECTED(Z_TYPE_P(op) == IS_DOUBLE) ? Z_DVAL_P(op) : zval_get_double_func(op);
  241. }
  242. static zend_always_inline zend_string *zval_get_string(zval *op) {
  243. return EXPECTED(Z_TYPE_P(op) == IS_STRING) ? zend_string_copy(Z_STR_P(op)) : zval_get_string_func(op);
  244. }
  245. static zend_always_inline zend_string *zval_get_tmp_string(zval *op, zend_string **tmp) {
  246. if (EXPECTED(Z_TYPE_P(op) == IS_STRING)) {
  247. *tmp = NULL;
  248. return Z_STR_P(op);
  249. } else {
  250. return *tmp = zval_get_string_func(op);
  251. }
  252. }
  253. static zend_always_inline void zend_tmp_string_release(zend_string *tmp) {
  254. if (UNEXPECTED(tmp)) {
  255. zend_string_release_ex(tmp, 0);
  256. }
  257. }
  258. /* Like zval_get_string, but returns NULL if the conversion fails with an exception. */
  259. static zend_always_inline zend_string *zval_try_get_string(zval *op) {
  260. if (EXPECTED(Z_TYPE_P(op) == IS_STRING)) {
  261. zend_string *ret = zend_string_copy(Z_STR_P(op));
  262. ZEND_ASSUME(ret != NULL);
  263. return ret;
  264. } else {
  265. return zval_try_get_string_func(op);
  266. }
  267. }
  268. /* Like zval_get_tmp_string, but returns NULL if the conversion fails with an exception. */
  269. static zend_always_inline zend_string *zval_try_get_tmp_string(zval *op, zend_string **tmp) {
  270. if (EXPECTED(Z_TYPE_P(op) == IS_STRING)) {
  271. zend_string *ret = Z_STR_P(op);
  272. *tmp = NULL;
  273. ZEND_ASSUME(ret != NULL);
  274. return ret;
  275. } else {
  276. return *tmp = zval_try_get_string_func(op);
  277. }
  278. }
  279. /* Like convert_to_string(), but returns whether the conversion succeeded and does not modify the
  280. * zval in-place if it fails. */
  281. ZEND_API bool ZEND_FASTCALL _try_convert_to_string(zval *op);
  282. static zend_always_inline bool try_convert_to_string(zval *op) {
  283. if (Z_TYPE_P(op) == IS_STRING) {
  284. return 1;
  285. }
  286. return _try_convert_to_string(op);
  287. }
  288. /* Compatibility macros for 7.2 and below */
  289. #define _zval_get_long(op) zval_get_long(op)
  290. #define _zval_get_double(op) zval_get_double(op)
  291. #define _zval_get_string(op) zval_get_string(op)
  292. #define _zval_get_long_func(op) zval_get_long_func(op)
  293. #define _zval_get_double_func(op) zval_get_double_func(op)
  294. #define _zval_get_string_func(op) zval_get_string_func(op)
  295. #define convert_to_string(op) if (Z_TYPE_P(op) != IS_STRING) { _convert_to_string((op)); }
  296. ZEND_API int ZEND_FASTCALL zend_is_true(zval *op);
  297. ZEND_API bool ZEND_FASTCALL zend_object_is_true(zval *op);
  298. #define zval_is_true(op) \
  299. zend_is_true(op)
  300. static zend_always_inline bool i_zend_is_true(zval *op)
  301. {
  302. bool result = 0;
  303. again:
  304. switch (Z_TYPE_P(op)) {
  305. case IS_TRUE:
  306. result = 1;
  307. break;
  308. case IS_LONG:
  309. if (Z_LVAL_P(op)) {
  310. result = 1;
  311. }
  312. break;
  313. case IS_DOUBLE:
  314. if (Z_DVAL_P(op)) {
  315. result = 1;
  316. }
  317. break;
  318. case IS_STRING:
  319. if (Z_STRLEN_P(op) > 1 || (Z_STRLEN_P(op) && Z_STRVAL_P(op)[0] != '0')) {
  320. result = 1;
  321. }
  322. break;
  323. case IS_ARRAY:
  324. if (zend_hash_num_elements(Z_ARRVAL_P(op))) {
  325. result = 1;
  326. }
  327. break;
  328. case IS_OBJECT:
  329. if (EXPECTED(Z_OBJ_HT_P(op)->cast_object == zend_std_cast_object_tostring)) {
  330. result = 1;
  331. } else {
  332. result = zend_object_is_true(op);
  333. }
  334. break;
  335. case IS_RESOURCE:
  336. if (EXPECTED(Z_RES_HANDLE_P(op))) {
  337. result = 1;
  338. }
  339. break;
  340. case IS_REFERENCE:
  341. op = Z_REFVAL_P(op);
  342. goto again;
  343. break;
  344. default:
  345. break;
  346. }
  347. return result;
  348. }
  349. /* Indicate that two values cannot be compared. This value should be returned for both orderings
  350. * of the operands. This implies that all of ==, <, <= and >, >= will return false, because we
  351. * canonicalize >/>= to </<= with swapped operands. */
  352. // TODO: Use a different value to allow an actual distinction here.
  353. #define ZEND_UNCOMPARABLE 1
  354. ZEND_API int ZEND_FASTCALL zend_compare(zval *op1, zval *op2);
  355. ZEND_API zend_result ZEND_FASTCALL compare_function(zval *result, zval *op1, zval *op2);
  356. ZEND_API int ZEND_FASTCALL numeric_compare_function(zval *op1, zval *op2);
  357. ZEND_API int ZEND_FASTCALL string_compare_function_ex(zval *op1, zval *op2, bool case_insensitive);
  358. ZEND_API int ZEND_FASTCALL string_compare_function(zval *op1, zval *op2);
  359. ZEND_API int ZEND_FASTCALL string_case_compare_function(zval *op1, zval *op2);
  360. ZEND_API int ZEND_FASTCALL string_locale_compare_function(zval *op1, zval *op2);
  361. ZEND_API void ZEND_FASTCALL zend_str_tolower(char *str, size_t length);
  362. ZEND_API char* ZEND_FASTCALL zend_str_tolower_copy(char *dest, const char *source, size_t length);
  363. ZEND_API char* ZEND_FASTCALL zend_str_tolower_dup(const char *source, size_t length);
  364. ZEND_API char* ZEND_FASTCALL zend_str_tolower_dup_ex(const char *source, size_t length);
  365. ZEND_API zend_string* ZEND_FASTCALL zend_string_tolower_ex(zend_string *str, bool persistent);
  366. #define zend_string_tolower(str) zend_string_tolower_ex(str, 0)
  367. ZEND_API int ZEND_FASTCALL zend_binary_zval_strcmp(zval *s1, zval *s2);
  368. ZEND_API int ZEND_FASTCALL zend_binary_zval_strncmp(zval *s1, zval *s2, zval *s3);
  369. ZEND_API int ZEND_FASTCALL zend_binary_zval_strcasecmp(zval *s1, zval *s2);
  370. ZEND_API int ZEND_FASTCALL zend_binary_zval_strncasecmp(zval *s1, zval *s2, zval *s3);
  371. ZEND_API int ZEND_FASTCALL zend_binary_strcmp(const char *s1, size_t len1, const char *s2, size_t len2);
  372. ZEND_API int ZEND_FASTCALL zend_binary_strncmp(const char *s1, size_t len1, const char *s2, size_t len2, size_t length);
  373. ZEND_API int ZEND_FASTCALL zend_binary_strcasecmp(const char *s1, size_t len1, const char *s2, size_t len2);
  374. ZEND_API int ZEND_FASTCALL zend_binary_strncasecmp(const char *s1, size_t len1, const char *s2, size_t len2, size_t length);
  375. ZEND_API int ZEND_FASTCALL zend_binary_strcasecmp_l(const char *s1, size_t len1, const char *s2, size_t len2);
  376. ZEND_API int ZEND_FASTCALL zend_binary_strncasecmp_l(const char *s1, size_t len1, const char *s2, size_t len2, size_t length);
  377. ZEND_API bool ZEND_FASTCALL zendi_smart_streq(zend_string *s1, zend_string *s2);
  378. ZEND_API int ZEND_FASTCALL zendi_smart_strcmp(zend_string *s1, zend_string *s2);
  379. ZEND_API int ZEND_FASTCALL zend_compare_symbol_tables(HashTable *ht1, HashTable *ht2);
  380. ZEND_API int ZEND_FASTCALL zend_compare_arrays(zval *a1, zval *a2);
  381. ZEND_API int ZEND_FASTCALL zend_compare_objects(zval *o1, zval *o2);
  382. ZEND_API int ZEND_FASTCALL zend_atoi(const char *str, size_t str_len);
  383. ZEND_API zend_long ZEND_FASTCALL zend_atol(const char *str, size_t str_len);
  384. #define convert_to_null_ex(zv) convert_to_null(zv)
  385. #define convert_to_boolean_ex(zv) convert_to_boolean(zv)
  386. #define convert_to_long_ex(zv) convert_to_long(zv)
  387. #define convert_to_double_ex(zv) convert_to_double(zv)
  388. #define convert_to_string_ex(zv) convert_to_string(zv)
  389. #define convert_to_array_ex(zv) convert_to_array(zv)
  390. #define convert_to_object_ex(zv) convert_to_object(zv)
  391. #define convert_scalar_to_number_ex(zv) convert_scalar_to_number(zv)
  392. ZEND_API void zend_update_current_locale(void);
  393. ZEND_API void zend_reset_lc_ctype_locale(void);
  394. /* The offset in bytes between the value and type fields of a zval */
  395. #define ZVAL_OFFSETOF_TYPE \
  396. (offsetof(zval, u1.type_info) - offsetof(zval, value))
  397. #if defined(HAVE_ASM_GOTO) && !__has_feature(memory_sanitizer)
  398. # define ZEND_USE_ASM_ARITHMETIC 1
  399. #else
  400. # define ZEND_USE_ASM_ARITHMETIC 0
  401. #endif
  402. static zend_always_inline void fast_long_increment_function(zval *op1)
  403. {
  404. #if ZEND_USE_ASM_ARITHMETIC && defined(__i386__) && !(4 == __GNUC__ && 8 == __GNUC_MINOR__)
  405. __asm__ goto(
  406. "addl $1,(%0)\n\t"
  407. "jo %l1\n"
  408. :
  409. : "r"(&op1->value)
  410. : "cc", "memory"
  411. : overflow);
  412. return;
  413. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  414. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MAX + 1.0);
  415. #elif ZEND_USE_ASM_ARITHMETIC && defined(__x86_64__)
  416. __asm__ goto(
  417. "addq $1,(%0)\n\t"
  418. "jo %l1\n"
  419. :
  420. : "r"(&op1->value)
  421. : "cc", "memory"
  422. : overflow);
  423. return;
  424. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  425. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MAX + 1.0);
  426. #elif ZEND_USE_ASM_ARITHMETIC && defined(__aarch64__)
  427. __asm__ goto (
  428. "ldr x5, [%0]\n\t"
  429. "adds x5, x5, 1\n\t"
  430. "bvs %l1\n"
  431. "str x5, [%0]"
  432. :
  433. : "r"(&op1->value)
  434. : "x5", "cc", "memory"
  435. : overflow);
  436. return;
  437. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  438. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MAX + 1.0);
  439. #elif PHP_HAVE_BUILTIN_SADDL_OVERFLOW && SIZEOF_LONG == SIZEOF_ZEND_LONG
  440. long lresult;
  441. if (UNEXPECTED(__builtin_saddl_overflow(Z_LVAL_P(op1), 1, &lresult))) {
  442. /* switch to double */
  443. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MAX + 1.0);
  444. } else {
  445. Z_LVAL_P(op1) = lresult;
  446. }
  447. #elif PHP_HAVE_BUILTIN_SADDLL_OVERFLOW && SIZEOF_LONG_LONG == SIZEOF_ZEND_LONG
  448. long long llresult;
  449. if (UNEXPECTED(__builtin_saddll_overflow(Z_LVAL_P(op1), 1, &llresult))) {
  450. /* switch to double */
  451. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MAX + 1.0);
  452. } else {
  453. Z_LVAL_P(op1) = llresult;
  454. }
  455. #else
  456. if (UNEXPECTED(Z_LVAL_P(op1) == ZEND_LONG_MAX)) {
  457. /* switch to double */
  458. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MAX + 1.0);
  459. } else {
  460. Z_LVAL_P(op1)++;
  461. }
  462. #endif
  463. }
  464. static zend_always_inline void fast_long_decrement_function(zval *op1)
  465. {
  466. #if ZEND_USE_ASM_ARITHMETIC && defined(__i386__) && !(4 == __GNUC__ && 8 == __GNUC_MINOR__)
  467. __asm__ goto(
  468. "subl $1,(%0)\n\t"
  469. "jo %l1\n"
  470. :
  471. : "r"(&op1->value)
  472. : "cc", "memory"
  473. : overflow);
  474. return;
  475. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  476. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MIN - 1.0);
  477. #elif ZEND_USE_ASM_ARITHMETIC && defined(__x86_64__)
  478. __asm__ goto(
  479. "subq $1,(%0)\n\t"
  480. "jo %l1\n"
  481. :
  482. : "r"(&op1->value)
  483. : "cc", "memory"
  484. : overflow);
  485. return;
  486. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  487. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MIN - 1.0);
  488. #elif ZEND_USE_ASM_ARITHMETIC && defined(__aarch64__)
  489. __asm__ goto (
  490. "ldr x5, [%0]\n\t"
  491. "subs x5 ,x5, 1\n\t"
  492. "bvs %l1\n"
  493. "str x5, [%0]"
  494. :
  495. : "r"(&op1->value)
  496. : "x5", "cc", "memory"
  497. : overflow);
  498. return;
  499. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  500. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MIN - 1.0);
  501. #elif PHP_HAVE_BUILTIN_SSUBL_OVERFLOW && SIZEOF_LONG == SIZEOF_ZEND_LONG
  502. long lresult;
  503. if (UNEXPECTED(__builtin_ssubl_overflow(Z_LVAL_P(op1), 1, &lresult))) {
  504. /* switch to double */
  505. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MIN - 1.0);
  506. } else {
  507. Z_LVAL_P(op1) = lresult;
  508. }
  509. #elif PHP_HAVE_BUILTIN_SSUBLL_OVERFLOW && SIZEOF_LONG_LONG == SIZEOF_ZEND_LONG
  510. long long llresult;
  511. if (UNEXPECTED(__builtin_ssubll_overflow(Z_LVAL_P(op1), 1, &llresult))) {
  512. /* switch to double */
  513. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MIN - 1.0);
  514. } else {
  515. Z_LVAL_P(op1) = llresult;
  516. }
  517. #else
  518. if (UNEXPECTED(Z_LVAL_P(op1) == ZEND_LONG_MIN)) {
  519. /* switch to double */
  520. ZVAL_DOUBLE(op1, (double)ZEND_LONG_MIN - 1.0);
  521. } else {
  522. Z_LVAL_P(op1)--;
  523. }
  524. #endif
  525. }
  526. static zend_always_inline void fast_long_add_function(zval *result, zval *op1, zval *op2)
  527. {
  528. #if ZEND_USE_ASM_ARITHMETIC && defined(__i386__) && !(4 == __GNUC__ && 8 == __GNUC_MINOR__)
  529. __asm__ goto(
  530. "movl (%1), %%eax\n\t"
  531. "addl (%2), %%eax\n\t"
  532. "jo %l5\n\t"
  533. "movl %%eax, (%0)\n\t"
  534. "movl %3, %c4(%0)\n"
  535. :
  536. : "r"(&result->value),
  537. "r"(&op1->value),
  538. "r"(&op2->value),
  539. "n"(IS_LONG),
  540. "n"(ZVAL_OFFSETOF_TYPE)
  541. : "eax","cc", "memory"
  542. : overflow);
  543. return;
  544. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  545. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) + (double) Z_LVAL_P(op2));
  546. #elif ZEND_USE_ASM_ARITHMETIC && defined(__x86_64__)
  547. __asm__ goto(
  548. "movq (%1), %%rax\n\t"
  549. "addq (%2), %%rax\n\t"
  550. "jo %l5\n\t"
  551. "movq %%rax, (%0)\n\t"
  552. "movl %3, %c4(%0)\n"
  553. :
  554. : "r"(&result->value),
  555. "r"(&op1->value),
  556. "r"(&op2->value),
  557. "n"(IS_LONG),
  558. "n"(ZVAL_OFFSETOF_TYPE)
  559. : "rax","cc", "memory"
  560. : overflow);
  561. return;
  562. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  563. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) + (double) Z_LVAL_P(op2));
  564. #elif ZEND_USE_ASM_ARITHMETIC && defined(__aarch64__)
  565. __asm__ goto(
  566. "ldr x5, [%1]\n\t"
  567. "ldr x6, [%2]\n\t"
  568. "adds x5, x5, x6\n\t"
  569. "bvs %l5\n\t"
  570. "mov w6, %3\n\t"
  571. "str x5, [%0]\n\t"
  572. "str w6, [%0, %c4]\n"
  573. :
  574. : "r"(&result->value),
  575. "r"(&op1->value),
  576. "r"(&op2->value),
  577. "n"(IS_LONG),
  578. "n"(ZVAL_OFFSETOF_TYPE)
  579. : "x5", "x6", "cc", "memory"
  580. : overflow);
  581. return;
  582. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  583. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) + (double) Z_LVAL_P(op2));
  584. #elif PHP_HAVE_BUILTIN_SADDL_OVERFLOW && SIZEOF_LONG == SIZEOF_ZEND_LONG
  585. long lresult;
  586. if (UNEXPECTED(__builtin_saddl_overflow(Z_LVAL_P(op1), Z_LVAL_P(op2), &lresult))) {
  587. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) + (double) Z_LVAL_P(op2));
  588. } else {
  589. ZVAL_LONG(result, lresult);
  590. }
  591. #elif PHP_HAVE_BUILTIN_SADDLL_OVERFLOW && SIZEOF_LONG_LONG == SIZEOF_ZEND_LONG
  592. long long llresult;
  593. if (UNEXPECTED(__builtin_saddll_overflow(Z_LVAL_P(op1), Z_LVAL_P(op2), &llresult))) {
  594. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) + (double) Z_LVAL_P(op2));
  595. } else {
  596. ZVAL_LONG(result, llresult);
  597. }
  598. #else
  599. /*
  600. * 'result' may alias with op1 or op2, so we need to
  601. * ensure that 'result' is not updated until after we
  602. * have read the values of op1 and op2.
  603. */
  604. if (UNEXPECTED((Z_LVAL_P(op1) & LONG_SIGN_MASK) == (Z_LVAL_P(op2) & LONG_SIGN_MASK)
  605. && (Z_LVAL_P(op1) & LONG_SIGN_MASK) != ((Z_LVAL_P(op1) + Z_LVAL_P(op2)) & LONG_SIGN_MASK))) {
  606. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) + (double) Z_LVAL_P(op2));
  607. } else {
  608. ZVAL_LONG(result, Z_LVAL_P(op1) + Z_LVAL_P(op2));
  609. }
  610. #endif
  611. }
  612. static zend_always_inline zend_result fast_add_function(zval *result, zval *op1, zval *op2)
  613. {
  614. if (EXPECTED(Z_TYPE_P(op1) == IS_LONG)) {
  615. if (EXPECTED(Z_TYPE_P(op2) == IS_LONG)) {
  616. fast_long_add_function(result, op1, op2);
  617. return SUCCESS;
  618. } else if (EXPECTED(Z_TYPE_P(op2) == IS_DOUBLE)) {
  619. ZVAL_DOUBLE(result, ((double)Z_LVAL_P(op1)) + Z_DVAL_P(op2));
  620. return SUCCESS;
  621. }
  622. } else if (EXPECTED(Z_TYPE_P(op1) == IS_DOUBLE)) {
  623. if (EXPECTED(Z_TYPE_P(op2) == IS_DOUBLE)) {
  624. ZVAL_DOUBLE(result, Z_DVAL_P(op1) + Z_DVAL_P(op2));
  625. return SUCCESS;
  626. } else if (EXPECTED(Z_TYPE_P(op2) == IS_LONG)) {
  627. ZVAL_DOUBLE(result, Z_DVAL_P(op1) + ((double)Z_LVAL_P(op2)));
  628. return SUCCESS;
  629. }
  630. }
  631. return add_function(result, op1, op2);
  632. }
  633. static zend_always_inline void fast_long_sub_function(zval *result, zval *op1, zval *op2)
  634. {
  635. #if ZEND_USE_ASM_ARITHMETIC && defined(__i386__) && !(4 == __GNUC__ && 8 == __GNUC_MINOR__)
  636. __asm__ goto(
  637. "movl (%1), %%eax\n\t"
  638. "subl (%2), %%eax\n\t"
  639. "jo %l5\n\t"
  640. "movl %%eax, (%0)\n\t"
  641. "movl %3, %c4(%0)\n"
  642. :
  643. : "r"(&result->value),
  644. "r"(&op1->value),
  645. "r"(&op2->value),
  646. "n"(IS_LONG),
  647. "n"(ZVAL_OFFSETOF_TYPE)
  648. : "eax","cc", "memory"
  649. : overflow);
  650. return;
  651. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  652. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) - (double) Z_LVAL_P(op2));
  653. #elif ZEND_USE_ASM_ARITHMETIC && defined(__x86_64__)
  654. __asm__ goto(
  655. "movq (%1), %%rax\n\t"
  656. "subq (%2), %%rax\n\t"
  657. "jo %l5\n\t"
  658. "movq %%rax, (%0)\n\t"
  659. "movl %3, %c4(%0)\n"
  660. :
  661. : "r"(&result->value),
  662. "r"(&op1->value),
  663. "r"(&op2->value),
  664. "n"(IS_LONG),
  665. "n"(ZVAL_OFFSETOF_TYPE)
  666. : "rax","cc", "memory"
  667. : overflow);
  668. return;
  669. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  670. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) - (double) Z_LVAL_P(op2));
  671. #elif ZEND_USE_ASM_ARITHMETIC && defined(__aarch64__)
  672. __asm__ goto(
  673. "ldr x5, [%1]\n\t"
  674. "ldr x6, [%2]\n\t"
  675. "subs x5, x5, x6\n\t"
  676. "bvs %l5\n\t"
  677. "mov w6, %3\n\t"
  678. "str x5, [%0]\n\t"
  679. "str w6, [%0, %c4]\n"
  680. :
  681. : "r"(&result->value),
  682. "r"(&op1->value),
  683. "r"(&op2->value),
  684. "n"(IS_LONG),
  685. "n"(ZVAL_OFFSETOF_TYPE)
  686. : "x5", "x6", "cc", "memory"
  687. : overflow);
  688. return;
  689. overflow: ZEND_ATTRIBUTE_COLD_LABEL
  690. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) - (double) Z_LVAL_P(op2));
  691. #elif PHP_HAVE_BUILTIN_SSUBL_OVERFLOW && SIZEOF_LONG == SIZEOF_ZEND_LONG
  692. long lresult;
  693. if (UNEXPECTED(__builtin_ssubl_overflow(Z_LVAL_P(op1), Z_LVAL_P(op2), &lresult))) {
  694. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) - (double) Z_LVAL_P(op2));
  695. } else {
  696. ZVAL_LONG(result, lresult);
  697. }
  698. #elif PHP_HAVE_BUILTIN_SSUBLL_OVERFLOW && SIZEOF_LONG_LONG == SIZEOF_ZEND_LONG
  699. long long llresult;
  700. if (UNEXPECTED(__builtin_ssubll_overflow(Z_LVAL_P(op1), Z_LVAL_P(op2), &llresult))) {
  701. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) - (double) Z_LVAL_P(op2));
  702. } else {
  703. ZVAL_LONG(result, llresult);
  704. }
  705. #else
  706. ZVAL_LONG(result, Z_LVAL_P(op1) - Z_LVAL_P(op2));
  707. if (UNEXPECTED((Z_LVAL_P(op1) & LONG_SIGN_MASK) != (Z_LVAL_P(op2) & LONG_SIGN_MASK)
  708. && (Z_LVAL_P(op1) & LONG_SIGN_MASK) != (Z_LVAL_P(result) & LONG_SIGN_MASK))) {
  709. ZVAL_DOUBLE(result, (double) Z_LVAL_P(op1) - (double) Z_LVAL_P(op2));
  710. }
  711. #endif
  712. }
  713. static zend_always_inline bool zend_fast_equal_strings(zend_string *s1, zend_string *s2)
  714. {
  715. if (s1 == s2) {
  716. return 1;
  717. } else if (ZSTR_VAL(s1)[0] > '9' || ZSTR_VAL(s2)[0] > '9') {
  718. return zend_string_equal_content(s1, s2);
  719. } else {
  720. return zendi_smart_streq(s1, s2);
  721. }
  722. }
  723. static zend_always_inline bool fast_equal_check_function(zval *op1, zval *op2)
  724. {
  725. if (EXPECTED(Z_TYPE_P(op1) == IS_LONG)) {
  726. if (EXPECTED(Z_TYPE_P(op2) == IS_LONG)) {
  727. return Z_LVAL_P(op1) == Z_LVAL_P(op2);
  728. } else if (EXPECTED(Z_TYPE_P(op2) == IS_DOUBLE)) {
  729. return ((double)Z_LVAL_P(op1)) == Z_DVAL_P(op2);
  730. }
  731. } else if (EXPECTED(Z_TYPE_P(op1) == IS_DOUBLE)) {
  732. if (EXPECTED(Z_TYPE_P(op2) == IS_DOUBLE)) {
  733. return Z_DVAL_P(op1) == Z_DVAL_P(op2);
  734. } else if (EXPECTED(Z_TYPE_P(op2) == IS_LONG)) {
  735. return Z_DVAL_P(op1) == ((double)Z_LVAL_P(op2));
  736. }
  737. } else if (EXPECTED(Z_TYPE_P(op1) == IS_STRING)) {
  738. if (EXPECTED(Z_TYPE_P(op2) == IS_STRING)) {
  739. return zend_fast_equal_strings(Z_STR_P(op1), Z_STR_P(op2));
  740. }
  741. }
  742. return zend_compare(op1, op2) == 0;
  743. }
  744. static zend_always_inline bool fast_equal_check_long(zval *op1, zval *op2)
  745. {
  746. if (EXPECTED(Z_TYPE_P(op2) == IS_LONG)) {
  747. return Z_LVAL_P(op1) == Z_LVAL_P(op2);
  748. }
  749. return zend_compare(op1, op2) == 0;
  750. }
  751. static zend_always_inline bool fast_equal_check_string(zval *op1, zval *op2)
  752. {
  753. if (EXPECTED(Z_TYPE_P(op2) == IS_STRING)) {
  754. return zend_fast_equal_strings(Z_STR_P(op1), Z_STR_P(op2));
  755. }
  756. return zend_compare(op1, op2) == 0;
  757. }
  758. static zend_always_inline bool fast_is_identical_function(zval *op1, zval *op2)
  759. {
  760. if (Z_TYPE_P(op1) != Z_TYPE_P(op2)) {
  761. return 0;
  762. } else if (Z_TYPE_P(op1) <= IS_TRUE) {
  763. return 1;
  764. }
  765. return zend_is_identical(op1, op2);
  766. }
  767. static zend_always_inline bool fast_is_not_identical_function(zval *op1, zval *op2)
  768. {
  769. if (Z_TYPE_P(op1) != Z_TYPE_P(op2)) {
  770. return 1;
  771. } else if (Z_TYPE_P(op1) <= IS_TRUE) {
  772. return 0;
  773. }
  774. return !zend_is_identical(op1, op2);
  775. }
  776. /* buf points to the END of the buffer */
  777. static zend_always_inline char *zend_print_ulong_to_buf(char *buf, zend_ulong num) {
  778. *buf = '\0';
  779. do {
  780. *--buf = (char) (num % 10) + '0';
  781. num /= 10;
  782. } while (num > 0);
  783. return buf;
  784. }
  785. /* buf points to the END of the buffer */
  786. static zend_always_inline char *zend_print_long_to_buf(char *buf, zend_long num) {
  787. if (num < 0) {
  788. char *result = zend_print_ulong_to_buf(buf, ~((zend_ulong) num) + 1);
  789. *--result = '-';
  790. return result;
  791. } else {
  792. return zend_print_ulong_to_buf(buf, num);
  793. }
  794. }
  795. ZEND_API zend_string* ZEND_FASTCALL zend_long_to_str(zend_long num);
  796. ZEND_API zend_string* ZEND_FASTCALL zend_ulong_to_str(zend_ulong num);
  797. ZEND_API zend_string* ZEND_FASTCALL zend_u64_to_str(uint64_t num);
  798. ZEND_API zend_string* ZEND_FASTCALL zend_i64_to_str(int64_t num);
  799. ZEND_API zend_string* ZEND_FASTCALL zend_double_to_str(double num);
  800. static zend_always_inline void zend_unwrap_reference(zval *op) /* {{{ */
  801. {
  802. if (Z_REFCOUNT_P(op) == 1) {
  803. ZVAL_UNREF(op);
  804. } else {
  805. Z_DELREF_P(op);
  806. ZVAL_COPY(op, Z_REFVAL_P(op));
  807. }
  808. }
  809. /* }}} */
  810. END_EXTERN_C()
  811. #endif