// File: /workspace/github_cpp_makefile_star2_O2/martinda3[P]Compiler/src/ASifState.cpp
// Function: toyc::ASifState::toString[abi:cxx11]()
std::string ASifState::toString()
	{
		if (hasop)
		{
			s = (spaces() + "ifStatement{\n");
			indent();
			s += (op1->toString() + "\n" +
					op2->toString() +
					op3->toString() +
					spaces() + "}\n");
			outdent();
			return s;
		}
		else
		{
			s = (spaces() + "ifStatement{\n");
			indent();
			s += (op1->toString() + "\n" +
			        op2->toString() + "\n" +
			        spaces() + "}\n");
			outdent();
			return s;
		}
	}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
movq %rsi, %r15
movq %rdi, %rbx
cmpb $0x1, 0x48(%rsi)
jne 0xa2dd
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x11921
leaq 0x12e98(%rip), %rdx     # 0x1d040
leaq 0x28(%rsp), %rdi
movq %r14, %rsi
callq 0xa06b
leaq 0x28(%r15), %r14
leaq 0x28(%rsp), %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x82d0
movq %r12, %rdi
callq 0x8478
leaq 0x8(%rsp), %rdi
callq 0x8478
callq 0x11935
movq 0x10(%r15), %rsi
movq (%rsi), %rax
leaq 0xe8(%rsp), %r12
movq %r12, %rdi
callq *(%rax)
leaq 0x13c6c(%rip), %rdx     # 0x1de67
leaq 0x88(%rsp), %rdi
movq %r12, %rsi
callq 0xa06b
movq 0x18(%r15), %rsi
movq (%rsi), %rax
leaq 0x68(%rsp), %rdi
callq *(%rax)
leaq 0xa8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0x68(%rsp), %rdx
callq 0xa559
movq 0x20(%r15), %rsi
movq (%rsi), %rax
leaq 0x48(%rsp), %rdi
callq *(%rax)
leaq 0xc8(%rsp), %rdi
leaq 0xa8(%rsp), %rsi
leaq 0x48(%rsp), %rdx
callq 0xa559
leaq 0x108(%rsp), %rdi
callq 0x11921
leaq 0x8(%rsp), %rdi
leaq 0xc8(%rsp), %rsi
leaq 0x108(%rsp), %rdx
callq 0xa559
leaq 0x12dc5(%rip), %rdx     # 0x1d04e
leaq 0x28(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xa06b
leaq 0x28(%rsp), %rsi
movq %r14, %rdi
callq 0x8450
leaq 0x28(%rsp), %rdi
callq 0x8478
leaq 0x8(%rsp), %rdi
callq 0x8478
leaq 0x108(%rsp), %rdi
callq 0x8478
leaq 0xc8(%rsp), %rdi
callq 0x8478
leaq 0x48(%rsp), %rdi
jmp 0xa402
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x11921
leaq 0x12d4f(%rip), %rdx     # 0x1d040
leaq 0x28(%rsp), %rdi
movq %r14, %rsi
callq 0xa06b
leaq 0x28(%r15), %r14
leaq 0x28(%rsp), %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x82d0
movq %r12, %rdi
callq 0x8478
leaq 0x8(%rsp), %rdi
callq 0x8478
callq 0x11935
movq 0x10(%r15), %rsi
movq (%rsi), %rax
leaq 0xe8(%rsp), %r12
movq %r12, %rdi
callq *(%rax)
leaq 0x13b23(%rip), %rdx     # 0x1de67
leaq 0x88(%rsp), %rdi
movq %r12, %rsi
callq 0xa06b
movq 0x18(%r15), %rsi
movq (%rsi), %rax
leaq 0x68(%rsp), %rdi
callq *(%rax)
leaq 0xa8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0x68(%rsp), %rdx
callq 0xa559
leaq 0x13ae4(%rip), %rdx     # 0x1de67
leaq 0xc8(%rsp), %rdi
leaq 0xa8(%rsp), %rsi
callq 0xa06b
leaq 0x48(%rsp), %rdi
callq 0x11921
leaq 0x8(%rsp), %rdi
leaq 0xc8(%rsp), %rsi
leaq 0x48(%rsp), %rdx
callq 0xa559
leaq 0x12c8e(%rip), %rdx     # 0x1d04e
leaq 0x28(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xa06b
leaq 0x28(%rsp), %rsi
movq %r14, %rdi
callq 0x8450
leaq 0x28(%rsp), %rdi
callq 0x8478
leaq 0x8(%rsp), %rdi
callq 0x8478
leaq 0x48(%rsp), %rdi
callq 0x8478
leaq 0xc8(%rsp), %rdi
callq 0x8478
leaq 0xa8(%rsp), %rdi
callq 0x8478
leaq 0x68(%rsp), %rdi
callq 0x8478
leaq 0x88(%rsp), %rdi
callq 0x8478
leaq 0xe8(%rsp), %rdi
callq 0x8478
callq 0x11942
movq %rbx, %rdi
movq %r14, %rsi
callq 0x82f0
movq %rbx, %rax
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x8478
jmp 0xa47b
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x8478
jmp 0xa48a
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x8478
jmp 0xa499
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x8478
jmp 0xa4ab
movq %rax, %rbx
leaq 0x108(%rsp), %rdi
callq 0x8478
jmp 0xa4ba
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0x8478
jmp 0xa4cc
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
callq 0x8478
jmp 0xa4d9
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
jmp 0xa4de
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0x8478
leaq 0xa8(%rsp), %rdi
callq 0x8478
leaq 0x68(%rsp), %rdi
callq 0x8478
leaq 0x88(%rsp), %rdi
callq 0x8478
leaq 0xe8(%rsp), %rdi
callq 0x8478
movq %rbx, %rdi
callq 0x8400
jmp 0xa51e
movq %rax, %rbx
jmp 0xa4e3
jmp 0xa525
movq %rax, %rbx
jmp 0xa4f0
jmp 0xa52c
movq %rax, %rbx
jmp 0xa4fa
jmp 0xa533
movq %rax, %rbx
jmp 0xa507
jmp 0xa53a
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
jmp 0xa50f