// File: sighingnow[P]compile-pascal/pl0_tac_gen.cpp
// Function: pl0_tac_read_stmt(pl0_ast_read_stmt const*)
void pl0_tac_read_stmt(pl0_ast_read_stmt const *stmt) {
    cout << __func__;
    for (auto && id: stmt->ids) {
        // validate.
        variable var;
        if (vartb.find(id->id, true, var) == false) {
            pl0_ast_error(id->loc, string("use of undeclared variable ") + "\"" + id->id + "\"");
        }
        if (var.len != -1) {
            pl0_ast_error(id->loc, string("expected an non-array identifier ") + "\"" + id->id + "\"");
        }
        irb.emit("=", new Value(id->id, var.dt), new Value(0, var.dt));
        irb.emit("read", new Value(id->id, var.dt));
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x310, %rsp            # imm = 0x310
movq %rdi, -0x8(%rbp)
movq 0xa7a22(%rip), %rdi     # 0x15efd8
leaq 0x3a672(%rip), %rsi     # 0xf1c2f
callq 0x5330
movq -0x8(%rbp), %rax
addq $0x18, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rdi
callq 0x32060
movq %rax, -0x18(%rbp)
movq -0x10(%rbp), %rdi
callq 0x32090
movq %rax, -0x20(%rbp)
leaq -0x18(%rbp), %rdi
leaq -0x20(%rbp), %rsi
callq 0xc02e0
testb $0x1, %al
jne 0xb75fe
jmp 0xb7dbb
leaq -0x18(%rbp), %rdi
callq 0xc0320
movq %rax, -0x28(%rbp)
leaq -0x90(%rbp), %rdi
movq %rdi, -0x2d0(%rbp)
callq 0xbf1b0
movq -0x2d0(%rbp), %rcx
movq -0x28(%rbp), %rax
movq (%rax), %rsi
addq $0x8, %rsi
leaq 0xa90e1(%rip), %rdi     # 0x160718
movl $0x1, %edx
callq 0xbf8a0
movb %al, -0x2c2(%rbp)
jmp 0xb7649
movb -0x2c2(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0xb7805
movq -0x28(%rbp), %rax
movq (%rax), %rax
movq (%rax), %rax
movq %rax, -0xa8(%rbp)
leaq -0x129(%rbp), %rdi
movq %rdi, -0x2d8(%rbp)
callq 0x55d0
movq -0x2d8(%rbp), %rdx
leaq 0x39c3b(%rip), %rsi     # 0xf12ca
leaq -0x128(%rbp), %rdi
callq 0x19840
jmp 0xb769d
leaq 0x3a077(%rip), %rdx     # 0xf171b
leaq -0x108(%rbp), %rdi
leaq -0x128(%rbp), %rsi
callq 0x1a380
jmp 0xb76b9
movq -0x28(%rbp), %rax
movq (%rax), %rdx
addq $0x8, %rdx
leaq -0xe8(%rbp), %rdi
leaq -0x108(%rbp), %rsi
callq 0x1a4d0
jmp 0xb76d9
leaq 0x3a03b(%rip), %rdx     # 0xf171b
leaq -0xc8(%rbp), %rdi
leaq -0xe8(%rbp), %rsi
callq 0x1a380
jmp 0xb76f5
movq -0xa8(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0xae910
jmp 0xb770a
leaq -0xc8(%rbp), %rdi
callq 0x5200
leaq -0xe8(%rbp), %rdi
callq 0x5200
leaq -0x108(%rbp), %rdi
callq 0x5200
leaq -0x128(%rbp), %rdi
callq 0x5200
leaq -0x129(%rbp), %rdi
callq 0x53c0
jmp 0xb7805
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7dad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb77f4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb77e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb77dc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb77d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0xc8(%rbp), %rdi
callq 0x5200
leaq -0xe8(%rbp), %rdi
callq 0x5200
leaq -0x108(%rbp), %rdi
callq 0x5200
leaq -0x128(%rbp), %rdi
callq 0x5200
leaq -0x129(%rbp), %rdi
callq 0x53c0
jmp 0xb7dad
cmpl $-0x1, -0x30(%rbp)
je 0xb79a0
movq -0x28(%rbp), %rax
movq (%rax), %rax
movq (%rax), %rax
movq %rax, -0x138(%rbp)
leaq -0x1b9(%rbp), %rdi
movq %rdi, -0x2e0(%rbp)
callq 0x55d0
movq -0x2e0(%rbp), %rdx
leaq 0x3996b(%rip), %rsi     # 0xf11ac
leaq -0x1b8(%rbp), %rdi
callq 0x19840
jmp 0xb784f
leaq 0x39ec5(%rip), %rdx     # 0xf171b
leaq -0x198(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x1a380
jmp 0xb786b
movq -0x28(%rbp), %rax
movq (%rax), %rdx
addq $0x8, %rdx
leaq -0x178(%rbp), %rdi
leaq -0x198(%rbp), %rsi
callq 0x1a4d0
jmp 0xb788b
leaq 0x39e89(%rip), %rdx     # 0xf171b
leaq -0x158(%rbp), %rdi
leaq -0x178(%rbp), %rsi
callq 0x1a380
jmp 0xb78a7
movq -0x138(%rbp), %rdi
leaq -0x158(%rbp), %rsi
callq 0xae910
jmp 0xb78bc
leaq -0x158(%rbp), %rdi
callq 0x5200
leaq -0x178(%rbp), %rdi
callq 0x5200
leaq -0x198(%rbp), %rdi
callq 0x5200
leaq -0x1b8(%rbp), %rdi
callq 0x5200
leaq -0x1b9(%rbp), %rdi
callq 0x53c0
jmp 0xb79a0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb798f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7983
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7977
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb796b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x158(%rbp), %rdi
callq 0x5200
leaq -0x178(%rbp), %rdi
callq 0x5200
leaq -0x198(%rbp), %rdi
callq 0x5200
leaq -0x1b8(%rbp), %rdi
callq 0x5200
leaq -0x1b9(%rbp), %rdi
callq 0x53c0
jmp 0xb7dad
leaq -0x1e1(%rbp), %rdi
movq %rdi, -0x2e8(%rbp)
callq 0x55d0
movq -0x2e8(%rbp), %rdx
leaq 0x37a5b(%rip), %rsi     # 0xef41c
leaq -0x1e0(%rbp), %rdi
callq 0x19840
jmp 0xb79cf
movl $0x48, %edi
callq 0x5340
movq %rax, -0x2f0(%rbp)
jmp 0xb79e2
movb $0x1, -0x229(%rbp)
movq -0x28(%rbp), %rax
movq (%rax), %rsi
addq $0x8, %rsi
leaq -0x208(%rbp), %rdi
callq 0x5150
jmp 0xb7a02
leaq -0x70(%rbp), %rsi
leaq -0x228(%rbp), %rdi
callq 0x5150
jmp 0xb7a14
movq -0x2f0(%rbp), %rdi
leaq -0x208(%rbp), %rsi
leaq -0x228(%rbp), %rdx
callq 0xbeae0
jmp 0xb7a30
movb $0x0, -0x229(%rbp)
movl $0x48, %edi
callq 0x5340
movq %rax, -0x2f8(%rbp)
jmp 0xb7a4a
movb $0x1, -0x251(%rbp)
leaq -0x70(%rbp), %rsi
leaq -0x250(%rbp), %rdi
callq 0x5150
jmp 0xb7a63
movq -0x2f8(%rbp), %rdi
xorl %esi, %esi
leaq -0x250(%rbp), %rdx
callq 0xbdfe0
jmp 0xb7a7a
movq -0x2f8(%rbp), %rcx
movq -0x2f0(%rbp), %rdx
movb $0x0, -0x251(%rbp)
leaq 0xa8c3a(%rip), %rdi     # 0x1606d0
xorl %eax, %eax
movl %eax, %r8d
leaq -0x1e0(%rbp), %rsi
callq 0xbdf00
jmp 0xb7aa9
leaq -0x250(%rbp), %rdi
callq 0x5200
leaq -0x228(%rbp), %rdi
callq 0x5200
leaq -0x208(%rbp), %rdi
callq 0x5200
leaq -0x1e0(%rbp), %rdi
callq 0x5200
leaq -0x1e1(%rbp), %rdi
callq 0x53c0
leaq -0x279(%rbp), %rdi
movq %rdi, -0x300(%rbp)
callq 0x55d0
movq -0x300(%rbp), %rdx
leaq 0x37ab1(%rip), %rsi     # 0xef5b7
leaq -0x278(%rbp), %rdi
callq 0x19840
jmp 0xb7b14
movl $0x48, %edi
callq 0x5340
movq %rax, -0x308(%rbp)
jmp 0xb7b27
movb $0x1, -0x2c1(%rbp)
movq -0x28(%rbp), %rax
movq (%rax), %rsi
addq $0x8, %rsi
leaq -0x2a0(%rbp), %rdi
callq 0x5150
jmp 0xb7b47
leaq -0x70(%rbp), %rsi
leaq -0x2c0(%rbp), %rdi
callq 0x5150
jmp 0xb7b59
movq -0x308(%rbp), %rdi
leaq -0x2a0(%rbp), %rsi
leaq -0x2c0(%rbp), %rdx
callq 0xbeae0
jmp 0xb7b75
movq -0x308(%rbp), %rdx
movb $0x0, -0x2c1(%rbp)
leaq 0xa8b46(%rip), %rdi     # 0x1606d0
xorl %eax, %eax
movl %eax, %r8d
leaq -0x278(%rbp), %rsi
movq %r8, %rcx
callq 0xbdf00
jmp 0xb7ba0
leaq -0x2c0(%rbp), %rdi
callq 0x5200
leaq -0x2a0(%rbp), %rdi
callq 0x5200
leaq -0x278(%rbp), %rdi
callq 0x5200
leaq -0x279(%rbp), %rdi
callq 0x53c0
leaq -0x90(%rbp), %rdi
callq 0xbeaa0
leaq -0x18(%rbp), %rdi
callq 0xc0340
jmp 0xb75e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7ce9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7cdd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7cbf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7cb3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7ca7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7c89
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x250(%rbp), %rdi
callq 0x5200
testb $0x1, -0x251(%rbp)
jne 0xb7c94
jmp 0xb7ca5
movq -0x2f8(%rbp), %rdi
movl $0x48, %esi
callq 0x5350
jmp 0xb7ca7
leaq -0x228(%rbp), %rdi
callq 0x5200
leaq -0x208(%rbp), %rdi
callq 0x5200
testb $0x1, -0x229(%rbp)
jne 0xb7cca
jmp 0xb7cdb
movq -0x2f0(%rbp), %rdi
movl $0x48, %esi
callq 0x5350
jmp 0xb7cdd
leaq -0x1e0(%rbp), %rdi
callq 0x5200
leaq -0x1e1(%rbp), %rdi
callq 0x53c0
jmp 0xb7dad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7da1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7d95
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7d77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0xb7d6b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x2c0(%rbp), %rdi
callq 0x5200
leaq -0x2a0(%rbp), %rdi
callq 0x5200
testb $0x1, -0x2c1(%rbp)
jne 0xb7d82
jmp 0xb7d93
movq -0x308(%rbp), %rdi
movl $0x48, %esi
callq 0x5350
jmp 0xb7d95
leaq -0x278(%rbp), %rdi
callq 0x5200
leaq -0x279(%rbp), %rdi
callq 0x53c0
leaq -0x90(%rbp), %rdi
callq 0xbeaa0
jmp 0xb7dc4
addq $0x310, %rsp            # imm = 0x310
popq %rbp
retq
movq -0x98(%rbp), %rdi
callq 0x55b0