// File: /workspace/github_c_makefile_star2_O0/ejunjsh[P]mycc/decl.c
// Function: array_declaration
static struct symtable *array_declaration(char *varname, int type,
					  struct symtable *ctype, int class) {

  struct symtable *sym;	// 新符号表指针
  int nelems = -1;	// 假设元素数量没有给定
  int maxelems;		// 在初始化列表中最大元素数量
  int *initlist;	// 初始化元素列表 
  int i = 0, j;

  // 跳过'['
  scan(&Token);

  // 看看是否有数组大小
  if (Token.token != T_RBRACKET) {
    nelems = parse_literal(P_INT);
    if (nelems <= 0)
      fatald("Array size is illegal", nelems);
  }

  // 保证接下来一定是']'
  match(T_RBRACKET, "]");

  // 加到符号表 
  // 这里把数组当成指向元素类型指针来处理
  switch (class) {
    case C_STATIC:
    case C_EXTERN:
    case C_GLOBAL:
      // 检查看看变量是否已经存在
      sym= findglob(varname);
      if (is_new_symbol(sym, class, pointer_to(type), ctype))
        sym = addglob(varname, pointer_to(type), ctype, S_ARRAY, class, 0, 0);
      break;
    case C_LOCAL:
      sym = addlocl(varname, pointer_to(type), ctype, S_ARRAY, 0);
      break;
    default:
      fatal("Declaration of array parameters is not implemented");
  }

  // 数组初始化
  if (Token.token == T_ASSIGN) {
    if (class != C_GLOBAL && class != C_STATIC)
      fatals("Variable can not be initialised", varname);
    scan(&Token);

    // 匹配"{"
    match(T_LBRACE, "{");

#define TABLE_INCREMENT 10

    // 如果知道数组大小，直接分配内存
    // 否则先分配TABLE_INCREMENT个内存
    if (nelems != -1)
      maxelems = nelems;
    else
      maxelems = TABLE_INCREMENT;
    initlist = (int *) malloc(maxelems * sizeof(int));

    // 循环从列表获得一个新的字面量值
    while (1) {

      // 看看我们能不能加下一个值
      if (nelems != -1 && i == maxelems)
	      fatal("Too many values in initialisation list");

      initlist[i++] = parse_literal(type);

      // 如果我们不知道数组大小的情况并到达列表最后，
      // 重新分配列表大小，大小为之前大小加上TABLE_INCREMENT
      if (nelems == -1 && i == maxelems) {
        maxelems += TABLE_INCREMENT;
        initlist = (int *) realloc(initlist, maxelems * sizeof(int));
      }

      // 如果遇到"}",就退出
      if (Token.token == T_RBRACE) {
        scan(&Token);
        break;
      }

      // 下一个肯定是逗号
      comma();
    }

    // 对于a[7]={1,2,3};这种情况，用零来填充还没有初始化的值
    // 把初始化列表放入符号表中
    for (j = i; j < sym->nelems; j++)
      initlist[j] = 0;

    if (i > nelems)
      nelems = i;
    sym->initlist = initlist;
  }

  // 设置数组大小和元素个数
  // 只有extern（外部）变量可以没有元素
  if (class != C_EXTERN && nelems<=0)
    fatals("Array must have non-zero elements", sym->name);

  sym->nelems = nelems;
  sym->size = sym->nelems * typesize(type, ctype);
  // 如果包含全局或静态变量定义的话，创建全局空间
  if (class == C_GLOBAL || class == C_STATIC)
    genglobsym(sym);
  return (sym);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movl $0xffffffff, -0x2c(%rbp) # imm = 0xFFFFFFFF
movl $0x0, -0x3c(%rbp)
leaq 0xd435(%rip), %rdi      # 0x12530
callq 0x84c0
leaq 0xd429(%rip), %rax      # 0x12530
cmpl $0x3c, (%rax)
je 0x5130
movl $0x30, %edi
callq 0x4ae0
movl %eax, -0x2c(%rbp)
cmpl $0x0, -0x2c(%rbp)
jg 0x512e
movl -0x2c(%rbp), %esi
leaq 0x7b43(%rip), %rdi      # 0xcc6c
callq 0x8180
jmp 0x5130
leaq 0x8e7d(%rip), %rsi      # 0xdfb4
movl $0x3c, %edi
callq 0x7f70
movl -0x1c(%rbp), %eax
movl %eax, -0x44(%rbp)
subl $0x1, %eax
je 0x516d
jmp 0x514e
movl -0x44(%rbp), %eax
subl $0x2, %eax
je 0x51df
jmp 0x515c
movl -0x44(%rbp), %eax
addl $-0x4, %eax
subl $0x1, %eax
ja 0x520c
jmp 0x516d
movq -0x8(%rbp), %rdi
callq 0xa2f0
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x50(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x48(%rbp)
movl -0xc(%rbp), %edi
callq 0xb740
movq -0x50(%rbp), %rdi
movl -0x48(%rbp), %esi
movl %eax, %edx
movq -0x18(%rbp), %rcx
callq 0x5750
cmpl $0x0, %eax
je 0x51dd
movq -0x8(%rbp), %rax
movq %rax, -0x58(%rbp)
movl -0xc(%rbp), %edi
callq 0xb740
movq -0x58(%rbp), %rdi
movl %eax, %esi
movq -0x18(%rbp), %rdx
movl -0x1c(%rbp), %r8d
movl $0x2, %ecx
xorl %r9d, %r9d
movl $0x0, (%rsp)
callq 0x9f70
movq %rax, -0x28(%rbp)
jmp 0x5218
movq -0x8(%rbp), %rax
movq %rax, -0x60(%rbp)
movl -0xc(%rbp), %edi
callq 0xb740
movq -0x60(%rbp), %rdi
movl %eax, %esi
movq -0x18(%rbp), %rdx
movl $0x2, %ecx
xorl %r8d, %r8d
callq 0xa000
movq %rax, -0x28(%rbp)
jmp 0x5218
leaq 0x7a6f(%rip), %rdi      # 0xcc82
callq 0x8110
leaq 0xd311(%rip), %rax      # 0x12530
cmpl $0x1, (%rax)
jne 0x5356
cmpl $0x1, -0x1c(%rbp)
je 0x5244
cmpl $0x5, -0x1c(%rbp)
je 0x5244
movq -0x8(%rbp), %rsi
leaq 0x7a76(%rip), %rdi      # 0xccb5
callq 0x7fc0
leaq 0xd2e5(%rip), %rdi      # 0x12530
callq 0x84c0
movl $0x37, %edi
leaq 0x7a79(%rip), %rsi      # 0xccd5
callq 0x7f70
cmpl $-0x1, -0x2c(%rbp)
je 0x526f
movl -0x2c(%rbp), %eax
movl %eax, -0x30(%rbp)
jmp 0x5276
movl $0xa, -0x30(%rbp)
movslq -0x30(%rbp), %rdi
shlq $0x2, %rdi
callq 0x2100
movq %rax, -0x38(%rbp)
cmpl $-0x1, -0x2c(%rbp)
je 0x52a1
movl -0x3c(%rbp), %eax
cmpl -0x30(%rbp), %eax
jne 0x52a1
leaq 0x7a3b(%rip), %rdi      # 0xccd7
callq 0x8110
movl -0xc(%rbp), %edi
callq 0x4ae0
movl %eax, %edx
movq -0x38(%rbp), %rax
movl -0x3c(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x3c(%rbp)
movslq %ecx, %rcx
movl %edx, (%rax,%rcx,4)
cmpl $-0x1, -0x2c(%rbp)
jne 0x52ec
movl -0x3c(%rbp), %eax
cmpl -0x30(%rbp), %eax
jne 0x52ec
movl -0x30(%rbp), %eax
addl $0xa, %eax
movl %eax, -0x30(%rbp)
movq -0x38(%rbp), %rdi
movslq -0x30(%rbp), %rsi
shlq $0x2, %rsi
callq 0x2110
movq %rax, -0x38(%rbp)
leaq 0xd23d(%rip), %rax      # 0x12530
cmpl $0x38, (%rax)
jne 0x5306
leaq 0xd231(%rip), %rdi      # 0x12530
callq 0x84c0
jmp 0x5310
callq 0x80f0
jmp 0x5287
movl -0x3c(%rbp), %eax
movl %eax, -0x40(%rbp)
movl -0x40(%rbp), %eax
movq -0x28(%rbp), %rcx
cmpl 0x2c(%rcx), %eax
jge 0x533c
movq -0x38(%rbp), %rax
movslq -0x40(%rbp), %rcx
movl $0x0, (%rax,%rcx,4)
movl -0x40(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x40(%rbp)
jmp 0x5316
movl -0x3c(%rbp), %eax
cmpl -0x2c(%rbp), %eax
jle 0x534a
movl -0x3c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movq -0x38(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x30(%rax)
cmpl $0x4, -0x1c(%rbp)
je 0x5376
cmpl $0x0, -0x2c(%rbp)
jg 0x5376
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rsi
leaq 0x798d(%rip), %rdi      # 0xccfe
callq 0x7fc0
movl -0x2c(%rbp), %ecx
movq -0x28(%rbp), %rax
movl %ecx, 0x2c(%rax)
movq -0x28(%rbp), %rax
movl 0x2c(%rax), %eax
movl %eax, -0x64(%rbp)
movl -0xc(%rbp), %edi
movq -0x18(%rbp), %rsi
callq 0xb7c0
movl -0x64(%rbp), %ecx
imull %eax, %ecx
movq -0x28(%rbp), %rax
movl %ecx, 0x28(%rax)
cmpl $0x1, -0x1c(%rbp)
je 0x53af
cmpl $0x5, -0x1c(%rbp)
jne 0x53b8
movq -0x28(%rbp), %rdi
callq 0x7570
movq -0x28(%rbp), %rax
addq $0x70, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)