// File: /workspace/github_cpp_makefile_star2_O1/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 0xade2
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x178b9
leaq 0x1f2b7(%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 0xae2c
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xae34
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x178b9
leaq 0x1f274(%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 0xaee8
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xaef0
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 0xae76
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0x18(%rsp), %r13
movq -0x10(%r13), %rdi
cmpq %r13, %rdi
je 0xae91
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
callq 0x178cd
movq 0x10(%r14), %rsi
movq (%rsi), %rax
leaq 0x108(%rsp), %r12
movq %r12, %rdi
callq *(%rax)
leaq 0x20032(%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 0xafa4
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
jmp 0xafac
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 0xaf32
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0x18(%rsp), %rbp
movq -0x10(%rbp), %rdi
cmpq %rbp, %rdi
je 0xaf4d
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
callq 0x178cd
movq 0x10(%r14), %rsi
movq (%rsi), %rax
leaq 0x108(%rsp), %r12
movq %r12, %rdi
callq *(%rax)
leaq 0x1ff76(%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 0xb03a
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
jmp 0xb042
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, %esi
cmpq %r12, %rcx
je 0xaffa
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb023
leaq 0xd8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xb01a
movq 0xd8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb0d0
movq 0xc8(%rsp), %rsi
leaq 0x48(%rsp), %rdi
callq 0x80b0
jmp 0xb0e1
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, %esi
cmpq %r12, %rcx
je 0xb090
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb0b9
leaq 0xd8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xb0b0
movq 0xd8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb1a3
movq 0xc8(%rsp), %rsi
leaq 0x48(%rsp), %rdi
callq 0x80b0
jmp 0xb1b4
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 0xb105
movq %rsi, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0xb10b
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, %esi
cmpq %r12, %rcx
je 0xb163
movq 0x78(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb18c
leaq 0xb8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xb183
movq 0xb8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb2de
movq 0xa8(%rsp), %rsi
leaq 0x68(%rsp), %rdi
callq 0x80b0
jmp 0xb2ef
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 0xb1d8
movq %rsi, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0xb1de
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 0x1fce1(%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 0xb23d
movq %rdx, 0x88(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x98(%rsp)
jmp 0xb245
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 0x178b9
movq 0x88(%rsp), %rcx
movq 0x90(%rsp), %r8
movq 0xb0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r12, %rcx
je 0xb29b
movq 0x98(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb2c4
leaq 0xb8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xb2bb
movq 0xb8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb3c0
movq 0xa8(%rsp), %rsi
leaq 0x88(%rsp), %rdi
callq 0x80b0
jmp 0xb3d1
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 0xb31c
movq %rsi, 0x88(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x98(%rsp)
jmp 0xb322
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 0x178b9
leaq 0x98(%rsp), %rbp
movq -0x10(%rbp), %rcx
movq -0x8(%rbp), %r8
movq 0xf0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %rbp, %rcx
je 0xb37d
movq 0x98(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb3a6
leaq 0xf8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xb39d
movq 0xf8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb594
movq 0xe8(%rsp), %rsi
leaq 0x88(%rsp), %rdi
callq 0x80b0
jmp 0xb5a5
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 0xb3f1
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xb3f8
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 0x1ec5c(%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 0xb449
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xb451
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 0xb492
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
je 0xb4a9
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb4ca
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x88(%rsp), %rdi
cmpq %r12, %rdi
je 0xb4e7
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
leaq 0x58(%rsp), %r15
je 0xb507
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb528
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x48(%rsp), %rdi
cmpq %r15, %rdi
je 0xb53f
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0x118(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb560
movq 0x118(%rsp), %rsi
incq %rsi
callq 0x8260
callq 0x178da
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
movq 0x28(%r14), %rsi
movq 0x30(%r14), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0xabf6
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 0xb5c5
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xb5cd
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 0x1ea87(%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 0xb623
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xb629
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 0xb66f
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0xb686
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb6a7
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x88(%rsp), %rdi
cmpq %rbp, %rdi
je 0xb6c4
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb6e5
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x8260
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0xb6fc
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x8260
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
leaq 0x58(%rsp), %r15
jne 0xb518
jmp 0xb528
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xb73f
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb73f
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0xb777
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb777
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0xb79d
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb79d
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb7df
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb7df
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
je 0xb7b9
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb7b9
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb823
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb823
movq %rax, %rbx
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb805
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb805
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb847
movq 0xb8(%rsp), %rsi
jmp 0xb838
movq %rax, %rbx
movq 0x88(%rsp), %rdi
cmpq %r12, %rdi
je 0xb847
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb847
jmp 0xb844
movq %rax, %rbx
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb869
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb869
jmp 0xb866
movq %rax, %rbx
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb891
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb891
jmp 0xb88e
movq %rax, %rbx
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0xb8b4
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x8260
jmp 0xb8b4
jmp 0xb8b1
movq %rax, %rbx
leaq 0x118(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb8d5
movq 0x118(%rsp), %rsi
incq %rsi
callq 0x8260
movq %rbx, %rdi
callq 0x8420
jmp 0xb8df
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xb8d5
movq 0x18(%rsp), %rsi
jmp 0xb8cd
nop