test/FileCheck/numeric-defines.txt

   1 ; Test functionality of -D# option: numeric variables are defined to the right
   2 ; value and CHECK directives using them match as expected given the value set.
   3
   4 RUN: FileCheck -D#NUMVAL1=8 -D#NUMVAL2='NUMVAL1 + 4' -check-prefixes CHECKNUM1,CHECKNUM2 -input-file %s %s
   5 RUN: not FileCheck -D#NUMVAL1=7 -D#NUMVAL2=12 -check-prefix CHECKNUM1 -input-file %s %s 2>&1 \
   6 RUN:   | FileCheck %s --strict-whitespace -check-prefix NUMERRMSG1
   7 RUN: not FileCheck -D#NUMVAL1=8 -D#NUMVAL2=8 -check-prefix CHECKNUM2 -input-file %s %s 2>&1 \
   8 RUN:   | FileCheck %s --strict-whitespace -check-prefix NUMERRMSG2
   9 RUN: not FileCheck -D#NUMVAL1=8 -D#NUMVAL2=8 -check-prefix NUMNOT -input-file %s %s 2>&1 \
  10 RUN:   | FileCheck %s --strict-whitespace -check-prefixes NOT-NUMERRMSG1
  11 RUN: not FileCheck -D#NUMVAL1=7 -D#NUMVAL2=12 -check-prefix NUMNOT -input-file %s %s 2>&1 \
  12 RUN:   | FileCheck %s --strict-whitespace -check-prefixes NOT-NUMERRMSG2
  13 RUN: FileCheck -D#NUMVAL1=7 -D#NUMVAL2=8 -check-prefixes NUMNOT -input-file %s %s
  14
  15 Numeric value #1 = 8
  16 Numeric value #2 = 12
  17 CHECKNUM1: Numeric value #1 = [[#NUMVAL1]]
  18 CHECKNUM2: Numeric value #2 = [[#NUMVAL2]]
  19 NUMNOT-NOT: Numeric value #1 = [[#NUMVAL1]]
  20 NUMNOT-NOT: Numeric value #2 = [[#NUMVAL2]]
  21
  22 NUMERRMSG1: defines.txt:[[#@LINE-5]]:12: error: CHECKNUM1: expected string not found in input
  23 NUMERRMSG1: defines.txt:1:1: note: scanning from here
  24 NUMERRMSG1: defines.txt:1:1: note: with "NUMVAL1" equal to "7"
  25 NUMERRMSG1: defines.txt:[[#@LINE-10]]:1: note: possible intended match here
  26
  27 NUMERRMSG2: defines.txt:[[#@LINE-9]]:12: error: CHECKNUM2: expected string not found in input
  28 NUMERRMSG2: defines.txt:1:1: note: scanning from here
  29 NUMERRMSG2: defines.txt:1:1: note: with "NUMVAL2" equal to "8"
  30 NUMERRMSG2: defines.txt:[[#@LINE-14]]:1: note: possible intended match here
  31
  32 NOT-NUMERRMSG1: defines.txt:[[#@LINE-13]]:13: error: {{NUMNOT}}-NOT: excluded string found in input
  33 NOT-NUMERRMSG1: defines.txt:[[#@LINE-18]]:1: note: found here
  34 NOT-NUMERRMSG1: defines.txt:[[#@LINE-19]]:1: note: with "NUMVAL1" equal to "8"
  35
  36 NOT-NUMERRMSG2: defines.txt:[[#@LINE-16]]:13: error: {{NUMNOT}}-NOT: excluded string found in input
  37 NOT-NUMERRMSG2: defines.txt:[[#@LINE-21]]:1: note: found here
  38 NOT-NUMERRMSG2: defines.txt:[[#@LINE-22]]:1: note: with "NUMVAL2" equal to "12"