// File: /workspace/github_c_makefile_star2_O2/pocari[P]compilerbook-9cc/parser.c
// Function: local_var_initializer_sub
static Node *local_var_initializer_sub(Node *cur, Var *var, Type *ty, Designator *desg) {
  if (ty->kind == TY_ARRAY && ty->ptr_to->kind == TY_CHAR && peek_kind(TK_STR)) {
    // char hoge[3] = "abc" のような場合
    // hoge[0] = 'a';
    // hoge[1] = 'b';
    // hoge[2] = 'c';
    // のようなコードを生成する
    // gccでためしたところ
    // char hoge[10] = "01234";
    // みたいに配列の長さに満たない分は0で初期化されていいるっぽい
    // 初期化敷なしで宣言だけの(char hoge[10];)場合は値は不定
    Token *str = consume_kind(TK_STR);

    int len = ty->array_size > str->content_length ? str->content_length : ty->array_size;
    for (int i = 0; i < len; i++) {
      Designator desg2 = {desg, i};
      cur->next = new_desg_node(var, &desg2, new_num_node(str->contents[i], str));
      cur = cur->next;
    }

    for (int i = len; i < ty->array_size; i++) {
      Designator desg2 = {desg, i};
      cur = lvar_init_zero(cur, var, ty->ptr_to, &desg2);
    }
    // 不完全型(配列のサイズが省略されている場合)の場合、初期化した文字列の長さに合わせる
    if (ty->is_incomplete) {
      array_size_completed(ty, str->content_length);
    }

    return cur;
  }


  // static int count = 0;
  // fprintf(stdout, "count: %d, type: %d\n", count++, ty->kind);
  if (ty->kind == TY_ARRAY) {
    bool has_open_brace = consume("{");
    int i = 0;

    if (!peek_token("}")) {
      do {
        Designator desg2 = {desg, i++};
        cur = local_var_initializer_sub(cur, var, ty->ptr_to, &desg2);
      } while(!is_array_limit_over(ty, i) && !peek_end() && consume(","));
    }

    if (has_open_brace && !consume_end()) {
      // "{" で始まってるのに、配列のサイズ個の初期化式を読んでもなおまだ初期化式が残っている場合、無視する
      skip_excess_elements();
    }

    // 初期化子が配列のサイズに満たない場合は、0で初期化する
    for (; i < ty->array_size; i++) {
      Designator dseg2 = {desg, i};
      cur = lvar_init_zero(cur, var, ty->ptr_to, &dseg2);
    }

    // 不完全型(配列のサイズが省略されている場合)の場合、初期化した文字列の長さに合わせる
    if (ty->is_incomplete) {
      array_size_completed(ty, i);
    }

    return cur;
  }

  if (ty->kind == TY_STRUCT) {
    bool has_open_brace = consume("{");
    Member *mem = ty->members;

    if (!peek_token("}")) {
      do {
        assert(mem);
        Designator desg2 = {desg, 0, mem};
        cur = local_var_initializer_sub(cur, var, mem->ty, &desg2);
        mem = mem->next;
      } while(mem && !peek_end() && consume(","));
    }

    if (has_open_brace && !consume_end()) {
      // "{" で始まってるのに、配列のサイズ個の初期化式を読んでもなおまだ初期化式が残っている場合、無視する
      skip_excess_elements();
    }

    // 残りのメンバーがまだあったらゼロ初期化する
    for (; mem; mem = mem->next) {
      Designator dseg2 = {desg, 0, mem};
      cur = lvar_init_zero(cur, var, mem->ty, &dseg2);
    }

    return cur;
  }

  // compound-literal で "{" 初期化式 "}" で初期化する場合に "{" が存在する
  // (int) { 1 } とか
  bool has_open_brace = consume("{");
  Node *e = assign();
  // fprintf(stdout, "val: %d\n", e->val);
  cur->next = new_desg_node(var, desg, e);
  if (has_open_brace) {
    expect_end();
  }
  return cur->next;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %r14
movq %rdx, %r12
movq %rsi, %r15
movq %rdi, %rbx
movl (%rdx), %eax
cmpl $0x9, %eax
je 0x713a
cmpl $0x8, %eax
jne 0x71c6
movq 0x10(%r12), %rax
cmpl $0x4, (%rax)
jne 0x7203
leaq 0x83c4(%rip), %rax      # 0xf480
movq (%rax), %r13
cmpl $0x14, (%r13)
jne 0x7203
movq 0x8(%r13), %rcx
movq %rcx, (%rax)
movq 0x18(%r12), %rcx
movslq 0x30(%r13), %rax
cmpq %rax, %rcx
cmovgl %eax, %ecx
xorl %ebp, %ebp
testl %ecx, %ecx
movl $0x0, %eax
movq %rcx, 0x20(%rsp)
cmovgl %ecx, %eax
movq %rax, 0x18(%rsp)
cmpq %rbp, 0x18(%rsp)
je 0x7310
movq %r14, (%rsp)
movl %ebp, 0x8(%rsp)
andq $0x0, 0x10(%rsp)
movq 0x28(%r13), %rax
movsbq (%rax,%rbp), %rdi
movq %r13, %rsi
callq 0x688f
movq %r15, %rdi
movq %rsp, %rsi
movq %rax, %rdx
callq 0x73e7
movq %rax, 0x30(%rbx)
incq %rbp
movq %rax, %rbx
jmp 0x70f6
leaq 0x31d5(%rip), %rdi      # 0xa316
callq 0x498f
movq %rax, 0x18(%rsp)
movq 0x20(%r12), %r13
leaq 0x3556(%rip), %rdi      # 0xa6ad
callq 0x4ea0
testb %al, %al
jne 0x7381
movq %rsp, %r12
leaq 0x3541(%rip), %rbp      # 0xa6af
testq %r13, %r13
je 0x73c8
movq %r14, (%rsp)
andl $0x0, 0x8(%rsp)
movq %r13, 0x10(%rsp)
movq 0x8(%r13), %rdx
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rcx
callq 0x7079
movq %rax, %rbx
movq (%r13), %r13
testq %r13, %r13
je 0x737e
callq 0x49b0
testb %al, %al
jne 0x7381
movq %rbp, %rdi
callq 0x498f
testq %rax, %rax
jne 0x716e
jmp 0x7381
leaq 0x3149(%rip), %rdi      # 0xa316
callq 0x498f
movq %rax, %r12
callq 0x6edd
movq %r15, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x73e7
movq %rax, 0x30(%rbx)
testq %r12, %r12
je 0x730b
callq 0x7060
movq 0x30(%rbx), %rbx
jmp 0x736c
leaq 0x310c(%rip), %rdi      # 0xa316
callq 0x498f
movq %rax, %r13
leaq 0x3494(%rip), %rdi      # 0xa6ad
callq 0x4ea0
testb %al, %al
je 0x7226
xorl %ebp, %ebp
jmp 0x72a2
movq %r13, 0x18(%rsp)
movabsq $0x100000000, %rcx      # imm = 0x100000000
xorl %r13d, %r13d
movq %rcx, %rbp
movq %r14, (%rsp)
movl %r13d, 0x8(%rsp)
incq %r13
andq $0x0, 0x10(%rsp)
movq 0x10(%r12), %rdx
movq %rbx, %rdi
movq %r15, %rsi
movq %rsp, %rcx
callq 0x7079
movq %rax, %rbx
cmpb $0x0, 0xc(%r12)
jne 0x7272
cmpq %r13, 0x18(%r12)
jle 0x7299
callq 0x49b0
testb %al, %al
jne 0x7299
leaq 0x342d(%rip), %rdi      # 0xa6af
callq 0x498f
movabsq $0x100000000, %rcx      # imm = 0x100000000
addq %rbp, %rcx
testq %rax, %rax
jne 0x7238
sarq $0x20, %rbp
movq 0x18(%rsp), %r13
testq %r13, %r13
je 0x72b5
callq 0x493e
testb %al, %al
jne 0x72b5
callq 0x6e3f
movq %rsp, %r13
cmpq %rbp, 0x18(%r12)
jle 0x72e8
movq %r14, (%rsp)
movl %ebp, 0x8(%rsp)
andq $0x0, 0x10(%rsp)
movq 0x10(%r12), %rdx
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
callq 0x7424
movq %rax, %rbx
incq %rbp
jmp 0x72b8
cmpb $0x1, 0xc(%r12)
jne 0x736c
movb $0x0, 0xc(%r12)
movq %rbp, 0x18(%r12)
movq 0x10(%r12), %rax
imull 0x4(%rax), %ebp
movl %ebp, 0x4(%r12)
jmp 0x736c
movq %rax, %rbx
jmp 0x736c
movslq 0x20(%rsp), %rbp
cmpq %rbp, 0x18(%r12)
jle 0x7345
movq %r14, (%rsp)
movl %ebp, 0x8(%rsp)
andq $0x0, 0x10(%rsp)
movq 0x10(%r12), %rdx
movq %rbx, %rdi
movq %r15, %rsi
movq %rsp, %rcx
callq 0x7424
movq %rax, %rbx
incq %rbp
jmp 0x7315
cmpb $0x0, 0xc(%r12)
je 0x736c
movslq 0x30(%r13), %rax
movb $0x0, 0xc(%r12)
movq %rax, 0x18(%r12)
movq 0x10(%r12), %rcx
movl 0x4(%rcx), %ecx
imull %eax, %ecx
movl %ecx, 0x4(%r12)
movq %rbx, %rax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r13d, %r13d
cmpq $0x0, 0x18(%rsp)
je 0x7397
callq 0x493e
testb %al, %al
jne 0x7397
callq 0x6e3f
movq %rsp, %r12
testq %r13, %r13
je 0x736c
movq %r14, (%rsp)
andl $0x0, 0x8(%rsp)
movq %r13, 0x10(%rsp)
movq 0x8(%r13), %rdx
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rcx
callq 0x7424
movq %rax, %rbx
movq (%r13), %r13
jmp 0x739a
leaq 0x3605(%rip), %rdi      # 0xa9d4
leaq 0x32db(%rip), %rsi      # 0xa6b1
leaq 0x35fb(%rip), %rcx      # 0xa9d8
movl $0x6f2, %edx            # imm = 0x6F2
callq 0x20d0