// File: /workspace/github_cpp_makefile_star2_O3/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
movq %rsi, %r14
movq %rdi, %rbx
cmpb $0x1, 0x48(%rsi)
jne 0xadce
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x17ed7
leaq 0x1f2cb(%rip), %rsi     # 0x2a06a
movq %r15, %rdi
callq 0x8460
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xae18
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xae20
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x17ed7
leaq 0x1f288(%rip), %rsi     # 0x2a06a
movq %r15, %rdi
callq 0x8460
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xaed4
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xaedc
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %r12
movq %rdx, 0x8(%r12)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x28(%r14), %r15
movq %r15, %rdi
movq %r12, %rsi
callq 0x82f0
movq (%r12), %rdi
cmpq %r13, %rdi
je 0xae62
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0x18(%rsp), %r13
movq -0x10(%r13), %rdi
cmpq %r13, %rdi
je 0xae7d
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
callq 0x17eeb
movq 0x10(%r14), %rsi
movq (%rsi), %rax
leaq 0x108(%rsp), %r12
movq %r12, %rdi
callq *(%rax)
leaq 0x20046(%rip), %rsi     # 0x2aee3
movq %r12, %rdi
callq 0x8460
leaq 0x58(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xaf90
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
jmp 0xaf98
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %r12
movq %rdx, 0x8(%r12)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x28(%r14), %r15
movq %r15, %rdi
movq %r12, %rsi
callq 0x82f0
movq (%r12), %rdi
cmpq %r13, %rdi
je 0xaf1e
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0x18(%rsp), %rbp
movq -0x10(%rbp), %rdi
cmpq %rbp, %rdi
je 0xaf39
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
callq 0x17eeb
movq 0x10(%r14), %rsi
movq (%rsi), %rax
leaq 0x108(%rsp), %r12
movq %r12, %rdi
callq *(%rax)
leaq 0x1ff8a(%rip), %rsi     # 0x2aee3
movq %r12, %rdi
callq 0x8460
leaq 0x58(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xb025
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
jmp 0xb02d
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x50(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x18(%r14), %rsi
movq (%rsi), %rax
leaq 0xc8(%rsp), %rdi
callq *(%rax)
movq 0x48(%rsp), %rcx
movq 0x50(%rsp), %r8
movq 0xd0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r12, %rcx
je 0xafe6
movq 0x58(%rsp), %rdi
movq 0xc8(%rsp), %rsi
cmpq %rdi, %rax
jbe 0xb016
leaq 0xd8(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0xb00d
movq 0xd8(%rsp), %rdi
cmpq %rdi, %rax
jbe 0xb0ba
leaq 0x48(%rsp), %rdi
callq 0x80b0
jmp 0xb0cb
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x50(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x18(%r14), %rsi
movq (%rsi), %rax
leaq 0xc8(%rsp), %rdi
callq *(%rax)
movq 0x48(%rsp), %rcx
movq 0x50(%rsp), %r8
movq 0xd0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r12, %rcx
je 0xb07b
movq 0x58(%rsp), %rdi
movq 0xc8(%rsp), %rsi
cmpq %rdi, %rax
jbe 0xb0ab
leaq 0xd8(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0xb0a2
movq 0xd8(%rsp), %rdi
cmpq %rdi, %rax
jbe 0xb18c
leaq 0x48(%rsp), %rdi
callq 0x80b0
jmp 0xb19d
leaq 0xc8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x8290
leaq 0x78(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0xb0ef
movq %rsi, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0xb0f5
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x70(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
movq 0x20(%r14), %rsi
movq (%rsi), %rax
leaq 0xa8(%rsp), %rdi
callq *(%rax)
leaq 0x78(%rsp), %r12
movq -0x10(%r12), %rcx
movq -0x8(%r12), %r8
movq 0xb0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r12, %rcx
je 0xb14d
movq 0x78(%rsp), %rdi
movq 0xa8(%rsp), %rsi
cmpq %rdi, %rax
jbe 0xb17d
leaq 0xb8(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0xb174
movq 0xb8(%rsp), %rdi
cmpq %rdi, %rax
jbe 0xb2c6
leaq 0x68(%rsp), %rdi
callq 0x80b0
jmp 0xb2d7
leaq 0xc8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x8290
leaq 0x78(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0xb1c1
movq %rsi, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0xb1c7
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x70(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x1fcf8(%rip), %rsi     # 0x2aee3
leaq 0x68(%rsp), %rdi
callq 0x8460
leaq 0x98(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xb226
movq %rdx, 0x88(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x98(%rsp)
jmp 0xb22e
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x90(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xa8(%rsp), %rdi
callq 0x17ed7
movq 0x88(%rsp), %rcx
movq 0x90(%rsp), %r8
movq 0xb0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r12, %rcx
je 0xb284
movq 0x98(%rsp), %rdi
movq 0xa8(%rsp), %rsi
cmpq %rdi, %rax
jbe 0xb2b4
leaq 0xb8(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0xb2ab
movq 0xb8(%rsp), %rdi
cmpq %rdi, %rax
jbe 0xb3a7
leaq 0x88(%rsp), %rdi
callq 0x80b0
jmp 0xb3b8
leaq 0xa8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x8290
leaq 0x98(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0xb304
movq %rsi, 0x88(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x98(%rsp)
jmp 0xb30a
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x90(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0xe8(%rsp), %rdi
callq 0x17ed7
leaq 0x98(%rsp), %rbp
movq -0x10(%rbp), %rcx
movq -0x8(%rbp), %r8
movq 0xf0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %rbp, %rcx
je 0xb365
movq 0x98(%rsp), %rdi
movq 0xe8(%rsp), %rsi
cmpq %rdi, %rax
jbe 0xb395
leaq 0xf8(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0xb38c
movq 0xf8(%rsp), %rdi
cmpq %rdi, %rax
jbe 0xb57b
leaq 0x88(%rsp), %rdi
callq 0x80b0
jmp 0xb58c
leaq 0xa8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x8290
movq %rbp, 0x8(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0xb3d8
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xb3df
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x1ec75(%rip), %rsi     # 0x2a078
leaq 0x8(%rsp), %rdi
callq 0x8460
movq %r13, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xb430
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xb438
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %r15, %rdi
callq 0x80b0
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0xb479
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
je 0xb490
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb4b1
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x88(%rsp), %rdi
cmpq %r12, %rdi
je 0xb4ce
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
leaq 0x58(%rsp), %r15
je 0xb4ee
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb50f
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x48(%rsp), %rdi
cmpq %r15, %rdi
je 0xb526
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0x118(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb547
movq 0x118(%rsp), %rsi
incq %rsi
callq 0x8260
callq 0x17ef8
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
movq 0x28(%r14), %rsi
movq 0x30(%r14), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0xabdc
movq %rbx, %rax
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xe8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x8290
movq %r13, 0x8(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0xb5ac
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xb5b4
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x1eaa0(%rip), %rsi     # 0x2a078
leaq 0x8(%rsp), %rdi
callq 0x8460
leaq 0x38(%rsp), %rsi
movq %rsi, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xb60a
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xb610
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %r15, %rdi
callq 0x80b0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xb656
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0xb66d
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb68e
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x88(%rsp), %rdi
cmpq %rbp, %rdi
je 0xb6ab
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb6cc
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0xb6e3
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
leaq 0x58(%rsp), %r15
jne 0xb4ff
jmp 0xb50f
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xb726
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb726
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0xb75e
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb75e
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0xb784
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb784
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb7c6
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb7c6
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
je 0xb7a0
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb7a0
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb80a
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb80a
movq %rax, %rbx
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb7ec
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb7ec
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb82e
movq 0xb8(%rsp), %rsi
jmp 0xb81f
movq %rax, %rbx
movq 0x88(%rsp), %rdi
cmpq %r12, %rdi
je 0xb82e
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb82e
jmp 0xb82b
movq %rax, %rbx
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb850
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb850
jmp 0xb84d
movq %rax, %rbx
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb878
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb878
jmp 0xb875
movq %rax, %rbx
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0xb89b
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb89b
jmp 0xb898
movq %rax, %rbx
leaq 0x118(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb8bc
movq 0x118(%rsp), %rsi
incq %rsi
callq 0x8260
movq %rbx, %rdi
callq 0x8420
jmp 0xb8c6
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb8bc
movq 0x18(%rsp), %rsi
jmp 0xb8b4