一种面向方舟运行时的冗余计算消除方法及其系统

本发明属于编译优化技术领域，具体涉及一种面向方舟运行时的冗余计算消除方法及其系统。步骤1：在编译器依据运行时的类型信息生成的IR图中将包含副作用的代码标记为有效代码，其中整数计算后添加的合法性检查不为有效代码；步骤2：基于步骤1标注的有效代码为起点，将其调用方也标记为有效代码；步骤3：删除所有未被标记的IR结点，未被标记的IR结点即为冗余代码。本发明针对现有方法存在的无法删除JavaScript、TypeScript中冗余计算的问题。