sunshaoce / rvcc Goto Github PK

第25个commit, 零参数的函数定义中函数语法是这样给出的
// functionDefinition = declspec declarator? ident "(" ")" "{" compoundStmt*
然后declarator的语法要求必须有标识符的
// declarator = "" ident typeSuffix
这样一个函数声明就有两个标识符了
另外functionDefinition 中对declarator 标记了"?",然后function函数实现中, 逻辑中要求必须有declarator
函数实现的语法 应该是 // functionDefinition = declspec declarator"{" compoundStmt*

// foo.h

struct foo {
  float f;
  union { int x; };
};

int foo(struct foo);

// foo.c

#include "foo.h"

int foo(struct foo in) {
  return in.x;
}

// test.c

#include "foo.h"

int printf(const char *, ... );

int main() {
  printf("%d\n", foo((struct foo){1, 2}));
  return 0;
}

当使用rvcc与gcc混合编译时

./rvcc foo.c -S -o foo.s
riscv64-unknown-linux-gnu-gcc foo.s test.c
qemu-riscv64 a.out # print 0

使用gcc编译

riscv64-unknown-linux-gnu-gcc foo.c test.c
qemu-riscv64 a.out # print 2

rvcc的调用约定对union的处理是错误的。标准中没有要求对不超过8字节的union特殊处理。

请参考

stage2/rvcc 是riscv版本的，于是只能在qemu上运行，但是运行起来后会有奇怪的报错信息，例如：

stage2/rvcc: 1: ELF��@�8: not found
stage2/rvcc: 3: Syntax error: "(" unexpected

猜测可能是fork-exec模型的问题。执行execvp函数后把qemu也覆盖掉了，然后尝试直接在x86环境下运行riscv版本的rvcc导致的错误。如果不去执行fork-exec，例如只是用--help打印信息就能正常在qemu里运行stage2/rvcc并退出。