×

CompCert编译器目标代码生成机制研究综述

消耗积分:0 | 格式:pdf | 大小:1.44 MB | 2021-05-07

分享资料个

　　CompCert是著名的C语言可信编译器，是经过形式化验证的编译器的杰出代表，近年来被广泛应用于学术界和工业界的许多研发工作中。 Compcert编译器的当前版本支持多种目标机结构。文中对 Compcert编译器目标代码生成机制进行剖析，主要介绍其设计逻辑、翻译过程、语义保持性以及代码结构，并给出了 Compcert编译器重定向设计的要点。文中工作有助于实现 Compcert重定向，比如实现面向重要国产处理器的后端。

下载并关注上传者 开通VIP，低至0.08元下载/次

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !