From 95ab32667456b13ad56634cc7554cde8a50db95a Mon Sep 17 00:00:00 2001 From: Michael Liao Date: Tue, 14 May 2013 20:34:12 +0000 Subject: 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 --- test/FileCheck/check-dag-xfails.txt | 85 +++++++++++++++++++++++++++++++++++++ test/FileCheck/check-dag.txt | 25 +++++++++++ 2 files changed, 110 insertions(+) create mode 100644 test/FileCheck/check-dag-xfails.txt create mode 100644 test/FileCheck/check-dag.txt (limited to 'test/FileCheck') diff --git a/test/FileCheck/check-dag-xfails.txt b/test/FileCheck/check-dag-xfails.txt new file mode 100644 index 0000000..3f4f98e --- /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 0000000..6325e06 --- /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]] -- cgit v1.1