ocelot:Ocelot代码和基准的公共回购

【文件属性】：

文件名称：ocelot:Ocelot代码和基准的公共回购

文件大小：95KB

文件格式：ZIP

更新时间：2024-04-20 00:05:46

LLVM

基准文件夹包含基准的锈源代码。 子文件夹的标题为包含的应用程序的名称，每个子文件夹都有以下文件： unaltered.rs-未经修饰的锈应用程序代码 annotated.rs-一个版本，其中添加了新的且一致的注释，并添加了注释，这些内容指示推断区域的边界将到达的位置（到最近的源代码行，因为区域是在IR级别推断的，并且可能位于例如基本的循环锁存器中）要快速找到注释，请搜索“ Fresh”，“ Consistent”或“ FreshConsistent”（在变量同时具有两个约束时使用）。 要查找标记区域边界的注释，请搜索“推断”。 _post.ll-区域推断和日志记录代码检测之后，程序的LLVM IR表示形式。 搜索“ atomic_start”或“ atomic_end”以分别查看开始和结束的区域。 readme.md-对基准和注释强制实施的时间限制的简短描

【文件预览】：
ocelot-master
----benchmarks()
--------greenhouse()
--------photo_sense_send()
--------tire()
--------cem()
--------activity()
--------photo_sense()
----readme.md(1KB)