// File: /workspace/github_cpp_makefile_star2_O3/kiven-li[P]xbytes/xbytes.cpp
// Function: xbytes::xbytes::make_string_rule(xbytes::rule&)
void xbytes::make_string_rule(rule& r)
{
	r.str_rule.clear();

	r.str_rule = r.left->name;
	if(r.left_alias.size() > 0)
	{
		r.str_rule += "(" + r.left_alias + ")";
	}
	r.str_rule += " ->";
	
	assert(r.rights.size() == r.right_alias.size());

	for(int j = 0; j < r.rights.size(); ++j)
	{
		r.str_rule += " " + r.rights[j]->name;
		if(r.right_alias[j].size() > 0)
		{
			r.str_rule += "(" + r.right_alias[j] + ")";
		}
	}
	r.str_rule += ".";
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rsi, %r14
leaq 0x80(%rsi), %rbx
movq $0x0, 0x88(%rsi)
movq 0x80(%rsi), %rax
movb $0x0, (%rax)
movq 0x8(%rsi), %rsi
addq $0x8, %rsi
movq %rbx, %rdi
callq 0x3120
cmpq $0x0, 0x18(%r14)
je 0x7e03
leaq 0x10(%r14), %rdx
leaq 0x57c7(%rip), %rsi      # 0xd52f
leaq -0x68(%rbp), %r15
movq %r15, %rdi
callq 0xa505
leaq 0x5707(%rip), %rsi      # 0xd482
movq %r15, %rdi
callq 0x3400
leaq -0x38(%rbp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x7da7
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7dae
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x30b0
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7dea
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7e03
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3260
leaq 0x5727(%rip), %rsi      # 0xd531
movq %rbx, %rdi
callq 0x3400
movq 0x30(%r14), %rax
movq 0x38(%r14), %rcx
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movq 0x50(%r14), %rsi
subq 0x48(%r14), %rsi
sarq $0x5, %rsi
cmpq %rsi, %rdx
jne 0x7f8e
cmpq %rax, %rcx
je 0x7f70
leaq -0x38(%rbp), %r15
xorl %r12d, %r12d
xorl %r13d, %r13d
movq (%rax,%r13,8), %rdx
addq $0x8, %rdx
leaq -0x48(%rbp), %rdi
leaq 0x5776(%rip), %rsi      # 0xd5d5
callq 0xa505
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x30b0
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7e89
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
movq 0x48(%r14), %rdx
cmpq $0x0, 0x8(%rdx,%r12)
je 0x7f51
movq %r12, %rax
movq %r14, %r12
movq %rbx, %r14
movq %rax, -0x70(%rbp)
addq %rax, %rdx
leaq -0x68(%rbp), %rbx
movq %rbx, %rdi
leaq 0x5678(%rip), %rsi      # 0xd52f
callq 0xa505
movq %rbx, %rdi
leaq 0x55bc(%rip), %rsi      # 0xd482
callq 0x3400
movq %r15, -0x48(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
movq %r14, %rbx
je 0x7eee
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7ef5
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq %r12, %r14
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x30b0
movq -0x70(%rbp), %r12
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7f38
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x7f51
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3260
incq %r13
movq 0x30(%r14), %rax
movq 0x38(%r14), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
addq $0x20, %r12
cmpq %r13, %rcx
ja 0x7e4c
leaq 0x518a(%rip), %rsi      # 0xd101
movq %rbx, %rdi
callq 0x3400
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x55a0(%rip), %rdi      # 0xd535
leaq 0x520c(%rip), %rsi      # 0xd1a8
leaq 0x55ba(%rip), %rcx      # 0xd55d
movl $0x4a0, %edx            # imm = 0x4A0
callq 0x3150
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7fca
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
jmp 0x7fca
movq %rax, %rbx
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
jmp 0x7ff9
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7ff1
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
jmp 0x7ff1
movq %rax, %rbx
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x801c
movq -0x58(%rbp), %rsi
jmp 0x8014
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x801c
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
movq %rbx, %rdi
callq 0x33d0