// File: 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 %rbp
movq %rsp, %rbp
subq $0x310, %rsp            # imm = 0x310
movq %rdi, -0x2d8(%rbp)
movq %rdi, %rax
movq %rax, -0x2d0(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x2c8(%rbp)
testb $0x1, 0x48(%rax)
je 0xd0a4
leaq -0x50(%rbp), %rdi
movq %rdi, -0x2e0(%rbp)
callq 0x1bce0
movq -0x2e0(%rbp), %rsi
leaq 0x26279(%rip), %rdx     # 0x33040
leaq -0x30(%rbp), %rdi
callq 0xcc00
jmp 0xcdd2
movq -0x2c8(%rbp), %rdi
addq $0x28, %rdi
leaq -0x30(%rbp), %rsi
movq %rsi, -0x2f0(%rbp)
callq 0x9420
movq -0x2f0(%rbp), %rdi
callq 0x9658
leaq -0x50(%rbp), %rdi
callq 0x9658
callq 0x1bd10
movq -0x2c8(%rbp), %rax
movq 0x10(%rax), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0x120(%rbp), %rdi
movq %rdi, -0x2e8(%rbp)
callq *%rax
movq -0x2e8(%rbp), %rsi
leaq 0x271b4(%rip), %rdx     # 0x33fea
leaq -0x100(%rbp), %rdi
callq 0xcc00
jmp 0xce44
movq -0x2c8(%rbp), %rax
movq 0x18(%rax), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0x140(%rbp), %rdi
callq *%rax
jmp 0xce60
leaq -0xe0(%rbp), %rdi
leaq -0x100(%rbp), %rsi
leaq -0x140(%rbp), %rdx
callq 0xd410
jmp 0xce7c
movq -0x2c8(%rbp), %rax
movq 0x20(%rax), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0x160(%rbp), %rdi
callq *%rax
jmp 0xce98
leaq -0xc0(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
leaq -0x160(%rbp), %rdx
callq 0xd410
jmp 0xceb4
leaq -0x180(%rbp), %rdi
callq 0x1bce0
jmp 0xcec2
leaq -0xa0(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
leaq -0x180(%rbp), %rdx
callq 0xd410
jmp 0xcede
leaq 0x26169(%rip), %rdx     # 0x3304e
leaq -0x80(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xcc00
jmp 0xcef7
movq -0x2c8(%rbp), %rdi
addq $0x28, %rdi
leaq -0x80(%rbp), %rsi
callq 0x9450
jmp 0xcf0d
leaq -0x80(%rbp), %rdi
callq 0x9658
leaq -0xa0(%rbp), %rdi
callq 0x9658
leaq -0x180(%rbp), %rdi
callq 0x9658
leaq -0xc0(%rbp), %rdi
callq 0x9658
leaq -0x160(%rbp), %rdi
callq 0x9658
leaq -0xe0(%rbp), %rdi
callq 0x9658
leaq -0x140(%rbp), %rdi
callq 0x9658
leaq -0x100(%rbp), %rdi
callq 0x9658
leaq -0x120(%rbp), %rdi
callq 0x9658
callq 0x1bd30
movq -0x2c8(%rbp), %rsi
movq -0x2d8(%rbp), %rdi
addq $0x28, %rsi
callq 0x9170
jmp 0xd375
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x9658
jmp 0xd385
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd093
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd087
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd07b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd06f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd063
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd057
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd04b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd03f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x9658
leaq -0xa0(%rbp), %rdi
callq 0x9658
leaq -0x180(%rbp), %rdi
callq 0x9658
leaq -0xc0(%rbp), %rdi
callq 0x9658
leaq -0x160(%rbp), %rdi
callq 0x9658
leaq -0xe0(%rbp), %rdi
callq 0x9658
leaq -0x140(%rbp), %rdi
callq 0x9658
leaq -0x100(%rbp), %rdi
callq 0x9658
leaq -0x120(%rbp), %rdi
callq 0x9658
jmp 0xd385
leaq -0x1c0(%rbp), %rdi
movq %rdi, -0x2f8(%rbp)
callq 0x1bce0
movq -0x2f8(%rbp), %rsi
leaq 0x25f7b(%rip), %rdx     # 0x33040
leaq -0x1a0(%rbp), %rdi
callq 0xcc00
jmp 0xd0d3
movq -0x2c8(%rbp), %rdi
addq $0x28, %rdi
leaq -0x1a0(%rbp), %rsi
movq %rsi, -0x308(%rbp)
callq 0x9420
movq -0x308(%rbp), %rdi
callq 0x9658
leaq -0x1c0(%rbp), %rdi
callq 0x9658
callq 0x1bd10
movq -0x2c8(%rbp), %rax
movq 0x10(%rax), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0x280(%rbp), %rdi
movq %rdi, -0x300(%rbp)
callq *%rax
movq -0x300(%rbp), %rsi
leaq 0x26ead(%rip), %rdx     # 0x33fea
leaq -0x260(%rbp), %rdi
callq 0xcc00
jmp 0xd14b
movq -0x2c8(%rbp), %rax
movq 0x18(%rax), %rsi
movq (%rsi), %rax
movq (%rax), %rax
leaq -0x2a0(%rbp), %rdi
callq *%rax
jmp 0xd167
leaq -0x240(%rbp), %rdi
leaq -0x260(%rbp), %rsi
leaq -0x2a0(%rbp), %rdx
callq 0xd410
jmp 0xd183
leaq 0x26e60(%rip), %rdx     # 0x33fea
leaq -0x220(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0xcc00
jmp 0xd19f
leaq -0x2c0(%rbp), %rdi
callq 0x1bce0
jmp 0xd1ad
leaq -0x200(%rbp), %rdi
leaq -0x220(%rbp), %rsi
leaq -0x2c0(%rbp), %rdx
callq 0xd410
jmp 0xd1c9
leaq 0x25e7e(%rip), %rdx     # 0x3304e
leaq -0x1e0(%rbp), %rdi
leaq -0x200(%rbp), %rsi
callq 0xcc00
jmp 0xd1e5
movq -0x2c8(%rbp), %rdi
addq $0x28, %rdi
leaq -0x1e0(%rbp), %rsi
callq 0x9450
jmp 0xd1fe
leaq -0x1e0(%rbp), %rdi
callq 0x9658
leaq -0x200(%rbp), %rdi
callq 0x9658
leaq -0x2c0(%rbp), %rdi
callq 0x9658
leaq -0x220(%rbp), %rdi
callq 0x9658
leaq -0x240(%rbp), %rdi
callq 0x9658
leaq -0x2a0(%rbp), %rdi
callq 0x9658
leaq -0x260(%rbp), %rdi
callq 0x9658
leaq -0x280(%rbp), %rdi
callq 0x9658
callq 0x1bd30
movq -0x2c8(%rbp), %rsi
movq -0x2d8(%rbp), %rdi
addq $0x28, %rsi
callq 0x9170
jmp 0xd375
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x1c0(%rbp), %rdi
callq 0x9658
jmp 0xd385
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd367
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd35b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd34f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd343
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd337
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd32b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xd31f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x1e0(%rbp), %rdi
callq 0x9658
leaq -0x200(%rbp), %rdi
callq 0x9658
leaq -0x2c0(%rbp), %rdi
callq 0x9658
leaq -0x220(%rbp), %rdi
callq 0x9658
leaq -0x240(%rbp), %rdi
callq 0x9658
leaq -0x2a0(%rbp), %rdi
callq 0x9658
leaq -0x260(%rbp), %rdi
callq 0x9658
leaq -0x280(%rbp), %rdi
callq 0x9658
jmp 0xd385
movq -0x2d0(%rbp), %rax
addq $0x310, %rsp            # imm = 0x310
popq %rbp
retq
movq -0x58(%rbp), %rdi
callq 0x95b0
nop