// File: /workspace/github_cpp_makefile_star2_O3/CoinXu[P]reviser-compiler/src/compiler/javascript/javascript_common.h
// Function: reviser::javascript::JavaScriptCommon::DecoraterSyntaxCallable[abi:cxx11](reviser::compiler::ReviserSyntaxDefinition, std::vector<reviser::compiler::DecoraterArg, std::allocator<reviser::compiler::DecoraterArg>>*)
const static string DecoraterSyntaxCallable(ReviserSyntaxDefinition def, vector<DecoraterArg>* args) {
      vector<string> result;

      if (args) {
        for (DecoraterArg arg : *args)  {
          switch (arg.type) {
            case ARG_ARRAY:
              result.push_back("[" + JoinVector(arg.value, ", ") + "]");
              break;

            case ARG_NUMBER:
            case ARG_STRING:
            case ARG_STRUCT:
              result.push_back(JoinVector(arg.value, ", "));
              break;

            default:
              break;
          }
        }
      }

      return def.name + "(" + JoinVector(result, ", ") + ")";
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x158, %rsp            # imm = 0x158
movq %rsi, -0xb0(%rbp)
movq %rdi, -0xa8(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x80(%rbp)
movq $0x0, -0x70(%rbp)
testq %rdx, %rdx
je 0x486b1
movq (%rdx), %r12
movq 0x8(%rdx), %rax
movq %rax, -0xb8(%rbp)
cmpq %rax, %r12
je 0x486b1
leaq -0x98(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movl (%r12), %eax
movl %eax, -0xa0(%rbp)
addq $0x8, %r12
movq %rdi, %r15
movq %r12, %rsi
callq 0x331a4
cmpl $0x3, -0xa0(%rbp)
jae 0x4856a
leaq -0x128(%rbp), %rdi
movq %r15, %rsi
callq 0x331a4
leaq -0xc8(%rbp), %rax
movq %rax, -0xd8(%rbp)
leaq -0xd8(%rbp), %r14
movq %r14, %rdi
leaq 0x8512(%rip), %rsi      # 0x50a1c
leaq 0x850d(%rip), %rdx      # 0x50a1e
callq 0x29178
movq %rbx, %rdi
leaq -0x128(%rbp), %rsi
movq %r14, %rdx
callq 0x43b7a
leaq -0x80(%rbp), %rdi
movq %rbx, %rsi
callq 0x28f9c
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x48546
callq 0x24320
movq -0xd8(%rbp), %rdi
leaq -0xc8(%rbp), %rax
cmpq %rax, %rdi
je 0x4855e
callq 0x24320
leaq -0x128(%rbp), %rdi
jmp 0x48690
jne 0x48695
leaq -0x140(%rbp), %rdi
movq %r15, %rsi
callq 0x331a4
leaq -0xe8(%rbp), %rax
movq %rax, -0xf8(%rbp)
leaq -0xf8(%rbp), %r14
movq %r14, %rdi
leaq 0x847e(%rip), %rsi      # 0x50a1c
leaq 0x8479(%rip), %rdx      # 0x50a1e
callq 0x29178
leaq -0x180(%rbp), %r13
movq %r13, %rdi
leaq -0x140(%rbp), %rsi
movq %r14, %rdx
callq 0x43b7a
leaq -0x68(%rbp), %r14
movq %r14, %rdi
leaq 0x6f8a(%rip), %rsi      # 0x4f55b
movq %r13, %rdx
callq 0x2b4b3
movq %r14, %rdi
leaq 0x843f(%rip), %rsi      # 0x50a22
callq 0x24650
leaq -0x38(%rbp), %rsi
movq %rsi, -0x48(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4860c
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x48612
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq -0x80(%rbp), %rdi
movq %rbx, %rsi
callq 0x43c06
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x48647
callq 0x24320
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x48659
callq 0x24320
movq -0x180(%rbp), %rdi
leaq -0x170(%rbp), %rax
cmpq %rax, %rdi
je 0x48671
callq 0x24320
movq -0xf8(%rbp), %rdi
leaq -0xe8(%rbp), %rax
cmpq %rax, %rdi
je 0x48689
callq 0x24320
leaq -0x140(%rbp), %rdi
callq 0x28e24
movq %r15, %rdi
callq 0x28e24
movq %r15, %rdi
addq $0x18, %r12
cmpq -0xb8(%rbp), %r12
jne 0x484b6
leaq -0x38(%rbp), %r14
movq %r14, -0x10(%r14)
movq -0xb0(%rbp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x48(%rbp), %rdi
callq 0x290da
leaq 0x84e1(%rip), %rsi      # 0x50bbb
leaq -0x48(%rbp), %rdi
callq 0x24650
leaq -0x110(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x331a4
leaq -0x150(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x8317(%rip), %rsi      # 0x50a1c
leaq 0x8312(%rip), %rdx      # 0x50a1e
leaq -0x160(%rbp), %rdi
callq 0x29178
movq -0xa8(%rbp), %rbx
leaq -0x68(%rbp), %rdi
leaq -0x110(%rbp), %rsi
leaq -0x160(%rbp), %rdx
callq 0x43b7a
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
leaq -0x48(%rbp), %rdi
callq 0x240f0
leaq -0x90(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x48775
movq %rdx, -0xa0(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x90(%rbp)
jmp 0x4877d
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq -0xa0(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x7c4e(%rip), %rsi      # 0x503f0
callq 0x24650
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0x487c9
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x487cf
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rbx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0xa0(%rbp), %rdi
cmpq %r12, %rdi
je 0x487f7
callq 0x24320
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x48809
callq 0x24320
movq -0x160(%rbp), %rdi
cmpq %r15, %rdi
je 0x4881a
callq 0x24320
leaq -0x110(%rbp), %rdi
callq 0x28e24
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
je 0x48834
callq 0x24320
leaq -0x80(%rbp), %rdi
callq 0x28e24
movq %rbx, %rax
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0xa0(%rbp), %rdi
cmpq %r12, %rdi
je 0x4886b
callq 0x24320
jmp 0x4886b
movq %rax, %rbx
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x48882
callq 0x24320
jmp 0x48882
movq %rax, %rbx
movq -0x160(%rbp), %rdi
cmpq %r15, %rdi
je 0x48898
callq 0x24320
jmp 0x48898
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x28e24
jmp 0x488ab
jmp 0x488a8
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
je 0x48992
callq 0x24320
jmp 0x48992
jmp 0x4898f
movq %rax, %rbx
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x488e1
callq 0x24320
jmp 0x488e1
movq %rax, %rbx
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x488f8
callq 0x24320
jmp 0x488f8
movq %rax, %rbx
movq -0x180(%rbp), %rdi
leaq -0x170(%rbp), %rax
cmpq %rax, %rdi
je 0x48915
callq 0x24320
jmp 0x48915
movq %rax, %rbx
movq -0xf8(%rbp), %rdi
leaq -0xe8(%rbp), %rax
cmpq %rax, %rdi
je 0x48932
callq 0x24320
jmp 0x48932
movq %rax, %rbx
leaq -0x140(%rbp), %rdi
jmp 0x48980
jmp 0x48954
movq %rax, %rbx
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x48961
callq 0x24320
jmp 0x48961
movq %rax, %rbx
jmp 0x48985
movq %rax, %rbx
jmp 0x48979
movq %rax, %rbx
movq -0xd8(%rbp), %rdi
leaq -0xc8(%rbp), %rax
cmpq %rax, %rdi
je 0x48979
callq 0x24320
leaq -0x128(%rbp), %rdi
callq 0x28e24
movq %r15, %rdi
callq 0x28e24
jmp 0x48992
movq %rax, %rbx
leaq -0x80(%rbp), %rdi
callq 0x28e24
movq %rbx, %rdi
callq 0x245f0
nop