建立小组：实现一个简单的programing language--2007/10/10更新(2楼)

M.I.X

首先声明,本人水平有限,各位高手请多指点,如果谁能组织的话就更好,如果没时间的话,就多给些意见和建议吧.我相信CU有很多这方面的高手,我只是希望大家一起来做点事.

我是一直对language很感兴趣，其实很多人都和我一样，只是有时候兴趣不能当生活，但不管怎样，做一件事不需要太多理由.

我的想法是先做一个简单的编译型language, 类C语言,哪怕丑陋点没关系,主要是能出一个完整的.最终目标现在还不敢说,否则就有点YY了 ,先做好这个练习版.

源代码-->中间代码-->机器代码(或虚拟机执行)

模块组成主要是生成中间代码和编译执行2部分,主要有几点零碎的想法:

1、倾向于编译成机器代码，前期可以使用虚拟机，可能简单一些；
2、编写的代码时将与平台无关，由编译器或虚拟机屏蔽OS的差异；
3、可以考虑做成GCC前端，但中间代码部分不能少，即在原中间代码基础上生成GCC中间代码；
4、没有指针;
5、支持的数据类型byte(1B), char(2B), short(2B), int(4B), long(8B), float(4B), double(8B),bool(false/true),string;
6、支持的关键字: break, continue, do, while, if, else, for, static, return, struct

大家抒发已见，或者有什么好的提意? 感兴趣的可以跟贴报名啊。



目前参加人员(1):
M.I.X

[ 本帖最后由 M.I.X 于 2007-10-11 10:16 编辑 ]

M.I.X

2007/09/23 万里长征第一步 lex-yacc文件，附带工具和简单测试代码
1、下一步工作建立符号表(初步完成--2007/10/10)
     目前不支持struct和enum,只是完成初步的符号表存储
2、下一步进行语义的检测，需要进行二次扫描(2007/10/10--至--未定)

[ 本帖最后由 M.I.X 于 2007-10-10 20:42 编辑 ]

MMMIX

原帖由 M.I.X 于 2007-9-21 16:41 发表
首先声明,本人水平有限,各位高手请多指点,如果谁能组织的话就更好,如果没时间的话,就多给些意见和建议吧.我相信CU有很多这方面的高手,我只是希望大家一起来做点事.

我是一直对language很感兴趣，其实很多人都 ...

你先做个雏形出来吧.

evaspring

经常有些小鬼叫着要做什么,但只是说说而已....

prolj

原帖由 evaspring 于 2007-9-23 09:12 发表
经常有些小鬼叫着要做什么,但只是说说而已....

拍照留念

广告招租位

那就请M.I.X兄弟先做一个雏形出来吧，你要设计语言就要先定义语法，先把什么BNF范式写出来，再转化为代码就简单多了。
放心，你的问题组织上会很好解决的。

evaspring大师怎能见小鬼于水火之中而无动于衷呢？强烈建议evaspring大虾带领此项目。

prolj

原帖由 M.I.X 于 2007-9-21 16:52 发表
先占个位子
以备后用

可以转让你这个位子吗？我给你一分。

有兴趣学习Compiler的话，看看mik的a64，看看lcc，看看gcc。大家可以交流交流。
至于做什么，还是先打好基础了再说。
再说，做就要做能被广泛使用的。清华计组老师相当牛，带着学生搞CPU，达到XXXXX水平了。可最后老师无奈的讲了一句话，咱这个项目唯一的好处就是锻炼了队伍。

mik

写一个实用的高级语言complier要有精力、时间和热忱。至于有没有能力这不重要，可以边搞边学。
如果有了这个心理准备，LZ 祝你好运

M.I.X

原帖由 evaspring 于 2007-9-23 09:12 发表
经常有些小鬼叫着要做什么,但只是说说而已....

如果我告诉你我在大学里没有学过编译原理，
说这样的话就更可以理解了。

[ 本帖最后由 M.I.X 于 2007-9-27 22:10 编辑 ]

DennisRitchie

楼主加我一个吧，我也有这个梦想。

M.I.X

上次附件有问题，已经重新更新了一下。
下面是初步确定使用的符号表的一些结构定义，代码目前还没有完成。

1. 
   
2. 
   
3. typedef enum {StmtT, ExprT} NodeType;
   
4. 
   
5. typedef enum {VariableT, ParameterT, ConstantT, AssignT, FunctionT, CallT, LabelT, IfT, ElseT, ForT, WhileT, DoWhileT, GotoT, ContinueT, BreakT, ReturnT} StmtType;
   
6. 
   
7. typedef enum {OperT, ConstT, IdT,ValueT} ExprType;
   
8. 
   
9. typedef enum {ByteT, CharT, ShortT, IntT, LongT, FloatT, DoubleT, BoolT, StringT, StructT, ClassT, VoidT} DataType;
   
10. 
    
11. typedef enum
    
12. {
    
13.         OP_ASSIGN,
    
14.         OP_EQ,
    
15.         OP_NE,
    
16.         OP_LT,
    
17.         OP_GT,
    
18.         OP_LE,
    
19.         OP_GE,
    
20.         OP_AND,
    
21.         OP_OR,
    
22.         OP_ADD,
    
23.         OP_SUB,
    
24.         OP_MUL,
    
25.         OP_DIV,
    
26.         OP_MOD,       
    
27.         OP_ADD_ASSIGN,
    
28.         OP_SUB_ASSIGN,
    
29.         OP_MUL_ASSIGN,
    
30.         OP_DIV_ASSIGN,
    
31.         OP_MOD_ASSIGN,
    
32.         OP_AND_ASSIGN,
    
33.         OP_XOR_ASSIGN,
    
34.         OP_OR_ASSIGN
    
35. 
    
36. } OpType;
    
37. 
    
38. struct Symbol
    
39. {
    
40.         char* name;
    
41.         int lineno;
    
42.         NodeType nodetype;
    
43.         union
    
44.         {
    
45.                 StmtType stmt;
    
46.                 ExprType expr;
    
47.         } symtype;
    
48.        
    
49.         ValueType valuetype;
    
50.         union
    
51.         {
    
52.                 OpType opval;
    
53.                 char byteval;
    
54.                 short charval;
    
55.                 short shortval;
    
56.                 int intval;
    
57.                 int64 longval;
    
58.                 float floatval;
    
59.                 double doubleval;
    
60.                 int boolval;
    
61.                 char * stringval;
    
62.                 void * structval;       
    
63.         } value;
    
64.        
    
65.        
    
66.         int    size;
    
67.         int    bitsize;
    
68.         int    boundary;
    
69.         int    bitbdary;
    
70.         DataType type;
    
71.         DataType basetype;
    
72.         DataType machtype;
    
73.         int nelts : 0;
    
74. 
    
75. };
    
76. 
    
77. typedef struct Symrec Symrec ;
    
78. struct Symrec
    
79. {
    
80.         Symbol node;
    
81.         Symrec* child[MAX_CHILD];
    
82.         Symrec* next;
    
83. };
    
84. 
    
85. 
    
86. struct Symtable
    
87. {
    
88.         Symtable * tables;
    
89.         Symrec * symrec;
    
90. };
    

复制代码