【开源实习】支持easyjit拓展易用性的前端插件/Support a easy-to-use EasyJIT front-end plugin

### Issue标题：支持easyjit拓展的前端插件

【任务分值】 50分
【背景描述】 Easy-JIT是一个插件性质的基于MCJIT的开源的JIT框架，能够较为便捷地实现从C++代码直接对LLVM JIT的调用。相关特性对数据库优化、图形处理优化有较好的优化效果。相关资料：https://github.com/jmmartinez/easy-just-in-time
【需求描述】EasyJIT的接口需要多个参数传入placeholder，且需要对原函数进行改造，添加dumy参数以及相关常量的对应量。我们希望开发一个前端处理插件，使得用户能够通过简单添加#pragma指导,自动生成对easyJIT接口的调用。
举例来说：
假设我们有如下函数
```
int kernel(int x) {
    int result = 0;
    // 复杂的分支结构
    if (x > 1000) {
        for (int i = 0; i < 50; i++) {
            result += x % 7;
            x = x / 2;
        }
    } else if (x > 500) {
        for (int i = 0; i < 30; i++) {
            result += x % 5;
            x = x / 3;
        }
    } else {
        result -= result / 2;
    }
    return result;
}
//以下为伪代码
int main（）{
    ....
    for ( xxxx times) {
        int x = rand(0, 10); // get a random input
        kernel(x);
    }
    ....
}
```
此处我们认为x是一个运行时的常量，需要将kernel 函数进行JIT优化，则调用easyJIT的一般方式如下：
1. 复制函数体做为`_aot`后缀的aot函数，添加传递运行时常量的dummy参数`dummyx`
2. 在函数中添加对常量传递的指引语句 `__builtin_assume(x == dummyx);`
3. 将原函数改造为对easyJIT的调用
```
int kernel_aot(int x, int dummyx) {
    __builtin_assume(x == dummyx);
    int result = 0;
    // 复杂的分支结构
    if (x > 1000) {
        for (int i = 0; i < 50; i++) {
            result += x % 7;
            x = x / 2;
        }
    } else if (x > 500) {
        for (int i = 0; i < 30; i++) {
            result += x % 5;
            x = x / 3;
        }
    } else {
        result -= result / 2;
    }
    return result;
}

int kernel(int x) {
    static easy::Cache<> C;
    auto const &kernel_jit = C.jit(kernel_aot, _1, x);
    return kernel_jit(x);
}
//以下为伪代码
int main（）{
    ....
    for ( xxxx times) {
        int x = rand(0, 10); // get a random input
        kernel(x);
    }
    ....
}
```

我们希望上述案例中，对easyJIT的接口适配能够通过一个前端插件实现，即，如果我们再原函数中使用pragma或者类似手段标注运行时常量后，能够自动生成相应的
1. 复制函数体做为`_aot`后缀的aot函数，添加传递运行时常量的dummy参数`dummyx`
2. 在函数中添加对常量传递的指引语句 `__builtin_assume(x == dummyx);`
3. 将原函数改造为对easyJIT的调用
例如
```
int kernel(int x) {
    #pragma jit_const("x", "int")
    int result = 0;
    // 复杂的分支结构
    if (x > 1000) {
        for (int i = 0; i < 50; i++) {
            result += x % 7;
            x = x / 2;
        }
    } else if (x > 500) {
        for (int i = 0; i < 30; i++) {
            result += x % 5;
            x = x / 3;
        }
    } else {
        result -= result / 2;
    }
    return result;
}
```
注意上述案例是一个最简单的cache JIT的应用。我们需要支持的情况还需至少包括：
1. 函数中有多个常量的pragma定义
2. 主要支持异步编译的JIT场景（异步编译的功能有初步实现，详情请咨询导师）

【环境要求】

- CPU架构：x86_64/aarch64
- OS版本：openEuler20.03-LTS-SP1
- kernel version：4.19.90

【产出标准】

- 基于本项目dev_15.0.7 分支实现easyjit易用性前端插件
- 自带测试套测试完全通过
- 对前端插件需要进行覆盖测试，分支覆盖率85%以上

【PR提交地址】本仓库
【期望完成时间】2025-12-30（如2021-10-11）
【开发指导】请咨询导师
【导师及邮箱】@lebu26 邮箱:bule1@huawei.com
【备注】

本issue为面向高校学生的[“openEuler开源实习”](https://www.openeuler.org/zh/internship/ )项目的任务，非参加该项目的人员勿领。

openEuler/llvm-project

内容风险标识

评论 (9)

openEuler/llvm-project .gitee-modal { width: 500px !important; }

内容风险标识