// File: /workspace/github_c_makefile_star2_O0/pocari[P]compilerbook-9cc/parser.c
// Function: var_decl
static Node *var_decl() {
  Token *tk;
  if (is_type(token)) {
    StorageClass sclass = false;
    Type *type = basetype(&sclass);
    if (tk = consume(";")) {
      // basetypeの直後に;が来ていたらenumやstructの型の定義だけする場合
      // また、試したところ int; という意味ない文もエラーにはならないので、
      // 特に構造体やenumに限定せず任意のbasetypeの直後の ";" もいけそう。
      return new_node(ND_NULL, tk);
    }
    tk = token;
    char *ident_name;
    Type *basic_type = type;
    type = declarator(type, &ident_name);

    if (sclass == TYPEDEF) {
      expect(";");
      push_typedef_scope(ident_name, type);
      return new_node(ND_NULL, tk);
    }

    if (sclass == STATIC) {
      // static がついてたらスコープだけローカル変数で、グローバル変数扱いにする
      // ただ、単純にident_name でグローバル変数を作ってしまうと別の関数で、
      // 同じ名前のstatic local な変数を作れなくなる。
      //
      // なので、グローバル変数自体はユニークなラベルで名前をつけて、
      // スコープ側でその変数をここでパースしたident_nameで登録することで、同じ名前のstatic_local変数を別の関数でも使えるようにしている。
      Var *var = new_gvar(new_label(), type, true, true);
      // 別途スコープにident_nameでこの変数を登録
      push_var_scope(ident_name, var);

      if (!consume("=")) {
        if (type->is_incomplete) {
          error_at(tk->str, "incomplete element type(gvar)");
        }
      } else {
        var->initializer = gvar_initializer(type);
      }

      // カンマ区切りの別の宣言もあればパース
      static_var_decl_sub(basic_type, sclass);
      expect(";");
      return new_node(ND_NULL, tk);
    }

    Var *var = new_lvar(ident_name, type);
    Node *node = new_node(ND_VAR_DECL, tk);
    node->var = var;

    if (var->type->kind == TY_VOID) {
      error_at(tk->str, "void型の変数は宣言できません");
    }

    // 初期化式があるかどうかチェック
    if (consume("=")) {
      // 今作ったlocal変数に初期化式の値を代入するノードを設定
      node->initializer = local_var_initializer(var, tk);
    }

    if (type->is_incomplete) {
      error_at(tk->str, "incomplete element type(var_decl)");
    }

    // カンマ区切りの別の宣言もあればパース
    node = var_decl_sub(basic_type, node);
    expect(";");

    return node;
  }
  return NULL;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
leaq 0x9931(%rip), %rax      # 0x155d0
movq (%rax), %rdi
callq 0x6fc0
testb $0x1, %al
jne 0xbcb0
jmp 0xbeba
movl $0x0, -0x14(%rbp)
leaq -0x14(%rbp), %rdi
callq 0x6b40
movq %rax, -0x20(%rbp)
leaq 0x4944(%rip), %rdi      # 0x1060f
callq 0x6780
movq %rax, -0x10(%rbp)
cmpq $0x0, %rax
je 0xbcf1
movq -0x10(%rbp), %rsi
movl $0x31, %edi
callq 0x6980
movq %rax, -0x8(%rbp)
jmp 0xbec2
leaq 0x98d8(%rip), %rax      # 0x155d0
movq (%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x20(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x6ef0
movq %rax, -0x20(%rbp)
cmpl $0x1, -0x14(%rbp)
jne 0xbd4e
leaq 0x48ea(%rip), %rdi      # 0x1060f
callq 0x7730
movq -0x28(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0xb000
movq -0x10(%rbp), %rsi
movl $0x31, %edi
callq 0x6980
movq %rax, -0x8(%rbp)
jmp 0xbec2
cmpl $0x2, -0x14(%rbp)
jne 0xbdf8
callq 0x9620
movq %rax, %rdi
movq -0x20(%rbp), %rsi
movl $0x1, %ecx
movl %ecx, %edx
callq 0x9370
movq %rax, -0x38(%rbp)
movq -0x28(%rbp), %rdi
movq -0x38(%rbp), %rsi
callq 0x9590
leaq 0x4ace(%rip), %rdi      # 0x10856
callq 0x6780
cmpq $0x0, %rax
jne 0xbdb5
movq -0x20(%rbp), %rax
testb $0x1, 0xc(%rax)
je 0xbdb3
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x4d31(%rip), %rsi      # 0x10add
movb $0x0, %al
callq 0x6370
jmp 0xbdc9
movq -0x20(%rbp), %rdi
callq 0x9400
movq %rax, %rcx
movq -0x38(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x30(%rbp), %rdi
movl -0x14(%rbp), %esi
callq 0xbed0
leaq 0x4833(%rip), %rdi      # 0x1060f
callq 0x7730
movq -0x10(%rbp), %rsi
movl $0x31, %edi
callq 0x6980
movq %rax, -0x8(%rbp)
jmp 0xbec2
movq -0x28(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x9430
movq %rax, -0x40(%rbp)
movq -0x10(%rbp), %rsi
movl $0x20, %edi
callq 0x6980
movq %rax, -0x48(%rbp)
movq -0x40(%rbp), %rcx
movq -0x48(%rbp), %rax
movq %rcx, 0x78(%rax)
movq -0x40(%rbp), %rax
movq (%rax), %rax
cmpl $0x1, (%rax)
jne 0xbe49
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x4d05(%rip), %rsi      # 0x10b47
movb $0x0, %al
callq 0x6370
leaq 0x4a06(%rip), %rdi      # 0x10856
callq 0x6780
cmpq $0x0, %rax
je 0xbe73
movq -0x40(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x94a0
movq %rax, %rcx
movq -0x48(%rbp), %rax
movq %rcx, 0x68(%rax)
movq -0x20(%rbp), %rax
testb $0x1, 0xc(%rax)
je 0xbe93
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rdi
leaq 0x4ce4(%rip), %rsi      # 0x10b70
movb $0x0, %al
callq 0x6370
movq -0x30(%rbp), %rdi
movq -0x48(%rbp), %rsi
callq 0xbfa0
movq %rax, -0x48(%rbp)
leaq 0x4764(%rip), %rdi      # 0x1060f
callq 0x7730
movq -0x48(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0xbec2
movq $0x0, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x50, %rsp
popq %rbp
retq
nopl (%rax)