4

我正在为 LLVM 编译器开发一个新的后端。后端运行良好，但我到达了一个我想验证代码生成器是否正常运行的地步。我有一个可用的处理器模拟器，它非常准确，我想用它来进行验证。

使用 LLVM-lit 对我来说似乎不是一个好的选择，因为无法将模拟器集成到测试过程中。

目前我的测试策略包括编写测试程序，我尝试使用这些程序检查尽可能多的语句。以下是检查算术的示例。

c = a + a;          
if (c != 6) return 4;
c = a + a + a;      
if (c != 9) return 5;
// etc

我已经注意到很难找到尽可能多的极端案例。

这是验证代码生成器的聪明方法吗？如果是这样，是否有人知道包含此类测试的现有项目？

4

2 回答 2

3

您可以通过制作您自己的带有附加定义的 lit.cfg 脚本来做您想做的事。例如，我为我的项目ELLCC的不同目标交叉构建东西。我使用 QEMU 运行测试。我修改后的 lit.site.cfg 的一部分看起来像：

config.substitutions.append( ('%microblazeecc', ' ' + config.ecc + ' ' +
                            '-target microblaze-ellcc-linux ') )
config.substitutions.append( ('%microblazeexx', ' ' + config.ecc + '++ ' +
                            '-target microblaze-ellcc-linux ') )
config.substitutions.append( ('%microblazerun', ' ' + ellcc + '/bin/qemu-microblaze ') )

一个典型的测试用例如下所示：

// Compile and run for every target.
// RUN: %armexx -o %t %s && %armrun %t  | FileCheck -check-prefix=CHECK %s
// RUN: %armebexx -o %t %s && %armebrun %t | FileCheck -check-prefix=CHECK %s
// RUN: %i386exx -o %t %s && %i386run %t | FileCheck -check-prefix=CHECK %s
// RUN: %microblazeexx -o %t %s && %microblazerun %t | FileCheck -check-prefix=CHECK %s
// RUN: %mipsexx -o %t %s && %mipsrun %t | FileCheck -check-prefix=CHECK %s
// RUN: %mipselexx -o %t %s && %mipselrun %t | FileCheck -check-prefix=CHECK %s
// RUN: %ppcexx -o %t %s && %ppcrun %t | FileCheck -check-prefix=CHECK %s
// FAIL: %ppc64exx -o %t %s && %ppc64run %t | FileCheck -check-prefix=CHECK %s
// RUN: %x86_64exx -o %t %s && %x86_64run %t | FileCheck -check-prefix=CHECK %s
// CHECK: foo.i = 10
// CHECK: bye
#include <cstdio>

class Foo {
    int i;
public:
    Foo(int i) : i(i) { }
    int get() { return i; }
    ~Foo() { printf("bye\n"); }
};

int main(int argc, char** argv)
{
    Foo foo(10);
    printf("foo.i = %d\n", foo.get());
}

您可以使用 FileCheck 来查找您感兴趣的输出。

于 2013-10-28T11:53:14.427 回答
1

您可能想看一下LLVM 测试套件- 一组“完整程序”，首先使用本地平台编译器（例如gcc）编译，然后使用 LLVM 并比较结果。

因此，如果您的 CPU 已经有一些能够为其生成代码的编译器，那么这是一个不错的选择。如果没有，您可以对其进行装配，以便在您的开发机器上生成预期的输出，并将其与后端编译的代码生成的输出进行比较。

于 2013-10-27T21:05:15.933 回答