UCC

全部文章近期文章热门文章标签简介

【UCC】内容共 27 条

原创 UCC编译器学习笔记11

语义检查就是建立成最完善的类型系统，这些类型是我们能读懂的信息了。而被声明的标识符的类型信息正好是分布在 DeclarationSpecifiers 和 Declarator 中，通过调用第 29 或 46 行的 DeriveType函数，会把这两部分的...

UCC编译器学习

语义分析

语法树

#define

阅读 0 评论 0 点赞 0

biao2488890051 22 天前
原创 UCC编译器学习笔记9

语法分析和语义分析，就是把整个程序给结构体化了，就是通过大大小小的不同结构体，把程序的信息给装起来了，结构体里面的每个成员代表一个小的信息。typedef struct type{TYPE_COMMON} *Type;中的struct type *bty;...

UCC编译器学习

语义分析

语法分析

指针变量

阅读 0 评论 0 点赞 0

biao2488890051 22 天前
原创 UCC编译器学习笔记8

语法检测是根据文法进行检测的语义检查就是根据语义规则进行检查的（比如两个类型是否可以相互转换），这个语义规则文档，就是<http://flash-gordon.me.uk/ansi.c.txt>语义检查过程中，会对相应的语法树节点进...

UCC编译器学习

结点

语法树

数组

阅读 0 评论 0 点赞 0

biao2488890051 22 天前
原创 UCC编译器学习笔记7

库函数 printf()的代码在我们编写上述 hello.c 时就已经存在，这意味着被调函数 printf 其实并不知道我们在调用它时，到底传递了几个实参。对 printf 而言，它只是按照格式化字符串的说明，从栈中取出相应的参数，...

c语言

开发语言

UCC编译器学习

c++

类型系统

阅读 0 评论 0 点赞 0

biao2488890051 22 天前
原创 UCC编译器学习笔记12

