一种基于LLVM框架和SMT/ILP求解的程序优化方法

本发明公开了一种基于LLVM框架和SMT/ILP求解的程序优化方法，通过中间代码生成与编译优化两阶段，实现硬件资源约束下的高效程序合成。前端划分事务语句块并优化依赖，后端通过数学建模与求解生成适配目标平台的P4代码，显著降低资源占用与调试成本，适用于可编程网络设备的程序开发。