// File: /workspace/github_c_makefile_star2_O0/bhk[P]tooltree/lua/../opensource/lua-5.2.3/src/lobject.c
// Function: luaO_pushvfstring
const char *luaO_pushvfstring (lua_State *L, const char *fmt, va_list argp) {
  int n = 0;
  for (;;) {
    const char *e = strchr(fmt, '%');
    if (e == NULL) break;
    luaD_checkstack(L, 2);  /* fmt + item */
    pushstr(L, fmt, e - fmt);
    switch (*(e+1)) {
      case 's': {
        const char *s = va_arg(argp, char *);
        if (s == NULL) s = "(null)";
        pushstr(L, s, strlen(s));
        break;
      }
      case 'c': {
        char buff;
        buff = cast(char, va_arg(argp, int));
        pushstr(L, &buff, 1);
        break;
      }
      case 'd': {
        setnvalue(L->top++, cast_num(va_arg(argp, int)));
        break;
      }
      case 'f': {
        setnvalue(L->top++, cast_num(va_arg(argp, l_uacNumber)));
        break;
      }
      case 'p': {
        char buff[4*sizeof(void *) + 8]; /* should be enough space for a `%p' */
        int l = sprintf(buff, "%p", va_arg(argp, void *));
        pushstr(L, buff, l);
        break;
      }
      case '%': {
        pushstr(L, "%", 1);
        break;
      }
      default: {
        luaG_runerror(L,
            "invalid option " LUA_QL("%%%c") " to " LUA_QL("lua_pushfstring"),
            *(e + 1));
      }
    }
    n += 2;
    fmt = e+2;
  }
  luaD_checkstack(L, 1);
  pushstr(L, fmt, strlen(fmt));
  if (n > 0) luaV_concat(L, n + 1);
  return svalue(L->top - 1);
}

