// File: /workspace/github_cpp_makefile_star2_O1/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 0x7e51
leaq 0x10(%r14), %rdx
leaq 0x5779(%rip), %rsi      # 0xd52f
leaq -0x68(%rbp), %r15
movq %r15, %rdi
callq 0xa4f9
leaq 0x56b9(%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 0x7df5
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7dfc
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 0x7e38
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7e51
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3260
leaq 0x56d9(%rip), %rsi      # 0xd531
movq %rbx, %rdi
callq 0x3400
movq 0x38(%r14), %rax
movq 0x50(%r14), %rcx
subq 0x30(%r14), %rax
sarq $0x3, %rax
subq 0x48(%r14), %rcx
sarq $0x5, %rcx
cmpq %rcx, %rax
jne 0x7fdb
movq 0x30(%r14), %rax
cmpq %rax, 0x38(%r14)
je 0x7fbd
leaq -0x38(%rbp), %r15
xorl %r12d, %r12d
xorl %r13d, %r13d
movq (%rax,%r13,8), %rdx
addq $0x8, %rdx
leaq -0x48(%rbp), %rdi
leaq 0x5729(%rip), %rsi      # 0xd5d5
callq 0xa4f9
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x30b0
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x7ed6
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
movq 0x48(%r14), %rdx
cmpq $0x0, 0x8(%rdx,%r12)
je 0x7f9e
movq %r12, %rax
movq %r14, %r12
movq %rbx, %r14
movq %rax, -0x70(%rbp)
addq %rax, %rdx
leaq -0x68(%rbp), %rbx
movq %rbx, %rdi
leaq 0x562b(%rip), %rsi      # 0xd52f
callq 0xa4f9
movq %rbx, %rdi
leaq 0x556f(%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 0x7f3b
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7f42
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 0x7f85
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x7f9e
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 0x7e99
leaq 0x513d(%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 0x5553(%rip), %rdi      # 0xd535
leaq 0x51bf(%rip), %rsi      # 0xd1a8
leaq 0x556d(%rip), %rcx      # 0xd55d
movl $0x4a0, %edx            # imm = 0x4A0
callq 0x3150
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x8017
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
jmp 0x8017
movq %rax, %rbx
leaq -0x58(%rbp), %rax
movq -0x10(%rax), %rdi
jmp 0x8046
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x803e
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
jmp 0x803e
movq %rax, %rbx
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x8069
movq -0x58(%rbp), %rsi
jmp 0x8061
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x8069
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3260
movq %rbx, %rdi
callq 0x33d0
nop