sunshaoce / rvcc-course Goto Github PK

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

{
    // Use IntelliSense to learn about possible attributes.
    // Hover to view descriptions of existing attributes.
    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
    "version": "0.2.0",
    "configurations": [
        {
            "type": "cppdbg",
            "request": "launch",
            "name": "Debug",
            "program": "${workspaceFolder}/rvcc",
            "args": [
                "1-8/(2*2)+3*6"
            ],
            "environment": [
                {
                    "name": "config",
                    "value": "Debug"
                }
            ],
            "cwd": "${workspaceFolder}",
            "linux": {
                "MIMode": "gdb",
                "miDebuggerPath": "/usr/bin/gdb"
            },
            "osx": {
                "MIMode": "lldb"
            },
            "windows": {
              "MIMode": "gdb",
              "miDebuggerPath": "C:\\MinGw\\bin\\gdb.exe"
            }
        }
    ]
}

args修改为需要执行的参数

以上配置仅在macOS 12.5下经过测试，请Windows用户自行安装MinGw或使用其他方式

参考文档：https://code.visualstudio.com/docs/cpp/launch-json-reference

1. 在 .vscode 文件夹里新建一个 settings.json。
2. 将下面的参数贴进去，就相当于命令行输入参数 42。

{
    "cmake.debugConfig": {
        "args": [
            "42"
        ]
    }
}

3. 重新执行 cmake。
4. 添加断点，直接点小甲虫图标，就可以debug了。

Question.pdf

https://github.com/sunshaoce/rvcc/blob/37f8a4fc34f8b3a805bb927dfb20feb8d3b8530d/codegen.c#L73

// neg a0, a0是 sub a0, x0的别名, a0，即a0=0-a0
应该为
// neg a0, a0是 sub a0, x0, a0的别名，即a0=0-a0

1. project(rvcc) 没有写 language，默认的 language 是 C CXX（见 文档 的 LANGUAGES 一节），而这个项目应该只会用到 c 语言，所以可以改为 project(rvcc C)
2. SET( CMAKE_C_FLAGS "-std=c11 -g -fno-common" ) 有两处可以改进的地方，一个是 set 可以改为小写，和其它地方（project、add_executable 等）大小写统一，一个是可以重写为 target-based 的 modern cmake 风格：target_compile_options(rvcc PRIVATE -std=c11 -g -fno-common)，如果后期 target 变多，逐个 target 设置不方便，可以改为使用 add_compile_options 设置全局的 flags，也比直接设置 CMAKE_C_FLAGS 要更现代一些

在commit 44 处理代码块域中, rvcc是不支持一个作用域中同名标识符声明的冲突检测的, 比如下列情况可以正常运行

  ASSERT(4, ({ int x=2; int x = 4;{ int x=3; } int y=4; x; }));

我往后看写一些(只看了一点), 没看到这个问题的解决

不过我想这个只需要在当前的scope中遍历下是否声明过就能解决, 所以觉得应该是作者故意这么写的