diff llvm/test/FileCheck/check-dag-overlap-torture.txt @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/llvm/test/FileCheck/check-dag-overlap-torture.txt	Thu Feb 13 15:10:13 2020 +0900
@@ -0,0 +1,304 @@
+;---------------------------------------------------------------------
+; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
+; RUN:               -check-prefix=EndAfterEnd
+; RUN: FileCheck -input-file %s %s -check-prefix=EndAfterEnd
+
+new match end after old match end
+
+__EndAfterEnd
+(abc<mno>xyz)
+(abc<mno>xyz)
+(abc<mno>xyz  >xyz)
+(abc<mno>xyz  no>xyz)
+(abc<mno>xyz  <mno>xyz)
+(abc<mno>xyz  c<mno>xyz)
+(abc<mno>xyz  abc<mno>xyz)
+__EndAfterEnd
+
+; EndAfterEnd:      __EndAfterEnd
+
+; EndAfterEnd:      {{^}}(
+; EndAfterEnd-DAG:  <mno>
+; EndAfterEnd-DAG:  yz
+; EndAfterEnd-NOT:  {{.}}
+; EndAfterEnd-SAME: ){{$}}
+
+; EndAfterEnd:      {{^}}(
+; EndAfterEnd-DAG:  <mno>
+; EndAfterEnd-DAG:  xyz
+; EndAfterEnd-NOT:  {{.}}
+; EndAfterEnd-SAME: ){{$}}
+
+; EndAfterEnd:      {{^}}(
+; EndAfterEnd-DAG:  <mno>
+; EndAfterEnd-DAG:  >xyz
+; EndAfterEnd-NOT:  {{.}}
+; EndAfterEnd-SAME: ){{$}}
+
+; EndAfterEnd:      {{^}}(
+; EndAfterEnd-DAG:  <mno>
+; EndAfterEnd-DAG:  no>xyz
+; EndAfterEnd-NOT:  {{.}}
+; EndAfterEnd-SAME: ){{$}}
+
+; EndAfterEnd:      {{^}}(
+; EndAfterEnd-DAG:  <mno>
+; EndAfterEnd-DAG:  <mno>xyz
+; EndAfterEnd-NOT:  {{.}}
+; EndAfterEnd-SAME: ){{$}}
+
+; EndAfterEnd:      {{^}}(
+; EndAfterEnd-DAG:  <mno>
+; EndAfterEnd-DAG:  c<mno>xyz
+; EndAfterEnd-NOT:  {{.}}
+; EndAfterEnd-SAME: ){{$}}
+
+; EndAfterEnd:      {{^}}(
+; EndAfterEnd-DAG:  <mno>
+; EndAfterEnd-DAG:  abc<mno>xyz
+; EndAfterEnd-NOT:  {{.}}
+; EndAfterEnd-SAME: ){{$}}
+
+; EndAfterEnd:      __EndAfterEnd
+
+;---------------------------------------------------------------------
+; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
+; RUN:               -check-prefix=EndRightAfterEnd
+; RUN: FileCheck -input-file %s %s -check-prefix=EndRightAfterEnd
+
+new match end right after old match end
+
+__EndRightAfterEnd
+(abc<mno>xyz)
+(abc<mno>xyz  >x)
+(abc<mno>xyz  no>x)
+(abc<mno>xyz  <mno>x)
+(abc<mno>xyz  c<mno>x)
+(abc<mno>xyz  abc<mno>x)
+__EndRightAfterEnd
+
+; EndRightAfterEnd:      __EndRightAfterEnd
+
+; EndRightAfterEnd:      {{^}}(
+; EndRightAfterEnd-DAG:  <mno>
+; EndRightAfterEnd-DAG:  x
+; EndRightAfterEnd-NOT:  {{.}}
+; EndRightAfterEnd-SAME: yz){{$}}
+
+; EndRightAfterEnd:      {{^}}(
+; EndRightAfterEnd-DAG:  <mno>
+; EndRightAfterEnd-DAG:  >x
+; EndRightAfterEnd-NOT:  {{.}}
+; EndRightAfterEnd-SAME: ){{$}}
+
+; EndRightAfterEnd:      {{^}}(
+; EndRightAfterEnd-DAG:  <mno>
+; EndRightAfterEnd-DAG:  no>x
+; EndRightAfterEnd-NOT:  {{.}}
+; EndRightAfterEnd-SAME: ){{$}}
+
+; EndRightAfterEnd:      {{^}}(
+; EndRightAfterEnd-DAG:  <mno>
+; EndRightAfterEnd-DAG:  <mno>x
+; EndRightAfterEnd-NOT:  {{.}}
+; EndRightAfterEnd-SAME: ){{$}}
+
+; EndRightAfterEnd:      {{^}}(
+; EndRightAfterEnd-DAG:  <mno>
+; EndRightAfterEnd-DAG:  c<mno>x
+; EndRightAfterEnd-NOT:  {{.}}
+; EndRightAfterEnd-SAME: ){{$}}
+
+; EndRightAfterEnd:      {{^}}(
+; EndRightAfterEnd-DAG:  <mno>
+; EndRightAfterEnd-DAG:  abc<mno>x
+; EndRightAfterEnd-NOT:  {{.}}
+; EndRightAfterEnd-SAME: ){{$}}
+
+; EndRightAfterEnd:      __EndRightAfterEnd
+
+;---------------------------------------------------------------------
+; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
+; RUN:               -check-prefix=EndAtEnd
+; RUN: FileCheck -input-file %s %s -check-prefix=EndAtEnd
+
+new match end at old match end
+
+__EndAtEnd
+(abc<mno>xyz  >)
+(abc<mno>xyz  no>)
+(abc<mno>xyz  <mno>)
+(abc<mno>xyz  c<mno>)
+(abc<mno>xyz  abc<mno>)
+__EndAtEnd
+
+; EndAtEnd:      __EndAtEnd
+
+; EndAtEnd:      {{^}}(
+; EndAtEnd-DAG:  <mno>
+; EndAtEnd-DAG:  >
+; EndAtEnd-NOT:  {{.}}
+; EndAtEnd-SAME: ){{$}}
+
+; EndAtEnd:      {{^}}(
+; EndAtEnd-DAG:  <mno>
+; EndAtEnd-DAG:  no>
+; EndAtEnd-NOT:  {{.}}
+; EndAtEnd-SAME: ){{$}}
+
+; EndAtEnd:      {{^}}(
+; EndAtEnd-DAG:  <mno>
+; EndAtEnd-DAG:  <mno>
+; EndAtEnd-NOT:  {{.}}
+; EndAtEnd-SAME: ){{$}}
+
+; EndAtEnd:      {{^}}(
+; EndAtEnd-DAG:  <mno>
+; EndAtEnd-DAG:  c<mno>
+; EndAtEnd-NOT:  {{.}}
+; EndAtEnd-SAME: ){{$}}
+
+; EndAtEnd:      {{^}}(
+; EndAtEnd-DAG:  <mno>
+; EndAtEnd-DAG:  abc<mno>
+; EndAtEnd-NOT:  {{.}}
+; EndAtEnd-SAME: ){{$}}
+
+; EndAtEnd:      __EndAtEnd
+
+;---------------------------------------------------------------------
+; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
+; RUN:               -check-prefix=EndWithin
+; RUN: FileCheck -input-file %s %s -check-prefix=EndWithin
+
+new match end within old match
+
+__EndWithin
+(abc<mno>xyz  m)
+(abc<mno>xyz  <m)
+(abc<mno>xyz  c<m)
+(abc<mno>xyz  abc<m)
+__EndWithin
+
+; EndWithin:      __EndWithin
+
+; EndWithin:      {{^}}(
+; EndWithin-DAG:  <mno>
+; EndWithin-DAG:  m
+; EndWithin-NOT:  {{.}}
+; EndWithin-SAME: ){{$}}
+
+; EndWithin:      {{^}}(
+; EndWithin-DAG:  <mno>
+; EndWithin-DAG:  <m
+; EndWithin-NOT:  {{.}}
+; EndWithin-SAME: ){{$}}
+
+; EndWithin:      {{^}}(
+; EndWithin-DAG:  <mno>
+; EndWithin-DAG:  c<m
+; EndWithin-NOT:  {{.}}
+; EndWithin-SAME: ){{$}}
+
+; EndWithin:      {{^}}(
+; EndWithin-DAG:  <mno>
+; EndWithin-DAG:  abc<m
+; EndWithin-NOT:  {{.}}
+; EndWithin-SAME: ){{$}}
+
+; EndWithin:      __EndWithin
+
+;---------------------------------------------------------------------
+; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
+; RUN:               -check-prefix=EndRightAfterStart
+; RUN: FileCheck -input-file %s %s -check-prefix=EndRightAfterStart
+
+new match end right after old match start
+
+__EndRightAfterStart
+(abc<mno>xyz  <)
+(abc<mno>xyz  c<)
+(abc<mno>xyz  abc<)
+__EndRightAfterStart
+
+; EndRightAfterStart:      __EndRightAfterStart
+
+; EndRightAfterStart:      {{^}}(
+; EndRightAfterStart-DAG:  <mno>
+; EndRightAfterStart-DAG:  <
+; EndRightAfterStart-NOT:  {{.}}
+; EndRightAfterStart-SAME: ){{$}}
+
+; EndRightAfterStart:      {{^}}(
+; EndRightAfterStart-DAG:  <mno>
+; EndRightAfterStart-DAG:  c<
+; EndRightAfterStart-NOT:  {{.}}
+; EndRightAfterStart-SAME: ){{$}}
+
+; EndRightAfterStart:      {{^}}(
+; EndRightAfterStart-DAG:  <mno>
+; EndRightAfterStart-DAG:  abc<
+; EndRightAfterStart-NOT:  {{.}}
+; EndRightAfterStart-SAME: ){{$}}
+
+; EndRightAfterStart:      __EndRightAfterStart
+
+;---------------------------------------------------------------------
+; RUN: FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
+; RUN:           -check-prefix=EndAtStart
+; RUN: FileCheck -input-file %s %s -check-prefix=EndAtStart
+
+new match end at old match start
+
+__EndAtStart
+(abc<mno>xyz)
+(abc<mno>xyz)
+__EndAtStart
+
+; EndAtStart:      __EndAtStart
+
+; EndAtStart:      {{^}}(
+; EndAtStart-DAG:  <mno>
+; EndAtStart-DAG:  c
+; EndAtStart-DAG:  xyz
+; EndAtStart-NOT:  {{.}}
+; EndAtStart-SAME: ){{$}}
+
+; EndAtStart:      {{^}}(
+; EndAtStart-DAG:  <mno>
+; EndAtStart-DAG:  abc
+; EndAtStart-DAG:  xyz
+; EndAtStart-NOT:  {{.}}
+; EndAtStart-SAME: ){{$}}
+
+; EndAtStart:      __EndAtStart
+
+;---------------------------------------------------------------------
+; RUN: FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
+; RUN:           -check-prefix=EndBeforeStart
+; RUN: FileCheck -input-file %s %s -check-prefix=EndBeforeStart
+
+new match end before old match start
+
+__EndBeforeStart
+(abc<mno>xyz)
+(abc<mno>xyz)
+__EndBeforeStart
+
+; EndBeforeStart:      __EndBeforeStart
+
+; EndBeforeStart:      {{^}}(
+; EndBeforeStart-DAG:  <mno>
+; EndBeforeStart-DAG:  b
+; EndBeforeStart-DAG:  xyz
+; EndBeforeStart-NOT:  {{.}}
+; EndBeforeStart-SAME: ){{$}}
+
+; EndBeforeStart:      {{^}}(
+; EndBeforeStart-DAG:  <mno>
+; EndBeforeStart-DAG:  ab
+; EndBeforeStart-DAG:  xyz
+; EndBeforeStart-NOT:  {{.}}
+; EndBeforeStart-SAME: ){{$}}
+
+; EndBeforeStart:      __EndBeforeStart