diff options
| author | Michael Liao <michael.liao@intel.com> | 2013-05-14 20:34:12 +0000 |
|---|---|---|
| committer | Michael Liao <michael.liao@intel.com> | 2013-05-14 20:34:12 +0000 |
| commit | 95ab32667456b13ad56634cc7554cde8a50db95a (patch) | |
| tree | a966f4d3d6099b49d2bb57ad6b7f23c24d1ffe6f /test/FileCheck | |
| parent | 7efbbd61eb0aa85ec189db8f02c85ad9078946e9 (diff) | |
| download | llvm-95ab32667456b13ad56634cc7554cde8a50db95a.tar.gz llvm-95ab32667456b13ad56634cc7554cde8a50db95a.tar.bz2 llvm-95ab32667456b13ad56634cc7554cde8a50db95a.tar.xz | |
Add 'CHECK-DAG' support
Refer to 'FileCheck.rst'f for details of 'CHECK-DAG'.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181827 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/FileCheck')
| -rw-r--r-- | test/FileCheck/check-dag-xfails.txt | 85 | ||||
| -rw-r--r-- | test/FileCheck/check-dag.txt | 25 |
2 files changed, 110 insertions, 0 deletions
diff --git a/test/FileCheck/check-dag-xfails.txt b/test/FileCheck/check-dag-xfails.txt new file mode 100644 index 0000000000..3f4f98e348 --- /dev/null +++ b/test/FileCheck/check-dag-xfails.txt @@ -0,0 +1,85 @@ +; RUN: not FileCheck -check-prefix=X1 -input-file %s %s +; RUN: not FileCheck -check-prefix=X2 -input-file %s %s +; RUN: not FileCheck -check-prefix=X3 -input-file %s %s +; RUN: not FileCheck -check-prefix=X4 -input-file %s %s +; RUN: not FileCheck -check-prefix=X5 -input-file %s %s +; RUN: not FileCheck -check-prefix=X6 -input-file %s %s + +__x1 +add r10, r1, r2 +add r11, r3, r4 +mul r5, r10, r12 +__x1 + +; X1: __x1 +; X1-DAG: add [[REG1:r[0-9]+]], r1, r2 +; X1-DAG: add [[REG2:r[0-9]+]], r3, r4 +; X1: mul r5, [[REG1]], [[REG2]] +; X1: __x1 + +__x2 +mul r11, r3, r4 +mul r10, r1, r2 +add r5, r11, r11 +__x2 + +; X2: __x2 +; X2-DAG: mul [[REG1:r[0-9]+]], r1, r2 +; X2-DAG: mul [[REG2:r[0-9]+]], r3, r4 +; X2: add r5, [[REG1]], [[REG2]] +; X2: __x2 + +__x3 +add r11, r3, r4 +add r12, r1, r2 +mul r5, r10, r11 +__x3 + +; X3: __x3 +; X3-DAG: add [[REG1:r[0-9]+]], r1, r2 +; X3-DAG: add [[REG2:r[0-9]+]], r3, r4 +; X3-DAG: mul r5, [[REG1]], [[REG2]] +; X3: __x3 + +__x4 +add r11, r3, r4 +add r12, r1, r2 +not +mul r5, r12, r11 +__x4 + +; X4: __x4 +; X4-DAG: add [[REG1:r[0-9]+]], r1, r2 +; X4-DAG: add [[REG2:r[0-9]+]], r3, r4 +; X4-NOT: not +; X4-DAG: mul r5, [[REG1]], [[REG2]] +; X4: __x4 + +__x5 +mul r5, r12, r11 +add r11, r3, r4 +add r12, r1, r2 +not +__x5 + +; X5: __x5 +; X5-DAG: add [[REG1:r[0-9]+]], r1, r2 +; X5-DAG: add [[REG2:r[0-9]+]], r3, r4 +; X5-NOT: not +; X5-DAG: mul r5, [[REG1]], [[REG2]] +; X5: __x5 + +__x6 +add r11, r3, r4 +mul r6, r12, r11 +add r12, r1, r2 +mul r5, r12, r11 +__x6 + +; X6: __x6 +; X6-DAG: add [[REG1:r[0-9]+]], r1, r2 +; X6-DAG: add [[REG2:r[0-9]+]], r3, r4 +; X6-NOT: not +; X6-DAG: mul r5, [[REG1]], [[REG2]] +; X6-DAG: mul r6, [[REG1]], [[REG2]] +; X6: __x6 diff --git a/test/FileCheck/check-dag.txt b/test/FileCheck/check-dag.txt new file mode 100644 index 0000000000..6325e06e5a --- /dev/null +++ b/test/FileCheck/check-dag.txt @@ -0,0 +1,25 @@ +; RUN: FileCheck -input-file %s %s + +add r10, r1, r2 +add r11, r3, r4 +mul r5, r10, r11 + +mul r11, r3, r4 +mul r10, r1, r2 +add r5, r10, r11 + +add r11, r3, r4 +add r10, r1, r2 +mul r5, r10, r11 + +; CHECK-DAG: add [[REG1:r[0-9]+]], r1, r2 +; CHECK-DAG: add [[REG2:r[0-9]+]], r3, r4 +; CHECK: mul r5, [[REG1]], [[REG2]] + +; CHECK-DAG: mul [[REG1:r[0-9]+]], r1, r2 +; CHECK-DAG: mul [[REG2:r[0-9]+]], r3, r4 +; CHECK: add r5, [[REG1]], [[REG2]] + +; CHECK-DAG: add [[REG1:r[0-9]+]], r1, r2 +; CHECK-DAG: add [[REG2:r[0-9]+]], r3, r4 +; CHECK-DAG: mul r5, [[REG1]], [[REG2]] |