zend_operators.h 31 KB

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