// File: /workspace/github_cpp_makefile_star2_O2/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 $0x168, %rsp            # imm = 0x168
movq %rsi, -0x80(%rbp)
movq %rdi, -0x78(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x70(%rbp)
andq $0x0, -0x60(%rbp)
testq %rdx, %rdx
je 0x532b3
movq (%rdx), %r12
movq 0x8(%rdx), %r13
leaq -0xc0(%rbp), %rbx
cmpq %r13, %r12
je 0x532b3
leaq -0x50(%rbp), %rdi
movq %r12, %rsi
callq 0x53494
cmpl $0x3, -0x50(%rbp)
jae 0x531e9
leaq -0xf0(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x41758
leaq -0x168(%rbp), %r14
movq %r14, %rdi
leaq 0x586d(%rip), %rsi      # 0x58a0c
leaq -0xa0(%rbp), %rdx
callq 0x35130
movq %rbx, %rdi
leaq -0xf0(%rbp), %rsi
movq %r14, %rdx
callq 0x4fe2e
leaq -0x70(%rbp), %rdi
movq %rbx, %rsi
callq 0x38f8a
movq %rbx, %rdi
callq 0x35180
leaq -0x168(%rbp), %rdi
callq 0x35180
leaq -0xf0(%rbp), %rdi
jmp 0x5329c
jne 0x532a1
leaq -0x108(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x41758
leaq -0x188(%rbp), %r15
movq %r15, %rdi
leaq 0x57fc(%rip), %rsi      # 0x58a0c
leaq -0x29(%rbp), %rdx
callq 0x35130
leaq -0x148(%rbp), %r14
movq %r14, %rdi
leaq -0x108(%rbp), %rsi
movq %r15, %rdx
callq 0x4fe2e
leaq -0xa0(%rbp), %r15
movq %r15, %rdi
leaq 0x4318(%rip), %rsi      # 0x5755b
movq %r14, %rdx
callq 0x3aa1e
movq %rbx, %rdi
movq %r15, %rsi
leaq 0x57ba(%rip), %rdx      # 0x58a12
callq 0x38f1f
leaq -0x70(%rbp), %rdi
movq %rbx, %rsi
callq 0x4fe9c
movq %rbx, %rdi
callq 0x35180
leaq -0xa0(%rbp), %rdi
callq 0x35180
leaq -0x148(%rbp), %rdi
callq 0x35180
leaq -0x188(%rbp), %rdi
callq 0x35180
leaq -0x108(%rbp), %rdi
callq 0x38d68
leaq -0x48(%rbp), %rdi
callq 0x38d68
addq $0x20, %r12
jmp 0x53163
leaq 0x58ec(%rip), %rdx      # 0x58ba6
leaq -0xc0(%rbp), %rdi
movq -0x80(%rbp), %rsi
callq 0x3ccf9
leaq -0xd8(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x41758
leaq 0x572b(%rip), %rsi      # 0x58a0c
leaq -0x128(%rbp), %rdi
leaq -0x148(%rbp), %rdx
callq 0x35130
leaq -0xa0(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
leaq -0x128(%rbp), %rdx
callq 0x4fe2e
leaq -0x50(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
leaq -0xa0(%rbp), %rdx
callq 0x38ef6
leaq 0x50b4(%rip), %rdx      # 0x583e0
leaq -0x50(%rbp), %rsi
movq -0x78(%rbp), %rbx
movq %rbx, %rdi
callq 0x38f1f
leaq -0x50(%rbp), %rdi
callq 0x35180
leaq -0xa0(%rbp), %rdi
callq 0x35180
leaq -0x128(%rbp), %rdi
callq 0x35180
leaq -0xd8(%rbp), %rdi
callq 0x38d68
leaq -0xc0(%rbp), %rdi
callq 0x35180
leaq -0x70(%rbp), %rdi
callq 0x38d68
movq %rbx, %rax
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
leaq -0x50(%rbp), %rdi
callq 0x35180
jmp 0x533a4
movq %rax, %r14
leaq -0xa0(%rbp), %rdi
callq 0x35180
jmp 0x533b5
movq %rax, %r14
leaq -0x128(%rbp), %rdi
callq 0x35180
jmp 0x533c6
movq %rax, %r14
leaq -0xd8(%rbp), %rdi
callq 0x38d68
jmp 0x533d7
movq %rax, %r14
leaq -0xc0(%rbp), %rdi
callq 0x35180
jmp 0x53483
jmp 0x53480
movq %rax, %r14
leaq -0xc0(%rbp), %rdi
callq 0x35180
jmp 0x53401
movq %rax, %r14
leaq -0xa0(%rbp), %rdi
callq 0x35180
jmp 0x53412
movq %rax, %r14
leaq -0x148(%rbp), %rdi
callq 0x35180
jmp 0x53423
movq %rax, %r14
leaq -0x188(%rbp), %rdi
callq 0x35180
jmp 0x53434
movq %rax, %r14
leaq -0x108(%rbp), %rdi
jmp 0x53470
jmp 0x53450
movq %rax, %r14
leaq -0xc0(%rbp), %rdi
callq 0x35180
jmp 0x5345d
movq %rax, %r14
jmp 0x53475
movq %rax, %r14
jmp 0x53469
movq %rax, %r14
leaq -0x168(%rbp), %rdi
callq 0x35180
leaq -0xf0(%rbp), %rdi
callq 0x38d68
leaq -0x48(%rbp), %rdi
callq 0x38d68
jmp 0x53483
movq %rax, %r14
leaq -0x70(%rbp), %rdi
callq 0x38d68
movq %r14, %rdi
callq 0x355f0