HCDFG-Ⅱ—面向C语言系统描述的控制/数据流图表示
作者单位:清华大学计算机科学与技术系
会议名称:《全国第13届计算机辅助设计与图形学(CAD/CG)学术会议》
会议日期:2004年
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:国家“九七三”重点基础研究发展规划(G1998030403) 国家自然科学基金(90207017) 国家“八六三”高技术研究发展计划(2003AA115110)
摘 要:本文介绍了基于C语言系统描述的面向软硬件划分的一种中间表示,层次化控制/数据流图HCDFG-Ⅱ及其转换方法。HCDFG-Ⅱ根据C语言的特点对HCDFG进行了扩充,通过引入内存访问结点来表示和处理C程序中的数组及指针,通过定义并发结构来表示C程序中的可并发部分。同时,由于HCDFG-Ⅱ采用以控制流为主的结构,从C语言进行转换十分容易,这使得它能有效的用于C语言系统描述的中间表示,并为软硬件划分提供了更加精确的信息。