基于某DAG地基本块优化.doc

基于某DAG地基本块优化.doc

《基于某DAG地基本块优化.doc》由会员分享，可在线阅读，更多相关《基于某DAG地基本块优化.doc（15页珍藏版）》请在冰豆网上搜索。

实用文档文案大全基于基于DAG的基本块优化的基本块优化11实验目的与任务实验目的与任务了解基本块的DAG表示及其应用，掌握局部优化的基本方法。

22实验要求实验要求设计一个转换程序，把由四元式序列表示的基本块转换为DAG，并在构造DAG的过程中，进行合并已知量、删除无用赋值及删除公共子表达式等局部优化处理。

最后再从所得到的DAG出发，按原来生成DAG各个结点的顺序，重建四元式序列形式的基本块。

33实验内容实验内容

（1）DAG的结点类型只考虑0型、1型和2型，如下表所示。

（2）由基本块构造DAG算法如下：

while（基本块中还有未处理过的四元式）取下一个四元式Q;newleft=newright=0;if（getnode（B）=NULL）makeleaf（B）;newleft=1;switch（Q的类型）case0:

n=getnode（B）;insertidset（n，A）;break;case1:

if（isconsnode（B）p=calcons（Q.op，B）;if（newleft=1）/*getnode（B）是处理Q时新建结点*/delnode（B）;if（n=getnode（p）=NULL）makeleaf（p）;类型四元式DAG结点0型（=，B，A）AB1型（op，B，A）op2型（op，B，C，A）（=，B，C，A）（jrop，B，C，A）BC=312BCrop312BCop312实用文档文案大全n=getnode（p）；elseif（n=findnode（Q.op，B）=NULL）n=makenode（Q.op，B）;insertidset（n，A）;break;case2:

if（getnode（C）=NULL）makeleaf（C）;newright=1;if（isconsnode（B）&isconsnode（C）p=calcons（Q.op，B，C）;if（newleft=1）/*getnode（B）是处理Q时新建结点*/delnode（B）;if（newright=1）/*getnode（C）是处理Q时新建结点*/delnode（C）;if（n=getnode（p）=NULL）makeleaf（p）;n=getnode（p）；elseif（n=findnode（Q.op，B，C）=NULL）n=makenode（Q.op，B，C）;insertidset（n，A）;break;上述算法中应设置如下的函数：

getnode（B）：

返回B（可以是标记或附加信息）在当前DAG中对应的结点号。

makeleaf（B）：

构造标记为B的叶子结点。

isconsnode（B）：

检查B对应的结点是否为标记为常数的叶子结点。

calcons（Q.op，B）：

计算opB的值（即合并已知量）。

它的另一种调用形式是calcons（Q.op，B，C）：

计算BopC的值。

delnode（B）：

删除B（结点的标记）在当前DAG中对应的结点。

findnode（Q.op，B）：

在当前DAG中查找并返回这样的结点：

标记为op，后继为getnode（B）（即查找公共子表达式opB）。

它的另一种调用形式是findnode（Q.op，B，C）（即查找公共子表达式BopC）。

实用文档文案大全makenode（Q.op，B，C）：

构造并返回标记为op，左右后继分别为getnode（B）、getnode（C）的内部结点。

insertidset（n，A）：

若getnode（A）=NULL，则把A附加到结点n；否则，若A在getnode（A）的附加标识符集中，且getnode（A）无前驱或虽有前驱但getnode（A）附加标识符集中符号数大于1，则把A从getnode（A）的附加标识符集中删除（即删除无用赋值）。

请实现上述基本块的DAG构造算法，并添加从所得DAG按原来生成DAG各个结点的顺序，重建四元式序列的功能。

（3）测试用例用下面的基本块作为输入：

（1）T1=A*B

（2）T2=3/2（3）T3=T1T2（4）X=T3（5）C=5（6）T4=A*B（7）C=2（8）T5=18+C（9）T6=T4*T5（10）Y=T6基本块的DAG如下：

按生成DAG各个结点的顺序，重建四元式序列如下：

（1）T1=A*B

