// File: /workspace/github_cpp_makefile_star2_O3/kelwinfc[P]ci4721-Fernandez-Gyomrey/src/AST/dump.cpp
// Function: AST_bounded_loop::dump(std::ostream&, int)
void AST_bounded_loop::dump(ostream &strm, int indentation){
    
    strm << setw(3) << line << ": ";
    dump_indentation(strm, indentation);
    
    strm << "For " << name << " in" << endl;
    
    dump_indentation(strm, indentation+1);
    strm << "     (" << endl;
    
    if (0 != left_bound) {
        left_bound->dump(strm, indentation+2);
    }
    
    dump_indentation(strm, indentation+1);
    strm << "     ," << endl;
    
    if (0 != right_bound) {
        right_bound->dump(strm, indentation+2);
    }
    
    dump_indentation(strm, indentation+1);
    strm << "     )" << endl;
    
    blck->dump(strm, indentation+1);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movl %edx, %ebx
movq %rsi, %r14
movq %rdi, %r15
movq (%rsi), %rax
movq -0x18(%rax), %rax
movq $0x3, 0x10(%rsi,%rax)
movl 0x8(%rdi), %esi
movq %r14, %rdi
callq 0x6540
leaq 0x23e49(%rip), %rsi     # 0x2d6b7
movl $0x2, %edx
movq %rax, %rdi
callq 0x6370
testl %ebx, %ebx
jle 0x989c
leaq 0x25ecb(%rip), %r12     # 0x2f751
movl %ebx, %ebp
movl $0x4, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0x6370
decl %ebp
jne 0x9888
leaq 0x23de1(%rip), %rsi     # 0x2d684
movl $0x4, %edx
movq %r14, %rdi
callq 0x6370
movq 0x78(%r15), %rsi
movq 0x80(%r15), %rdx
movq %r14, %rdi
callq 0x6370
movq %rax, %r12
leaq 0x23dbc(%rip), %rsi     # 0x2d689
movl $0x3, %edx
movq %rax, %rdi
callq 0x6370
movq (%r12), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x62c0
movsbl %al, %esi
movq %r12, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x6200
testl %ebx, %ebx
js 0x9924
leal 0x1(%rbx), %ebp
leaq 0x25e41(%rip), %r12     # 0x2f751
movl $0x4, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0x6370
decl %ebp
jne 0x9910
leaq 0x23bc0(%rip), %rsi     # 0x2d4eb
movl $0x6, %edx
movq %r14, %rdi
callq 0x6370
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x62c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x6200
movq 0xa8(%r15), %rdi
testq %rdi, %rdi
je 0x9976
leal 0x2(%rbx), %edx
movq (%rdi), %rax
movq %r14, %rsi
callq *(%rax)
testl %ebx, %ebx
js 0x9998
leal 0x1(%rbx), %ebp
leaq 0x25dcd(%rip), %r12     # 0x2f751
movl $0x4, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0x6370
decl %ebp
jne 0x9984
leaq 0x23cee(%rip), %rsi     # 0x2d68d
movl $0x6, %edx
movq %r14, %rdi
callq 0x6370
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x62c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x6200
movq 0xb0(%r15), %rdi
testq %rdi, %rdi
je 0x99ea
leal 0x2(%rbx), %edx
movq (%rdi), %rax
movq %r14, %rsi
callq *(%rax)
testl %ebx, %ebx
js 0x9a0c
leal 0x1(%rbx), %ebp
leaq 0x25d59(%rip), %r12     # 0x2f751
movl $0x4, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0x6370
decl %ebp
jne 0x99f8
incl %ebx
leaq 0x23ade(%rip), %rsi     # 0x2d4f3
movl $0x6, %edx
movq %r14, %rdi
callq 0x6370
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x62c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x6200
movq 0xb8(%r15), %rdi
movq (%rdi), %rax
movq (%rax), %rax
movq %r14, %rsi
movl %ebx, %edx
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmpq *%rax
nop