// Assembly:
subq $0x128, %rsp            # imm = 0x128
movq %rdi, 0x120(%rsp)
movq %rsi, 0x118(%rsp)
movq %rdx, 0x110(%rsp)
movl $0x0, 0x10c(%rsp)
movq 0x118(%rsp), %rdi
movl $0x25, %esi
callq 0x7190
movq %rax, 0x100(%rsp)
cmpq $0x0, 0x100(%rsp)
jne 0x19c24
jmp 0x1a08a
movq 0x120(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x120(%rsp), %rcx
movq 0x10(%rcx), %rcx
subq %rcx, %rax
sarq $0x4, %rax
cmpq $0x2, %rax
jg 0x19c5d
movq 0x120(%rsp), %rdi
movl $0x2, %esi
callq 0x10250
jmp 0x19c5f
jmp 0x19c5f
movq 0x120(%rsp), %rdi
movq 0x118(%rsp), %rsi
movq 0x100(%rsp), %rdx
subq %rsi, %rdx
callq 0x1a140
movq 0x100(%rsp), %rax
movsbl 0x1(%rax), %eax
movl %eax, 0xa8(%rsp)
subl $0x25, %eax
je 0x1a023
jmp 0x19c9d
movl 0xa8(%rsp), %eax
subl $0x63, %eax
je 0x19dd0
jmp 0x19caf
movl 0xa8(%rsp), %eax
subl $0x64, %eax
je 0x19e4a
jmp 0x19cc1
movl 0xa8(%rsp), %eax
subl $0x66, %eax
je 0x19edf
jmp 0x19cd3
movl 0xa8(%rsp), %eax
subl $0x70, %eax
je 0x19f88
jmp 0x19ce5
movl 0xa8(%rsp), %eax
subl $0x73, %eax
jne 0x1a03e
jmp 0x19cf7
movq 0x110(%rsp), %rax
movq %rax, 0x98(%rsp)
movl (%rax), %eax
movl %eax, 0xa4(%rsp)
cmpl $0x28, %eax
ja 0x19d3a
movq 0x98(%rsp), %rcx
movl 0xa4(%rsp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, 0x90(%rsp)
jmp 0x19d59
movq 0x98(%rsp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, 0x90(%rsp)
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0xf8(%rsp)
cmpq $0x0, 0xf8(%rsp)
jne 0x19d86
leaq 0x1c630(%rip), %rax     # 0x363ae
movq %rax, 0xf8(%rsp)
movq 0x120(%rsp), %rax
movq %rax, 0x80(%rsp)
movq 0xf8(%rsp), %rax
movq %rax, 0x88(%rsp)
movq 0xf8(%rsp), %rdi
callq 0x7170
movq 0x80(%rsp), %rdi
movq 0x88(%rsp), %rsi
movq %rax, %rdx
callq 0x1a140
jmp 0x1a060
movq 0x110(%rsp), %rax
movq %rax, 0x70(%rsp)
movl (%rax), %eax
movl %eax, 0x7c(%rsp)
cmpl $0x28, %eax
ja 0x19e04
movq 0x70(%rsp), %rcx
movl 0x7c(%rsp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, 0x68(%rsp)
jmp 0x19e1d
movq 0x70(%rsp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, 0x68(%rsp)
movq 0x68(%rsp), %rax
movl (%rax), %eax
movb %al, 0xf7(%rsp)
movq 0x120(%rsp), %rdi
leaq 0xf7(%rsp), %rsi
movl $0x1, %edx
callq 0x1a140
jmp 0x1a060
movq 0x120(%rsp), %rcx
movq 0x10(%rcx), %rax
movq %rax, %rdx
addq $0x10, %rdx
movq %rdx, 0x10(%rcx)
movq %rax, 0xe8(%rsp)
movq 0x110(%rsp), %rax
movq %rax, 0x58(%rsp)
movl (%rax), %eax
movl %eax, 0x64(%rsp)
cmpl $0x28, %eax
ja 0x19e9d
movq 0x58(%rsp), %rcx
movl 0x64(%rsp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, 0x50(%rsp)
jmp 0x19eb6
movq 0x58(%rsp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
cvtsi2sdl (%rax), %xmm0
movq 0xe8(%rsp), %rax
movsd %xmm0, (%rax)
movq 0xe8(%rsp), %rax
movl $0x3, 0x8(%rax)
jmp 0x1a060
movq 0x120(%rsp), %rcx
movq 0x10(%rcx), %rax
movq %rax, %rdx
addq $0x10, %rdx
movq %rdx, 0x10(%rcx)
movq %rax, 0xe0(%rsp)
movq 0x110(%rsp), %rax
movq %rax, 0x38(%rsp)
movq %rax, %rcx
addq $0x4, %rcx
movq %rcx, 0x40(%rsp)
movl 0x4(%rax), %eax
movl %eax, 0x4c(%rsp)
cmpl $0xa0, %eax
ja 0x19f46
movq 0x40(%rsp), %rcx
movl 0x4c(%rsp), %edx
movq 0x38(%rsp), %rsi
movslq %edx, %rax
addq 0x10(%rsi), %rax
addl $0x10, %edx
movl %edx, (%rcx)
movq %rax, 0x30(%rsp)
jmp 0x19f5f
movq 0x38(%rsp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
movsd (%rax), %xmm0
movq 0xe0(%rsp), %rax
movsd %xmm0, (%rax)
movq 0xe0(%rsp), %rax
movl $0x3, 0x8(%rax)
jmp 0x1a060
leaq 0xb0(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x110(%rsp), %rax
movq %rax, 0x20(%rsp)
movl (%rax), %eax
movl %eax, 0x2c(%rsp)
cmpl $0x28, %eax
ja 0x19fc9
movq 0x20(%rsp), %rcx
movl 0x2c(%rsp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, 0x10(%rsp)
jmp 0x19fe2
movq 0x20(%rsp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, 0x10(%rsp)
movq 0x18(%rsp), %rdi
movq 0x10(%rsp), %rax
movq (%rax), %rdx
leaq 0x1b5b3(%rip), %rsi     # 0x355a9
movb $0x0, %al
callq 0x7510
movl %eax, 0xac(%rsp)
movq 0x120(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
movslq 0xac(%rsp), %rdx
callq 0x1a140
jmp 0x1a060
movq 0x120(%rsp), %rdi
leaq 0x1c56f(%rip), %rsi     # 0x365a1
movl $0x1, %edx
callq 0x1a140
jmp 0x1a060
movq 0x120(%rsp), %rdi
movq 0x100(%rsp), %rax
movsbl 0x1(%rax), %edx
leaq 0x1c35c(%rip), %rsi     # 0x363b5
movb $0x0, %al
callq 0xf360
movl 0x10c(%rsp), %eax
addl $0x2, %eax
movl %eax, 0x10c(%rsp)
movq 0x100(%rsp), %rax
addq $0x2, %rax
movq %rax, 0x118(%rsp)
jmp 0x19bfa
movq 0x120(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x120(%rsp), %rcx
movq 0x10(%rcx), %rcx
subq %rcx, %rax
sarq $0x4, %rax
cmpq $0x1, %rax
jg 0x1a0c3
movq 0x120(%rsp), %rdi
movl $0x1, %esi
callq 0x10250
jmp 0x1a0c5
jmp 0x1a0c5
movq 0x120(%rsp), %rax
movq %rax, (%rsp)
movq 0x118(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x118(%rsp), %rdi
callq 0x7170
movq (%rsp), %rdi
movq 0x8(%rsp), %rsi
movq %rax, %rdx
callq 0x1a140
cmpl $0x0, 0x10c(%rsp)
jle 0x1a11d
movq 0x120(%rsp), %rdi
movl 0x10c(%rsp), %esi
addl $0x1, %esi
callq 0x28280
movq 0x120(%rsp), %rax
movq 0x10(%rax), %rax
movq -0x10(%rax), %rax
addq $0x18, %rax
addq $0x128, %rsp            # imm = 0x128
retq
nopl (%rax)