src/lj_strfmt.c - luajit-2.0-src

Global variables defined

Functions defined

Macros defined

Source code

  1. /*
  2. ** String formatting.
  3. ** Copyright (C) 2005-2015 Mike Pall. See Copyright Notice in luajit.h
  4. */

  5. #include <stdio.h>

  6. #define lj_strfmt_c
  7. #define LUA_CORE

  8. #include "lj_obj.h"
  9. #include "lj_buf.h"
  10. #include "lj_str.h"
  11. #include "lj_state.h"
  12. #include "lj_char.h"
  13. #include "lj_strfmt.h"

  14. /* -- Format parser ------------------------------------------------------- */

  15. static const uint8_t strfmt_map[('x'-'A')+1] = {
  16.   STRFMT_A,0,0,0,STRFMT_E,0,STRFMT_G,0,0,0,0,0,0,
  17.   0,0,0,0,0,0,0,0,0,0,STRFMT_X,0,0,
  18.   0,0,0,0,0,0,
  19.   STRFMT_A,0,STRFMT_C,STRFMT_D,STRFMT_E,STRFMT_F,STRFMT_G,0,STRFMT_I,0,0,0,0,
  20.   0,STRFMT_O,STRFMT_P,STRFMT_Q,0,STRFMT_S,0,STRFMT_U,0,0,STRFMT_X
  21. };

  22. SFormat LJ_FASTCALL lj_strfmt_parse(FormatState *fs)
  23. {
  24.   const uint8_t *p = fs->p, *e = fs->e;
  25.   fs->str = (const char *)p;
  26.   for (; p < e; p++) {
  27.     if (*p == '%') {  /* Escape char? */
  28.       if (p[1] == '%') {  /* '%%'? */
  29.         fs->p = ++p+1;
  30.         goto retlit;
  31.       } else {
  32.         SFormat sf = 0;
  33.         uint32_t c;
  34.         if (p != (const uint8_t *)fs->str)
  35.           break;
  36.         for (p++; (uint32_t)*p - ' ' <= (uint32_t)('0' - ' '); p++) {
  37.           /* Parse flags. */
  38.           if (*p == '-') sf |= STRFMT_F_LEFT;
  39.           else if (*p == '+') sf |= STRFMT_F_PLUS;
  40.           else if (*p == '0') sf |= STRFMT_F_ZERO;
  41.           else if (*p == ' ') sf |= STRFMT_F_SPACE;
  42.           else if (*p == '#') sf |= STRFMT_F_ALT;
  43.           else break;
  44.         }
  45.         if ((uint32_t)*p - '0' < 10) {  /* Parse width. */
  46.           uint32_t width = (uint32_t)*p++ - '0';
  47.           if ((uint32_t)*p - '0' < 10)
  48.             width = (uint32_t)*p++ - '0' + width*10;
  49.           sf |= (width << STRFMT_SH_WIDTH);
  50.         }
  51.         if (*p == '.') {  /* Parse precision. */
  52.           uint32_t prec = 0;
  53.           p++;
  54.           if ((uint32_t)*p - '0' < 10) {
  55.             prec = (uint32_t)*p++ - '0';
  56.             if ((uint32_t)*p - '0' < 10)
  57.               prec = (uint32_t)*p++ - '0' + prec*10;
  58.           }
  59.           sf |= ((prec+1) << STRFMT_SH_PREC);
  60.         }
  61.         /* Parse conversion. */
  62.         c = (uint32_t)*p - 'A';
  63.         if (LJ_LIKELY(c <= (uint32_t)('x' - 'A'))) {
  64.           uint32_t sx = strfmt_map[c];
  65.           if (sx) {
  66.             fs->p = p+1;
  67.             return (sf | sx | ((c & 0x20) ? 0 : STRFMT_F_UPPER));
  68.           }
  69.         }
  70.         /* Return error location. */
  71.         if (*p >= 32) p++;
  72.         fs->len = (MSize)(p - (const uint8_t *)fs->str);
  73.         fs->p = fs->e;
  74.         return STRFMT_ERR;
  75.       }
  76.     }
  77.   }
  78.   fs->p = p;
  79. retlit:
  80.   fs->len = (MSize)(p - (const uint8_t *)fs->str);
  81.   return fs->len ? STRFMT_LIT : STRFMT_EOF;
  82. }

  83. /* -- Raw conversions ----------------------------------------------------- */

  84. /* Write number to bufer. */
  85. char * LJ_FASTCALL lj_strfmt_wnum(char *p, cTValue *o)
  86. {
  87.   if (LJ_LIKELY((o->u32.hi << 1) < 0xffe00000)) {  /* Finite? */
  88. #if __BIONIC__
  89.     if (tvismzero(o)) { *p++ = '-'; *p++ = '0'; return p; }
  90. #endif
  91.     return p + lua_number2str(p, o->n);
  92.   } else if (((o->u32.hi & 0x000fffff) | o->u32.lo) != 0) {
  93.     *p++ = 'n'; *p++ = 'a'; *p++ = 'n';
  94.   } else if ((o->u32.hi & 0x80000000) == 0) {
  95.     *p++ = 'i'; *p++ = 'n'; *p++ = 'f';
  96.   } else {
  97.     *p++ = '-'; *p++ = 'i'; *p++ = 'n'; *p++ = 'f';
  98.   }
  99.   return p;
  100. }

  101. #define WINT_R(x, sh, sc) \
  102.   { uint32_t d = (x*(((1<<sh)+sc-1)/sc))>>sh; x -= d*sc; *p++ = (char)('0'+d); }

  103. /* Write integer to buffer. */
  104. char * LJ_FASTCALL lj_strfmt_wint(char *p, int32_t k)
  105. {
  106.   uint32_t u = (uint32_t)k;
  107.   if (k < 0) { u = (uint32_t)-k; *p++ = '-'; }
  108.   if (u < 10000) {
  109.     if (u < 10) goto dig1; if (u < 100) goto dig2; if (u < 1000) goto dig3;
  110.   } else {
  111.     uint32_t v = u / 10000; u -= v * 10000;
  112.     if (v < 10000) {
  113.       if (v < 10) goto dig5; if (v < 100) goto dig6; if (v < 1000) goto dig7;
  114.     } else {
  115.       uint32_t w = v / 10000; v -= w * 10000;
  116.       if (w >= 10) WINT_R(w, 10, 10)
  117.       *p++ = (char)('0'+w);
  118.     }
  119.     WINT_R(v, 23, 1000)
  120.     dig7: WINT_R(v, 12, 100)
  121.     dig6: WINT_R(v, 10, 10)
  122.     dig5: *p++ = (char)('0'+v);
  123.   }
  124.   WINT_R(u, 23, 1000)
  125.   dig3: WINT_R(u, 12, 100)
  126.   dig2: WINT_R(u, 10, 10)
  127.   dig1: *p++ = (char)('0'+u);
  128.   return p;
  129. }
  130. #undef WINT_R

  131. /* Write pointer to buffer. */
  132. char * LJ_FASTCALL lj_strfmt_wptr(char *p, const void *v)
  133. {
  134.   ptrdiff_t x = (ptrdiff_t)v;
  135.   MSize i, n = STRFMT_MAXBUF_PTR;
  136.   if (x == 0) {
  137.     *p++ = 'N'; *p++ = 'U'; *p++ = 'L'; *p++ = 'L';
  138.     return p;
  139.   }
  140. #if LJ_64
  141.   /* Shorten output for 64 bit pointers. */
  142.   n = 2+2*4+((x >> 32) ? 2+2*(lj_fls((uint32_t)(x >> 32))>>3) : 0);
  143. #endif
  144.   p[0] = '0';
  145.   p[1] = 'x';
  146.   for (i = n-1; i >= 2; i--, x >>= 4)
  147.     p[i] = "0123456789abcdef"[(x & 15)];
  148.   return p+n;
  149. }

  150. /* Write ULEB128 to buffer. */
  151. char * LJ_FASTCALL lj_strfmt_wuleb128(char *p, uint32_t v)
  152. {
  153.   for (; v >= 0x80; v >>= 7)
  154.     *p++ = (char)((v & 0x7f) | 0x80);
  155.   *p++ = (char)v;
  156.   return p;
  157. }

  158. /* Return string or write number to buffer and return pointer to start. */
  159. const char *lj_strfmt_wstrnum(char *buf, cTValue *o, MSize *lenp)
  160. {
  161.   if (tvisstr(o)) {
  162.     *lenp = strV(o)->len;
  163.     return strVdata(o);
  164.   } else if (tvisint(o)) {
  165.     *lenp = (MSize)(lj_strfmt_wint(buf, intV(o)) - buf);
  166.     return buf;
  167.   } else if (tvisnum(o)) {
  168.     *lenp = (MSize)(lj_strfmt_wnum(buf, o) - buf);
  169.     return buf;
  170.   } else {
  171.     return NULL;
  172.   }
  173. }

  174. /* -- Unformatted conversions to buffer ----------------------------------- */

  175. /* Add integer to buffer. */
  176. SBuf * LJ_FASTCALL lj_strfmt_putint(SBuf *sb, int32_t k)
  177. {
  178.   setsbufP(sb, lj_strfmt_wint(lj_buf_more(sb, STRFMT_MAXBUF_INT), k));
  179.   return sb;
  180. }

  181. #if LJ_HASJIT
  182. /* Add number to buffer. */
  183. SBuf * LJ_FASTCALL lj_strfmt_putnum(SBuf *sb, cTValue *o)
  184. {
  185.   setsbufP(sb, lj_strfmt_wnum(lj_buf_more(sb, STRFMT_MAXBUF_NUM), o));
  186.   return sb;
  187. }
  188. #endif

  189. SBuf * LJ_FASTCALL lj_strfmt_putptr(SBuf *sb, const void *v)
  190. {
  191.   setsbufP(sb, lj_strfmt_wptr(lj_buf_more(sb, STRFMT_MAXBUF_PTR), v));
  192.   return sb;
  193. }

  194. /* Add quoted string to buffer. */
  195. SBuf * LJ_FASTCALL lj_strfmt_putquoted(SBuf *sb, GCstr *str)
  196. {
  197.   const char *s = strdata(str);
  198.   MSize len = str->len;
  199.   lj_buf_putb(sb, '"');
  200.   while (len--) {
  201.     uint32_t c = (uint32_t)(uint8_t)*s++;
  202.     char *p = lj_buf_more(sb, 4);
  203.     if (c == '"' || c == '\\' || c == '\n') {
  204.       *p++ = '\\';
  205.     } else if (lj_char_iscntrl(c)) {  /* This can only be 0-31 or 127. */
  206.       uint32_t d;
  207.       *p++ = '\\';
  208.       if (c >= 100 || lj_char_isdigit((uint8_t)*s)) {
  209.         *p++ = (char)('0'+(c >= 100)); if (c >= 100) c -= 100;
  210.         goto tens;
  211.       } else if (c >= 10) {
  212.       tens:
  213.         d = (c * 205) >> 11; c -= d * 10; *p++ = (char)('0'+d);
  214.       }
  215.       c += '0';
  216.     }
  217.     *p++ = (char)c;
  218.     setsbufP(sb, p);
  219.   }
  220.   lj_buf_putb(sb, '"');
  221.   return sb;
  222. }

  223. /* -- Formatted conversions to buffer ------------------------------------- */

  224. /* Add formatted char to buffer. */
  225. SBuf *lj_strfmt_putfchar(SBuf *sb, SFormat sf, int32_t c)
  226. {
  227.   MSize width = STRFMT_WIDTH(sf);
  228.   char *p = lj_buf_more(sb, width > 1 ? width : 1);
  229.   if ((sf & STRFMT_F_LEFT)) *p++ = (char)c;
  230.   while (width-- > 1) *p++ = ' ';
  231.   if (!(sf & STRFMT_F_LEFT)) *p++ = (char)c;
  232.   setsbufP(sb, p);
  233.   return sb;
  234. }

  235. /* Add formatted string to buffer. */
  236. SBuf *lj_strfmt_putfstr(SBuf *sb, SFormat sf, GCstr *str)
  237. {
  238.   MSize len = str->len <= STRFMT_PREC(sf) ? str->len : STRFMT_PREC(sf);
  239.   MSize width = STRFMT_WIDTH(sf);
  240.   char *p = lj_buf_more(sb, width > len ? width : len);
  241.   if ((sf & STRFMT_F_LEFT)) p = lj_buf_wmem(p, strdata(str), len);
  242.   while (width-- > len) *p++ = ' ';
  243.   if (!(sf & STRFMT_F_LEFT)) p = lj_buf_wmem(p, strdata(str), len);
  244.   setsbufP(sb, p);
  245.   return sb;
  246. }

  247. /* Add formatted signed/unsigned integer to buffer. */
  248. SBuf *lj_strfmt_putfxint(SBuf *sb, SFormat sf, uint64_t k)
  249. {
  250.   char buf[STRFMT_MAXBUF_XINT], *q = buf + sizeof(buf), *p;
  251. #ifdef LUA_USE_ASSERT
  252.   char *ps;
  253. #endif
  254.   MSize prefix = 0, len, prec, pprec, width, need;

  255.   /* Figure out signed prefixes. */
  256.   if (STRFMT_TYPE(sf) == STRFMT_INT) {
  257.     if ((int64_t)k < 0) {
  258.       k = (uint64_t)-(int64_t)k;
  259.       prefix = 256 + '-';
  260.     } else if ((sf & STRFMT_F_PLUS)) {
  261.       prefix = 256 + '+';
  262.     } else if ((sf & STRFMT_F_SPACE)) {
  263.       prefix = 256 + ' ';
  264.     }
  265.   }

  266.   /* Convert number and store to fixed-size buffer in reverse order. */
  267.   prec = STRFMT_PREC(sf);
  268.   if ((int32_t)prec >= 0) sf &= ~STRFMT_F_ZERO;
  269.   if (k == 0) {  /* Special-case zero argument. */
  270.     if (prec != 0 ||
  271.         (sf & (STRFMT_T_OCT|STRFMT_F_ALT)) == (STRFMT_T_OCT|STRFMT_F_ALT))
  272.       *--q = '0';
  273.   } else if (!(sf & (STRFMT_T_HEX|STRFMT_T_OCT))) {  /* Decimal. */
  274.     uint32_t k2;
  275.     while ((k >> 32)) { *--q = (char)('0' + k % 10); k /= 10; }
  276.     k2 = (uint32_t)k;
  277.     do { *--q = (char)('0' + k2 % 10); k2 /= 10; } while (k2);
  278.   } else if ((sf & STRFMT_T_HEX)) {  /* Hex. */
  279.     const char *hexdig = (sf & STRFMT_F_UPPER) ? "0123456789ABCDEF" :
  280.                                                  "0123456789abcdef";
  281.     do { *--q = hexdig[(k & 15)]; k >>= 4; } while (k);
  282.     if ((sf & STRFMT_F_ALT)) prefix = 512 + ((sf & STRFMT_F_UPPER) ? 'X' : 'x');
  283.   } else/* Octal. */
  284.     do { *--q = (char)('0' + (uint32_t)(k & 7)); k >>= 3; } while (k);
  285.     if ((sf & STRFMT_F_ALT)) *--q = '0';
  286.   }

  287.   /* Calculate sizes. */
  288.   len = (MSize)(buf + sizeof(buf) - q);
  289.   if ((int32_t)len >= (int32_t)prec) prec = len;
  290.   width = STRFMT_WIDTH(sf);
  291.   pprec = prec + (prefix >> 8);
  292.   need = width > pprec ? width : pprec;
  293.   p = lj_buf_more(sb, need);
  294. #ifdef LUA_USE_ASSERT
  295.   ps = p;
  296. #endif

  297.   /* Format number with leading/trailing whitespace and zeros. */
  298.   if ((sf & (STRFMT_F_LEFT|STRFMT_F_ZERO)) == 0)
  299.     while (width-- > pprec) *p++ = ' ';
  300.   if (prefix) {
  301.     if ((char)prefix >= 'X') *p++ = '0';
  302.     *p++ = (char)prefix;
  303.   }
  304.   if ((sf & (STRFMT_F_LEFT|STRFMT_F_ZERO)) == STRFMT_F_ZERO)
  305.     while (width-- > pprec) *p++ = '0';
  306.   while (prec-- > len) *p++ = '0';
  307.   while (q < buf + sizeof(buf)) *p++ = *q++;  /* Add number itself. */
  308.   if ((sf & STRFMT_F_LEFT))
  309.     while (width-- > pprec) *p++ = ' ';

  310.   lua_assert(need == (MSize)(p - ps));
  311.   setsbufP(sb, p);
  312.   return sb;
  313. }

  314. /* Add number formatted as signed integer to buffer. */
  315. SBuf *lj_strfmt_putfnum_int(SBuf *sb, SFormat sf, lua_Number n)
  316. {
  317.   int64_t k = (int64_t)n;
  318.   if (checki32(k) && sf == STRFMT_INT)
  319.     return lj_strfmt_putint(sb, (int32_t)k);  /* Shortcut for plain %d. */
  320.   else
  321.     return lj_strfmt_putfxint(sb, sf, (uint64_t)k);
  322. }

  323. /* Add number formatted as unsigned integer to buffer. */
  324. SBuf *lj_strfmt_putfnum_uint(SBuf *sb, SFormat sf, lua_Number n)
  325. {
  326.   int64_t k;
  327.   if (n >= 9223372036854775808.0)
  328.     k = (int64_t)(n - 18446744073709551616.0);
  329.   else
  330.     k = (int64_t)n;
  331.   return lj_strfmt_putfxint(sb, sf, (uint64_t)k);
  332. }

  333. /* Max. sprintf buffer size needed. At least #string.format("%.99f", -1e308). */
  334. #define STRFMT_FMTNUMBUF        512

  335. /* Add formatted floating-point number to buffer. */
  336. SBuf *lj_strfmt_putfnum(SBuf *sb, SFormat sf, lua_Number n)
  337. {
  338.   TValue tv;
  339.   tv.n = n;
  340.   if (LJ_UNLIKELY((tv.u32.hi << 1) >= 0xffe00000)) {
  341.     /* Canonicalize output of non-finite values. */
  342.     MSize width = STRFMT_WIDTH(sf), len = 3;
  343.     int prefix = 0, ch = (sf & STRFMT_F_UPPER) ? 0x202020 : 0;
  344.     char *p;
  345.     if (((tv.u32.hi & 0x000fffff) | tv.u32.lo) != 0) {
  346.       ch ^= ('n' << 16) | ('a' << 8) | 'n';
  347.       if ((sf & STRFMT_F_SPACE)) prefix = ' ';
  348.     } else {
  349.       ch ^= ('i' << 16) | ('n' << 8) | 'f';
  350.       if ((tv.u32.hi & 0x80000000)) prefix = '-';
  351.       else if ((sf & STRFMT_F_PLUS)) prefix = '+';
  352.       else if ((sf & STRFMT_F_SPACE)) prefix = ' ';
  353.     }
  354.     if (prefix) len = 4;
  355.     p = lj_buf_more(sb, width > len ? width : len);
  356.     if (!(sf & STRFMT_F_LEFT)) while (width-- > len) *p++ = ' ';
  357.     if (prefix) *p++ = prefix;
  358.     *p++ = (char)(ch >> 16); *p++ = (char)(ch >> 8); *p++ = (char)ch;
  359.     if ((sf & STRFMT_F_LEFT)) while (width-- > len) *p++ = ' ';
  360.     setsbufP(sb, p);
  361.   } else/* Delegate to sprintf() for now. */
  362.     uint8_t width = (uint8_t)STRFMT_WIDTH(sf), prec = (uint8_t)STRFMT_PREC(sf);
  363.     char fmt[1+5+2+3+1+1], *p = fmt;
  364.     *p++ = '%';
  365.     if ((sf & STRFMT_F_LEFT)) *p++ = '-';
  366.     if ((sf & STRFMT_F_PLUS)) *p++ = '+';
  367.     if ((sf & STRFMT_F_ZERO)) *p++ = '0';
  368.     if ((sf & STRFMT_F_SPACE)) *p++ = ' ';
  369.     if ((sf & STRFMT_F_ALT)) *p++ = '#';
  370.     if (width) {
  371.       uint8_t x = width / 10, y = width % 10;
  372.       if (x) *p++ = '0' + x;
  373.       *p++ = '0' + y;
  374.     }
  375.     if (prec != 255) {
  376.       uint8_t x = prec / 10, y = prec % 10;
  377.       *p++ = '.';
  378.       if (x) *p++ = '0' + x;
  379.       *p++ = '0' + y;
  380.     }
  381.     *p++ = (0x67666561 >> (STRFMT_FP(sf)<<3)) ^ ((sf & STRFMT_F_UPPER)?0x20:0);
  382.     *p = '\0';
  383.     p = lj_buf_more(sb, STRFMT_FMTNUMBUF);
  384.     setsbufP(sb, p + sprintf(p, fmt, n));
  385.   }
  386.   return sb;
  387. }

  388. /* -- Conversions to strings ---------------------------------------------- */

  389. /* Convert integer to string. */
  390. GCstr * LJ_FASTCALL lj_strfmt_int(lua_State *L, int32_t k)
  391. {
  392.   char buf[STRFMT_MAXBUF_INT];
  393.   MSize len = (MSize)(lj_strfmt_wint(buf, k) - buf);
  394.   return lj_str_new(L, buf, len);
  395. }

  396. /* Convert number to string. */
  397. GCstr * LJ_FASTCALL lj_strfmt_num(lua_State *L, cTValue *o)
  398. {
  399.   char buf[STRFMT_MAXBUF_NUM];
  400.   MSize len = (MSize)(lj_strfmt_wnum(buf, o) - buf);
  401.   return lj_str_new(L, buf, len);
  402. }

  403. /* Convert integer or number to string. */
  404. GCstr * LJ_FASTCALL lj_strfmt_number(lua_State *L, cTValue *o)
  405. {
  406.   return tvisint(o) ? lj_strfmt_int(L, intV(o)) : lj_strfmt_num(L, o);
  407. }

  408. #if LJ_HASJIT
  409. /* Convert char value to string. */
  410. GCstr * LJ_FASTCALL lj_strfmt_char(lua_State *L, int c)
  411. {
  412.   char buf[1];
  413.   buf[0] = c;
  414.   return lj_str_new(L, buf, 1);
  415. }
  416. #endif

  417. /* Raw conversion of object to string. */
  418. GCstr * LJ_FASTCALL lj_strfmt_obj(lua_State *L, cTValue *o)
  419. {
  420.   if (tvisstr(o)) {
  421.     return strV(o);
  422.   } else if (tvisnumber(o)) {
  423.     return lj_strfmt_number(L, o);
  424.   } else if (tvisnil(o)) {
  425.     return lj_str_newlit(L, "nil");
  426.   } else if (tvisfalse(o)) {
  427.     return lj_str_newlit(L, "false");
  428.   } else if (tvistrue(o)) {
  429.     return lj_str_newlit(L, "true");
  430.   } else {
  431.     char buf[8+2+2+16], *p = buf;
  432.     p = lj_buf_wmem(p, lj_typename(o), (MSize)strlen(lj_typename(o)));
  433.     *p++ = ':'; *p++ = ' ';
  434.     if (tvisfunc(o) && isffunc(funcV(o))) {
  435.       p = lj_buf_wmem(p, "builtin#", 8);
  436.       p = lj_strfmt_wint(p, funcV(o)->c.ffid);
  437.     } else {
  438.       p = lj_strfmt_wptr(p, lj_obj_ptr(o));
  439.     }
  440.     return lj_str_new(L, buf, (size_t)(p - buf));
  441.   }
  442. }

  443. /* -- Internal string formatting ------------------------------------------ */

  444. /*
  445. ** These functions are only used for lua_pushfstring(), lua_pushvfstring()
  446. ** and for internal string formatting (e.g. error messages). Caveat: unlike
  447. ** string.format(), only a limited subset of formats and flags are supported!
  448. **
  449. ** LuaJIT has support for a couple more formats than Lua 5.1/5.2:
  450. ** - %d %u %o %x with full formatting, 32 bit integers only.
  451. ** - %f and other FP formats are really %.14g.
  452. ** - %s %c %p without formatting.
  453. */

  454. /* Push formatted message as a string object to Lua stack. va_list variant. */
  455. const char *lj_strfmt_pushvf(lua_State *L, const char *fmt, va_list argp)
  456. {
  457.   SBuf *sb = lj_buf_tmp_(L);
  458.   FormatState fs;
  459.   SFormat sf;
  460.   GCstr *str;
  461.   lj_strfmt_init(&fs, fmt, (MSize)strlen(fmt));
  462.   while ((sf = lj_strfmt_parse(&fs)) != STRFMT_EOF) {
  463.     switch (STRFMT_TYPE(sf)) {
  464.     case STRFMT_LIT:
  465.       lj_buf_putmem(sb, fs.str, fs.len);
  466.       break;
  467.     case STRFMT_INT:
  468.       lj_strfmt_putfxint(sb, sf, va_arg(argp, int32_t));
  469.       break;
  470.     case STRFMT_UINT:
  471.       lj_strfmt_putfxint(sb, sf, va_arg(argp, uint32_t));
  472.       break;
  473.     case STRFMT_NUM: {
  474.       TValue tv;
  475.       tv.n = va_arg(argp, lua_Number);
  476.       setsbufP(sb, lj_strfmt_wnum(lj_buf_more(sb, STRFMT_MAXBUF_NUM), &tv));
  477.       break;
  478.       }
  479.     case STRFMT_STR: {
  480.       const char *s = va_arg(argp, char *);
  481.       if (s == NULL) s = "(null)";
  482.       lj_buf_putmem(sb, s, (MSize)strlen(s));
  483.       break;
  484.       }
  485.     case STRFMT_CHAR:
  486.       lj_buf_putb(sb, va_arg(argp, int));
  487.       break;
  488.     case STRFMT_PTR:
  489.       lj_strfmt_putptr(sb, va_arg(argp, void *));
  490.       break;
  491.     case STRFMT_ERR:
  492.     default:
  493.       lj_buf_putb(sb, '?');
  494.       lua_assert(0);
  495.       break;
  496.     }
  497.   }
  498.   str = lj_buf_str(L, sb);
  499.   setstrV(L, L->top, str);
  500.   incr_top(L);
  501.   return strdata(str);
  502. }

  503. /* Push formatted message as a string object to Lua stack. Vararg variant. */
  504. const char *lj_strfmt_pushf(lua_State *L, const char *fmt, ...)
  505. {
  506.   const char *msg;
  507.   va_list argp;
  508.   va_start(argp, fmt);
  509.   msg = lj_strfmt_pushvf(L, fmt, argp);
  510.   va_end(argp);
  511.   return msg;
  512. }