// File: /workspace/github_c_makefile_star2_O0/ejunjsh[P]mycc/decl.c
// Function: composite_declaration
static struct symtable *composite_declaration(int type) {
  struct symtable *ctype = NULL;
  struct symtable *m;
  struct ASTnode *unused;
  int offset;
  int t;

  // 跳过struct/union关键字
  scan(&Token);

  // 看看是否接下来是个struct/union名
  if (Token.token == T_IDENT) {
    // 查找任何匹配的复合类型
    if (type == P_STRUCT)
      ctype = findstruct(Text);
    else
      ctype = findunion(Text);
    scan(&Token);
  }

  // 如果接下来不是是左括号，代表现在在用已存在的struct/union类型
  // 直接返回指向类型的指针
  if (Token.token != T_LBRACE) {
    if (ctype == NULL)
      fatals("unknown struct/union type", Text);
    return (ctype);
  }

  // 保证struct/union类型之前没有被定义
  if (ctype)
    fatals("previously defined struct/union", Text);

  // 创建这个复合类型，跳过左括号
  if (type == P_STRUCT)
    ctype = addstruct(Text);
  else
    ctype = addunion(Text);
  scan(&Token);

  // 扫描成员列表
  while (1) {
    // 获得下个成员放在变量m
    t = declaration_list(&m, C_MEMBER, T_SEMI, T_RBRACE, &unused);
    if (t == -1)
      fatal("Bad type in member list");
    if (Token.token == T_SEMI)
      scan(&Token);
    if (Token.token == T_RBRACE)
      break;
  }

  // 把成员列表附着在复合类型节点上
  rbrace();
  if (Membhead == NULL)
    fatals("No members in struct", ctype->name);
  ctype->member = Membhead;
  Membhead = Membtail = NULL;

  // 设置第一个成员的位置，然后找到下一个空闲字节的位移
  m = ctype->member;
  m->stu.st_posn = 0;
  offset = typesize(m->type, m->ctype);

  // 设置每个成员的位置
  // union很简单，都是0，对于struct，要对齐成员，并找出下个空闲字节的位移
  for (m = m->next; m != NULL; m = m->next) {
    // 为成员设置所在位置
    if (type == P_STRUCT){
      m->stu.st_posn = genalign(m->type, offset, 1);
      offset = m->stu.st_posn + typesize(m->type, m->ctype); // 获得当前成员下个空闲字节的位移
    }
    else{
      m->stu.st_posn = 0;
      offset = typesize(m->type, m->ctype) > offset ? typesize(m->type, m->ctype) : offset; // 对于union来说，取最大的那个成员作为大小
    }
  }

  // 设置复合类型的大小
  // TODO：check this later !done
  ctype->size = offset;
  return (ctype);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movl %edi, -0xc(%rbp)
movq $0x0, -0x18(%rbp)
leaq 0xe016(%rip), %rdi      # 0x12530
callq 0x84c0
leaq 0xe00a(%rip), %rax      # 0x12530
cmpl $0x36, (%rax)
jne 0x455f
cmpl $0x50, -0xc(%rbp)
jne 0x4543
leaq 0xe028(%rip), %rdi      # 0x12560
callq 0xa4e0
movq %rax, -0x18(%rbp)
jmp 0x4553
leaq 0xe016(%rip), %rdi      # 0x12560
callq 0xa510
movq %rax, -0x18(%rbp)
leaq 0xdfd6(%rip), %rdi      # 0x12530
callq 0x84c0
leaq 0xdfca(%rip), %rax      # 0x12530
cmpl $0x37, (%rax)
je 0x4592
cmpq $0x0, -0x18(%rbp)
jne 0x4585
leaq 0x84c1(%rip), %rdi      # 0xca3a
leaq 0xdfe0(%rip), %rsi      # 0x12560
callq 0x7fc0
movq -0x18(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x4789
cmpq $0x0, -0x18(%rbp)
je 0x45ac
leaq 0x84b4(%rip), %rdi      # 0xca54
leaq 0xdfb9(%rip), %rsi      # 0x12560
callq 0x7fc0
cmpl $0x50, -0xc(%rbp)
jne 0x45c4
leaq 0xdfa7(%rip), %rdi      # 0x12560
callq 0xa170
movq %rax, -0x18(%rbp)
jmp 0x45d4
leaq 0xdf95(%rip), %rdi      # 0x12560
callq 0xa1d0
movq %rax, -0x18(%rbp)
leaq 0xdf55(%rip), %rdi      # 0x12530
callq 0x84c0
leaq -0x20(%rbp), %rdi
movl $0x8, %esi
movl $0x35, %edx
movl $0x38, %ecx
leaq -0x28(%rbp), %r8
callq 0x4bf0
movl %eax, -0x30(%rbp)
cmpl $-0x1, -0x30(%rbp)
jne 0x4611
leaq 0x8468(%rip), %rdi      # 0xca74
callq 0x8110
leaq 0xdf18(%rip), %rax      # 0x12530
cmpl $0x35, (%rax)
jne 0x4629
leaq 0xdf0c(%rip), %rdi      # 0x12530
callq 0x84c0
leaq 0xdf00(%rip), %rax      # 0x12530
cmpl $0x38, (%rax)
jne 0x4637
jmp 0x4639
jmp 0x45e0
callq 0x8070
leaq 0xe15b(%rip), %rax      # 0x127a0
cmpq $0x0, (%rax)
jne 0x465f
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rsi
leaq 0x8432(%rip), %rdi      # 0xca8c
callq 0x7fc0
leaq 0xe13a(%rip), %rax      # 0x127a0
movq (%rax), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x40(%rax)
leaq 0xe130(%rip), %rax      # 0x127a8
movq $0x0, (%rax)
leaq 0xe11a(%rip), %rax      # 0x127a0
movq $0x0, (%rax)
movq -0x18(%rbp), %rax
movq 0x40(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movl $0x0, (%rax)
movq -0x20(%rbp), %rax
movl 0x10(%rax), %edi
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rsi
callq 0xb7c0
movl %eax, -0x2c(%rbp)
movq -0x20(%rbp), %rax
movq 0x38(%rax), %rax
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0x4777
cmpl $0x50, -0xc(%rbp)
jne 0x471c
movq -0x20(%rbp), %rax
movl 0x10(%rax), %edi
movl -0x2c(%rbp), %esi
movl $0x1, %edx
callq 0x75f0
movl %eax, %ecx
movq -0x20(%rbp), %rax
movl %ecx, (%rax)
movq -0x20(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x34(%rbp)
movq -0x20(%rbp), %rax
movl 0x10(%rax), %edi
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rsi
callq 0xb7c0
movl %eax, %ecx
movl -0x34(%rbp), %eax
addl %ecx, %eax
movl %eax, -0x2c(%rbp)
jmp 0x4764
movq -0x20(%rbp), %rax
movl $0x0, (%rax)
movq -0x20(%rbp), %rax
movl 0x10(%rax), %edi
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rsi
callq 0xb7c0
cmpl -0x2c(%rbp), %eax
jle 0x4758
movq -0x20(%rbp), %rax
movl 0x10(%rax), %edi
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rsi
callq 0xb7c0
movl %eax, -0x38(%rbp)
jmp 0x475e
movl -0x2c(%rbp), %eax
movl %eax, -0x38(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x2c(%rbp)
jmp 0x4766
movq -0x20(%rbp), %rax
movq 0x38(%rax), %rax
movq %rax, -0x20(%rbp)
jmp 0x46c6
movl -0x2c(%rbp), %ecx
movq -0x18(%rbp), %rax
movl %ecx, 0x28(%rax)
movq -0x18(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)