会议纪要 2020-04-21

形式：电话会议
与会人：
@binaryfz 
@fredchow
@TigerLuo86 
@arkcompiler 
@misaka10777 
@xuxchild 
@yi_jiang 
@ye_handong 
@shining 
@hu-_-wen
@connzhai 
@wuwei_plct
@zhangchao9
@MrTin
@yang_huan1986huawei
@evian_hill

纪要：
1、前端讨论

前端的历史版本和现状介绍

前端讨论：
mplfe架构介绍
FEIR的设计下一次会议需要详细讲解一轮。前端的共性特性可以放到一起，但是类型推导的复杂性可能导致变相引入第二个中端进来，需要把前端的能力边界设计清晰，比如当推导不完全时，需要考虑把未推导的类型放到中端。
可以通过ast2mpl、jbc2mpl、js2mpl三者的设计来分析FEIR的完善度。

FEIR引入后，曾经难解的问题是否可以简化？ 
---FEIR设计让数据流分析和控制流分析独立开来，解耦的层级比较多，类型推导做起来更为方便。

ast2mpl计划
supertest测试C通过率80%，C++通过率60%，目前关键问题是C++的std不支持，还在解决中。
supertest目前是C++11，需要知道与C++17的差距。
未来对主流的C++ benchmark需要能支持，能告诉社区参与者方舟的优势。
开源重构的计划 ---争取5月中旬能重构完，考虑在社区做ast2mpl与FECore的对接。

2、中端讨论
社区ISSUE讨论：
DSE死代码优化问题和BB判断commonEntryBB和commonExitBB整改：
https://gitee.com/harmonyos/OpenArkCompiler/issues/I1BJ7K
https://gitee.com/harmonyos/OpenArkCompiler/issues/I1ENZ9

两个问题讨论：
cfgopt触发重跑中端phase时，对于retype的reference变量，retype被删除后，构建的虚变量field ID和iread/iassign使用的field ID不一致。不利于通过Dump信息分析问题。
---关闭或调整cfgopt的位置；考虑对于不同的类型转换场景提供更合适的类似retype的OP；对于retype生成的ost，记录其retype前的类型信息，做部分类型推导工作。

hprop后重新构建Ivar时，对于final的field是否可以构建同一个Ivar。这样有利于消除冗余。
---对于相同的final field，构建其Ivar时，在Hash阶段加入对final属性的判断，以构建唯一的Ivar。

GVP 方舟编译器/OpenArkCompiler

内容风险标识

评论 (1)

GVP方舟编译器/OpenArkCompiler

内容风险标识