assert函数/***********************************************************assert(sym->kind == SK_TypedefName);(void)((e)||_assert(#e, __FILE__, __LINE__))(void)((sym->kind == SK_TypedefName)||_asser...

UCC编译器源码学习

不执行

#define

ide

阅读 0 评论 0 点赞 0

biao2488890051 22 天前
原创 UCC编译器学习笔记1

其实语法分析，就是对每一种语句（穷举），都要用一个结构体，进行精确全面描述出来。里面的任意一个token，比如标识符名字“a”，在词法分析阶段，只存在一份实体，因此两个token是否名字相同，只需要判断它们的地...

编译器源码

UCC源码学习

好用

x86汇编

arm汇编

阅读 0 评论 0 点赞 0

biao2488890051 25 天前
原创 UCC编译器学习笔记6

文法构成，三大基本单元：声明 Declaration、语句 Statement 和表达式 Expression由于文法产生式中，其实是包含了一些不符合真正语法规则的形式（也就是真正正确的程序是文法定义的程序的子集），因此需要来一次语义...

UCC编译器学习

语义检查

语法规则

阅读 0 评论 0 点赞 0

biao2488890051 25 天前
原创 UCC编译器学习笔记5

* declarator: * pointer declarator * direct-declarator * * direct-declarator: * ID * ( declarator ) * direct-declarator [ [constant-expression] ] * direct-declarator ( parameter-ty...

UCC编译器学习

ide

字符串

c语言

阅读 0 评论 0 点赞 0

biao2488890051 25 天前
原创 UCC编译器学习笔记2

表达式构成一颗语法树（就是把程序中的信息（其实就是很多个信息结构体，关于如何设置结构体，那么就是看最基本的信息单元呗）组织串起来，运算符总是中心节点，代表一个结果值），例如expression：a,b,c其中express...

编译器学习

UCC编译器

结合性

递归

语法树

阅读 0 评论 0 点赞 0

biao2488890051 25 天前
原创 UCC编译器学习笔记3

编译器中采用了结构体继承的思路（然后在各自的结构体中添加自己独特成员），因此，一个链表中，会存在不同类型的结构体。继承原理如下：那到底有多少种不同的结构体类型呢，由kind成员标记，如下：文法中最重要的部...

UCC编译器学习

链表

编译器

语法树

阅读 0 评论 0 点赞 0

biao2488890051 25 天前
原创 UCC编译器学习笔记4

我们需要对 ucl\decl.c 的其他代码进行分析，才能更好理解图 3.3.4 和图 3.3.7 的语法树是如何构造出来的。这里可能有个问题，程序的原作者在编程时，在其脑海中就已经有其要构造的语法树的整体轮廓；但是，程序的...

UCC编译器学习

语法树

标识符

赋值

阅读 0 评论 0 点赞 0

biao2488890051 24 天前
原创 UCC编译器学习笔记10

编译器如何实现遇到编译错误后，能继续往下编译，这样能在一次编译中尽可能找出所有错误，给报出来，这样程序员可以一次性修改这些错误了，如下：if (! IsIntegType(swtchStmt->expr->ty)){Error(&stmt-&g...

UCC编译器学习

语义检查

编译器

整型

阅读 0 评论 0 点赞 0

biao2488890051 16 天前
原创 UCC编译器学习笔记18

我们再分析条件表达式的翻译，以下给出了一段 C 程序及其对应的中间代码，我们生成临时一个临时变量 t0 用来存放 b+2 或 b+3 的值，然后再把 t0 赋值给变量 c。/*************************************************...

UCC编译器源码学习

局部变量

中间代码

数组

阅读 0 评论 0 点赞 0

biao2488890051 16 天前
原创 UCC编译器学习笔记19

switch case语句和if else语句到底有什么区别：switch case语句要求case后必须是常量，因此要求更为严格，但是该语句的执行效率最高，可以认为在O（1）时间匹配到目标分支执行。这是为什么呢，看下面switch (a)case ...

UCC编译器源码学习

编译器

switch语句

链表

阅读 0 评论 0 点赞 0

biao2488890051 16 天前
原创 UCC编译器学习笔记16

方案2中，无论a为真还是假，都只需要跳转一次，但是方案1不是，因此UCC编译器选的是第二种中间代码生成方案。这个其实是个模板，就是待判断的表达式为真，则跳转到F2，否则顺序执行块会跳到Next2块。其实指令的执行...

UCC编译器源码学习

中间代码

数组元素

编译器

阅读 0 评论 0 点赞 0

biao2488890051 16 天前
原创 UCC编译器学习笔记20

UCC 编译器内部用英文单词 generate 来表示中间代码的生成，而用 emit 来表示汇编代码的生成，这里我们统一翻译为“生成”。第 30 至 34 行的代码用于保存寄存器的值，第 35 行用于在栈空间中预留内存空间，用来存...

UCC编译器源码学习

寄存器

局部变量

汇编指令

阅读 0 评论 0 点赞 0

biao2488890051 16 天前
原创 UCC编译器学习笔记17

UCC在处理数组和结构体成员的时候，都是直接转为偏移值了，偏移值是以字节为单位，例如：int (*ptr)[4] = &arr;(*ptr)[2] ---> ptr[0][8] -----> (ptr, 8)ptr 是指向 int[4]数组的指针， C 程序员通过(*pt...

UCC编译器源码学习

数组

编译器

数组名

阅读 0 评论 0 点赞 0

biao2488890051 16 天前
原创 UCC编译器学习笔记13

我们来思考个问题：int a;int a[3][4];假如有两个定义，现在我们要想描述出标识符a的类型信息，我们会怎么做呢，对于第一句代码：下面的Type类型中的categ置为一个数，即可表明它的类型了。对于第二句代码：a不仅需...

UCC编译器源码学习

标识符

复合类型

函数实现

阅读 0 评论 0 点赞 0

biao2488890051 16 天前
原创 UCC编译器学习笔记15

关于结构体中，位域成员的赋值原理：struct PTE{int offset : 12;int pgNo : 20;}struct PTE pte = {64,3};给pte赋值，其实就是 (3<<12) | 64原理：由于struct PTE占32位，3想赋值给第二个成员，而64想赋值给...

UCC编译器源码学习

基本块

赋值

控制流

阅读 0 评论 0 点赞 0

biao2488890051 16 天前