（2）T2=1.5（3）T3=T11.5（4）X=T3（5）T4=T1（6）C=2（7）T5=20（8）T6=T1*20（9）Y=T6*-T1,T4T3,XT6,YAB1.52052T2T5C实用文档文案大全Code.txt文件内容T1=A*BT2=3/2T3=T1T2X=T3C=5T4=A*BC=2T5=18+CT6=T4*T5Y=T6#include#include#include#include/*functionansdatastatement*/#defineMAXN5/*符号或变量最大长度*/*结点类型*/typedefstructnodeintiscons;/*0-无1-整型2-浮点*/intval_int;/*整型值*/doubleval_float;/*浮点值*/intidnum;/*变量的个数*/charidMAXNMAXN;/*变量0valnum-1*/charopMAXN;/*结点操作*/intleft,right;/*左右节点*/DAGNODE;#defineMAXNN20/*DAG最大结点数目*/实用文档文案大全/*DAG*/typedefstructmnodeintnum;/*结点个数*/DAGNODEnodeMAXNN;/*结点内容1NUM*/DAG;/*四元式Quaternion*/typedefstructsnodeinttype;/*类型012*/charopMAXN;/*操作*/charop1MAXN;/*操作数1*/charop2MAXN;/*操作数2*/charansMAXN;/*结果*/QUA;voidinit（）;/*初始化函数*/boolgetqua（QUA*qua）;/*获取一个四元式*/intisnums（char*val）;/*检测字符串是否是数字串0标识符1整型数串2浮点数串*/voidmakeleaf（DAGNODE*n,charval）;/*构造叶子结点*/voidmakenode（DAGNODE*n,charop,intleft,intright）;/*构造中间结点*/intgetnode（DAGdag,charvar）;/*获取var所在结点号*/intfind1node（DAGdag,charop1,charop）;/*查找已有的表达式1*/intfind2node（DAGdag,charop1,charop2,charop）;/*查找已知表达式2*/char*isconsnode（DAGdag,charid）;/*是否是常数结点的id*/voiddelnode（DAG*dag,intnum）;/*删除结点num*/voiddelid（DAG*dag,intnum）;/*删除某节点的Id*/voidcopynode（DAGNODE*to,DAGNODEfrom）;/*复制结点值*/voidinsertvar（DAG*dag,intnoden,charvar）;/*将值var附加在noden结点*/intinsertnode（DAG*dag,DAGNODEdagn）;/*将结点插入DAG*/char*calcons1（charop,charop1）;/*计算opop1的运算值*/char*calcons2（charop,charop1,charop2）;/*op1opop2*/voidmakeDAG（）;/*构造DAG*/voiddispDAG（DAGdag）;/*输出DAG*/char*getv（DAGdag,intdagn）;FILE*fp;/*文件指针，指向代码文件*/voiddispcode（）;intmain（）init（）;实用文档文案大全dispcode（）;init（）;makeDAG（）;return0;voiddispcode（）staticinti=1;QUAq;while（getqua（&q）if（q.type=0）printf（%d）%s%s%sn,i+,q.ans,q.op,q.op1）;elseif（q.type=1）printf（%d）%s=%s%sn,i+,q.ans,q.op,q.op1）;elseprintf（%d）%s=%s%s%sn,i+,q.ans,q.op1,q.op,q.op2）;/*初始化函数*/voidinit（）if（fp=fopen（code.txt,r）=NULL）printf（thecodefileisnotexisted.）;exit（0）;/*获取一个四元式*/boolgetqua（QUA*qua）intt;if（feof（fp）fclose（fp）;returnfalse;fscanf（fp,%d,&t）;fscanf（fp,%s,qua-ans）;fscanf（fp,%s,qua-op）;fscanf（fp,%s,qua-op1）;if（fgetc（fp）=n|feof（fp）strcpy（qua-op2,）;if（!

strcmp（qua-op,=）qua-type=0;if（feof（fp）fclose（fp）;returnfalse;returntrue;实用文档文案大全fscanf（fp,%s,qua-op）;if（fgetc（fp）=n|feof（fp）strcpy（qua-op2,qua-op）;strcpy（qua-op,qua-op1）;strcpy（qua-op1,qua-op2）;strcpy（qua-op2,）;qua-type=1;if（feof（fp）fclose（fp）;returnfalse;returntrue;fscanf（fp,%s,qua-op2）;qua-type=2;returntrue;intisnums（char*val）inti,flag;for（i=0;vali;i+）if（!

isdigit（vali）if（vali=.）/*浮点*/flag=2;break;flag=0;break;elseflag=1;/*整型*/returnflag;/*构造叶子结点*/voidmakeleaf（DAGNODE*n,charval）switch（isnums（val）case0:

n-iscons=0;n-val_float=0;n-val_int=0;n-idnum=1;strcpy（n-id0,val）;break;case1:

实用文档文案大全n-idnum=0;n-iscons=1;n-val_int=atoi（val）;n-val_float=0;break;case2:

n-idnum=0;n-iscons=2;n-val_int=0;n-val_float=atof（val）;break;strcpy（n-op,）;n-left=n-right=0;/*构造中间结点*/voidmakenode（DAGNODE*n,charop,intleft,intright）n-idnum=0;n-iscons=0;strcpy（n-op,op）;n-left=left;n-right=ri