mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
959d70cd6e
Summary:
This patch is part of a patch series to add support for FileCheck
numeric expressions. This specific patch adds support signed numeric
values, thus allowing negative numeric values.
As such, the patch adds a new class to represent a signed or unsigned
value and add the logic for type promotion and type conversion in
numeric expression mixing signed and unsigned values. It also adds
the %d format specifier to represent signed value.
Finally, it also adds underflow and overflow detection when performing a
binary operation.
Copyright:
- Linaro (changes up to diff 183612 of revision D55940)
- GraphCore (changes in later versions of revision D55940 and
in new revision created off D55940)
Reviewers: jhenderson, chandlerc, jdenny, probinson, grimar, arichardson
Reviewed By: jhenderson, arichardson
Subscribers: MaskRay, hiraditya, llvm-commits, probinson, dblaikie, grimar, arichardson, kristina, hfinkel, rogfer01, JonChesterfield
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D60390
370 lines
16 KiB
Plaintext
370 lines
16 KiB
Plaintext
RUN: FileCheck --input-file %s %s
|
|
|
|
; We use CHECK-NEXT directives to force a match on all lines with digits.
|
|
|
|
; Numeric variable definition with default matching format without spaces.
|
|
DEF DEFAULT FMT NO SPC // CHECK-LABEL: DEF DEFAULT FMT NO SPC
|
|
10 // CHECK-NEXT: {{^}}[[#UNSI:]]
|
|
|
|
; Numeric variable definition with default matching format with different
|
|
; spacing.
|
|
DEF DEFAULT FMT SPC // CHECK-LABEL: DEF DEFAULT FMT SPC
|
|
11 // CHECK-NEXT: {{^}}[[# UNSIa:]]
|
|
11 // CHECK-NEXT: {{^}}[[# UNSIb :]]
|
|
11 // CHECK-NEXT: {{^}}[[# UNSIc : ]]
|
|
|
|
; Numeric variable redefinition.
|
|
REDEF NO SPC // CHECK-LABEL: REDEF
|
|
11 // CHECK-NEXT: {{^}}[[#UNSI:]]
|
|
|
|
; Numeric variable definition with explicit matching format.
|
|
DEF FMT // CHECK-LABEL: DEF FMT
|
|
c // CHECK-NEXT: {{^}}[[#%x,LHEX:]]
|
|
D // CHECK-NEXT: {{^}}[[#%X,UHEX:]]
|
|
-30 // CHECK-NEXT: {{^}}[[#%d,SIGN:]]
|
|
|
|
; Numeric variable definition with explicit matching format with different
|
|
; spacing.
|
|
DEF FMT SPC // CHECK-LABEL: DEF FMT SPC
|
|
c // CHECK-NEXT: {{^}}[[# %x , LHEXa : ]]
|
|
|
|
; Numeric variable definition with unsupported matching format.
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefixes ERR,INVALID-FMT-SPEC1 --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --check-prefix INVALID-FMT-SPEC-MSG1 --strict-whitespace %s
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefixes ERR,INVALID-FMT-SPEC2 --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --check-prefix INVALID-FMT-SPEC-MSG2 --strict-whitespace %s
|
|
|
|
DEF INVALID FMT
|
|
INVVAR1=a
|
|
INVVAR2=11
|
|
ERR-LABEL: DEF INVALID FMT
|
|
INVALID-FMT-SPEC1-NEXT: INVVAR1=[[#%c,INVVAR1:]]
|
|
INVALID-FMT-SPEC2-NEXT: INVVAR2=[[#%hhd,INVVAR2:]]
|
|
INVALID-FMT-SPEC-MSG1: numeric-expression.txt:[[#@LINE-2]]:37: error: invalid format specifier in expression
|
|
INVALID-FMT-SPEC-MSG1-NEXT: {{I}}NVALID-FMT-SPEC1-NEXT: INVVAR1={{\[\[#%c,INVVAR1:\]\]}}
|
|
INVALID-FMT-SPEC-MSG1-NEXT: {{^}} ^{{$}}
|
|
INVALID-FMT-SPEC-MSG2: numeric-expression.txt:[[#@LINE-4]]:37: error: invalid format specifier in expression
|
|
INVALID-FMT-SPEC-MSG2-NEXT: {{I}}NVALID-FMT-SPEC2-NEXT: INVVAR2={{\[\[#%hhd,INVVAR2:\]\]}}
|
|
INVALID-FMT-SPEC-MSG2-NEXT: {{^}} ^{{$}}
|
|
|
|
; Numeric expressions in explicit matching format and default matching rule using
|
|
; variables defined on other lines without spaces.
|
|
USE EXPL FMT IMPL MATCH // CHECK-LABEL: USE EXPL FMT IMPL MATCH
|
|
11 // CHECK-NEXT: {{^}}[[#%u,UNSI]]
|
|
12 // CHECK-NEXT: {{^}}[[#%u,UNSI+1]]
|
|
10 // CHECK-NEXT: {{^}}[[#%u,UNSI-1]]
|
|
c // CHECK-NEXT: {{^}}[[#%x,LHEX]]
|
|
d // CHECK-NEXT: {{^}}[[#%x,LHEX+1]]
|
|
b // CHECK-NEXT: {{^}}[[#%x,LHEX-1]]
|
|
1a // CHECK-NEXT: {{^}}[[#%x,LHEX+0xe]]
|
|
1a // CHECK-NEXT: {{^}}[[#%x,LHEX+0xE]]
|
|
D // CHECK-NEXT: {{^}}[[#%X,UHEX]]
|
|
E // CHECK-NEXT: {{^}}[[#%X,UHEX+1]]
|
|
C // CHECK-NEXT: {{^}}[[#%X,UHEX-1]]
|
|
1B // CHECK-NEXT: {{^}}[[#%X,UHEX+0xe]]
|
|
1B // CHECK-NEXT: {{^}}[[#%X,UHEX+0xE]]
|
|
-30 // CHECK-NEXT: {{^}}[[#%d,SIGN]]
|
|
-29 // CHECK-NEXT: {{^}}[[#%d,SIGN+1]]
|
|
-31 // CHECK-NEXT: {{^}}[[#%d,SIGN-1]]
|
|
42 // CHECK-NEXT: {{^}}[[#%d,SIGN+72]]
|
|
11 // CHECK-NEXT: {{^}}[[#%u,UNSIa]]
|
|
11 // CHECK-NEXT: {{^}}[[#%u,UNSIb]]
|
|
11 // CHECK-NEXT: {{^}}[[#%u,UNSIc]]
|
|
c // CHECK-NEXT: {{^}}[[#%x,LHEXa]]
|
|
|
|
; Numeric expressions in explicit matching format and default matching rule using
|
|
; variables defined on other lines with different spacing.
|
|
USE EXPL FMT IMPL MATCH SPC // CHECK-LABEL: USE EXPL FMT IMPL MATCH SPC
|
|
11 // CHECK-NEXT: {{^}}[[#%u, UNSI]]
|
|
11 // CHECK-NEXT: {{^}}[[# %u, UNSI]]
|
|
11 // CHECK-NEXT: {{^}}[[# %u, UNSI ]]
|
|
12 // CHECK-NEXT: {{^}}[[#%u, UNSI+1]]
|
|
12 // CHECK-NEXT: {{^}}[[# %u, UNSI+1]]
|
|
12 // CHECK-NEXT: {{^}}[[# %u , UNSI+1]]
|
|
12 // CHECK-NEXT: {{^}}[[# %u , UNSI +1]]
|
|
12 // CHECK-NEXT: {{^}}[[# %u , UNSI + 1]]
|
|
12 // CHECK-NEXT: {{^}}[[# %u , UNSI + 1 ]]
|
|
10 // CHECK-NEXT: {{^}}[[#%u, UNSI-1]]
|
|
10 // CHECK-NEXT: {{^}}[[# %u, UNSI-1]]
|
|
10 // CHECK-NEXT: {{^}}[[# %u , UNSI-1]]
|
|
10 // CHECK-NEXT: {{^}}[[# %u , UNSI -1]]
|
|
10 // CHECK-NEXT: {{^}}[[# %u , UNSI - 1]]
|
|
10 // CHECK-NEXT: {{^}}[[# %u , UNSI - 1 ]]
|
|
|
|
; Numeric expressions in implicit matching format and default matching rule using
|
|
; variables defined on other lines.
|
|
USE IMPL FMT IMPL MATCH // CHECK-LABEL: USE IMPL FMT IMPL MATCH
|
|
11 // CHECK-NEXT: {{^}}[[#UNSI]]
|
|
12 // CHECK-NEXT: {{^}}[[#UNSI+1]]
|
|
10 // CHECK-NEXT: {{^}}[[#UNSI-1]]
|
|
c // CHECK-NEXT: {{^}}[[#LHEX]]
|
|
d // CHECK-NEXT: {{^}}[[#LHEX+1]]
|
|
b // CHECK-NEXT: {{^}}[[#LHEX-1]]
|
|
1a // CHECK-NEXT: {{^}}[[#LHEX+0xe]]
|
|
1a // CHECK-NEXT: {{^}}[[#LHEX+0xE]]
|
|
D // CHECK-NEXT: {{^}}[[#UHEX]]
|
|
E // CHECK-NEXT: {{^}}[[#UHEX+1]]
|
|
C // CHECK-NEXT: {{^}}[[#UHEX-1]]
|
|
1B // CHECK-NEXT: {{^}}[[#UHEX+0xe]]
|
|
1B // CHECK-NEXT: {{^}}[[#UHEX+0xE]]
|
|
-30 // CHECK-NEXT: {{^}}[[#SIGN]]
|
|
-29 // CHECK-NEXT: {{^}}[[#SIGN+1]]
|
|
-31 // CHECK-NEXT: {{^}}[[#SIGN-1]]
|
|
|
|
; Numeric expressions using variables defined on other lines and an immediate
|
|
; interpreted as an unsigned value.
|
|
; Note: 9223372036854775819 = 0x8000000000000000 + 11
|
|
USE IMPL FMT IMPL MATCH UNSIGNED IMM
|
|
9223372036854775819
|
|
CHECK-LABEL: USE IMPL FMT IMPL MATCH UNSIGNED IMM
|
|
CHECK-NEXT: [[#UNSI+0x8000000000000000]]
|
|
|
|
; Numeric expressions with matching format overriding the implicit format of
|
|
; variables defined on other lines.
|
|
USE CONV FMT IMPL MATCH // CHECK-LABEL: USE CONV FMT IMPL MATCH
|
|
b // CHECK-NEXT: {{^}}[[# %x, UNSI]]
|
|
B // CHECK-NEXT: {{^}}[[# %X, UNSI]]
|
|
-1 // CHECK-NEXT: {{^}}[[# %d, UNSI-12]]
|
|
12 // CHECK-NEXT: {{^}}[[# %u, LHEX]]
|
|
C // CHECK-NEXT: {{^}}[[# %X, LHEX]]
|
|
-2 // CHECK-NEXT: {{^}}[[# %d, LHEX-14]]
|
|
13 // CHECK-NEXT: {{^}}[[# %u, UHEX]]
|
|
d // CHECK-NEXT: {{^}}[[# %x, UHEX]]
|
|
-5 // CHECK-NEXT: {{^}}[[# %d, UHEX-18]]
|
|
15 // CHECK-NEXT: {{^}}[[# %u, SIGN+45]]
|
|
f // CHECK-NEXT: {{^}}[[# %x, SIGN+45]]
|
|
F // CHECK-NEXT: {{^}}[[# %X, SIGN+45]]
|
|
|
|
; Conflicting implicit format.
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefixes CHECK,FMT-CONFLICT1 --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix FMT-CONFLICT1-MSG %s
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefixes CHECK,FMT-CONFLICT2 --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix FMT-CONFLICT2-MSG %s
|
|
|
|
VAR USE IMPL FMT CONFLICT
|
|
23
|
|
FMT-CONFLICT1-LABEL: VAR USE IMPL FMT CONFLICT
|
|
FMT-CONFLICT1-NEXT: [[#UNSI + LHEX]]
|
|
FMT-CONFLICT1-MSG: numeric-expression.txt:[[#@LINE-1]]:24: error: implicit format conflict between 'UNSI' (%u) and 'LHEX' (%x), need an explicit format specifier
|
|
FMT-CONFLICT1-MSG-NEXT: {{F}}MT-CONFLICT1-NEXT: {{\[\[#UNSI \+ LHEX\]\]}}
|
|
FMT-CONFLICT1-MSG-NEXT: {{^ \^$}}
|
|
|
|
VAR USE IMPL FMT CONFLICT COMPLEX
|
|
34
|
|
FMT-CONFLICT2-LABEL: VAR USE IMPL FMT CONFLICT
|
|
FMT-CONFLICT2-NEXT: [[#UNSI + UNSIa + LHEX]]
|
|
FMT-CONFLICT2-MSG: numeric-expression.txt:[[#@LINE-1]]:24: error: implicit format conflict between 'UNSI + UNSIa' (%u) and 'LHEX' (%x), need an explicit format specifier
|
|
FMT-CONFLICT2-MSG-NEXT: {{F}}MT-CONFLICT2-NEXT: {{\[\[#UNSI \+ UNSIa \+ LHEX\]\]}}
|
|
FMT-CONFLICT2-MSG-NEXT: {{^ \^$}}
|
|
|
|
; Explicitly specified format can override conflicting implicit formats.
|
|
VAR USE IMPL OVERRIDE FMT CONFLICT // CHECK-LABEL: VAR USE IMPL OVERRIDE FMT CONFLICT
|
|
23 // CHECK-NEXT: {{^}}[[# %u, UNSI + LHEX]]
|
|
|
|
; Numeric expressions using more than one variable defined on other lines.
|
|
USE MULTI VAR // CHECK-LABEL: USE MULTI VAR
|
|
22 // CHECK-NEXT: {{^}}[[#UNSI+UNSIa]]
|
|
|
|
; Numeric expression using a variable defined from a numeric expression.
|
|
DEF EXPR GOOD MATCH // CHECK-LABEL: DEF EXPR GOOD MATCH
|
|
42 // CHECK-NEXT: {{^}}[[# VAR42:UNSI+31]]
|
|
41 // CHECK-NEXT: {{^}}[[# VAR42-1]]
|
|
|
|
; Empty numeric expression.
|
|
EMPTY NUM EXPR // CHECK-LABEL: EMPTY NUM EXPR
|
|
foo 104 bar // CHECK-NEXT: {{^}}foo [[#]] bar
|
|
|
|
; Numeric expressions using parentheses.
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck -D#NUMVAR=10 --check-prefix PAREN-OP \
|
|
RUN: --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix PAREN-OP-MSG %s
|
|
|
|
PAREN EXPRESSIONS // PAREN-OP-LABEL: PAREN EXPRESSIONS
|
|
11 // PAREN-OP-NEXT: [[#(NUMVAR+2)-1]]
|
|
11 // PAREN-OP-NEXT: [[#NUMVAR+(2-1)]]
|
|
11 // PAREN-OP-NEXT: [[#NUMVAR+(2-1]]
|
|
PAREN-OP-MSG: numeric-expression.txt:[[#@LINE-1]]:36: error: missing ')' at end of nested expression
|
|
PAREN-OP-MSG-NEXT: {{P}}AREN-OP-NEXT: {{\[\[#NUMVAR\+\(2\-1]\]}}
|
|
PAREN-OP-MSG-NEXT: {{^}} ^{{$}}
|
|
|
|
; Numeric expression using undefined variables.
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefix UNDEF-USE --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix UNDEF-USE-MSG %s
|
|
|
|
UNDEF VAR USE
|
|
UNDEFVAR: 11
|
|
UNDEF-USE-LABEL: UNDEF VAR USE
|
|
UNDEF-USE-NEXT: UNDEFVAR: [[#UNDEFVAR1+UNDEFVAR2]]
|
|
UNDEF-USE-MSG: numeric-expression.txt:[[#@LINE-1]]:17: error: {{U}}NDEF-USE-NEXT: expected string not found in input
|
|
UNDEF-USE-MSG-NEXT: {{U}}NDEF-USE-NEXT: UNDEFVAR: {{\[\[#UNDEFVAR1\+UNDEFVAR2\]\]}}
|
|
UNDEF-USE-MSG-NEXT: {{^}} ^{{$}}
|
|
UNDEF-USE-MSG-NEXT: numeric-expression.txt:[[#@LINE-6]]:1: note: scanning from here
|
|
UNDEF-USE-MSG-NEXT: UNDEFVAR: 11
|
|
UNDEF-USE-MSG-NEXT: {{^}}^{{$}}
|
|
UNDEF-USE-MSG-NEXT: numeric-expression.txt:[[#@LINE-9]]:1: note: uses undefined variable(s): "UNDEFVAR1" "UNDEFVAR2"
|
|
UNDEF-USE-MSG-NEXT: UNDEFVAR: 11
|
|
UNDEF-USE-MSG-NEXT: {{^}}^{{$}}
|
|
|
|
; Numeric expression with unsupported operator.
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck -D#NUMVAR=10 --check-prefix INVAL-OP \
|
|
RUN: --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix INVAL-OP-MSG %s
|
|
|
|
INVALID OPERATOR
|
|
NUMVAR*2: 22
|
|
INVAL-OP-LABEL: INVALID OPERATOR
|
|
INVAL-OP-NEXT: NUMVAR*2: [[#NUMVAR*2]]
|
|
INVAL-OP-MSG: numeric-expression.txt:[[#@LINE-1]]:35: error: unsupported operation '*'
|
|
INVAL-OP-MSG-NEXT: {{I}}NVAL-OP-NEXT: NUMVAR*2: {{\[\[#NUMVAR\*2\]\]}}
|
|
INVAL-OP-MSG-NEXT: {{^}} ^{{$}}
|
|
|
|
; Name conflict between Numeric variable definition and string variable
|
|
; definition whether from the command-line or input text.
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefixes CONFLICT,CONFLICT1,CONFLICT2 \
|
|
RUN: --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix INPUT-STR-CONFLICT %s
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck -D#NUMVAR=42 --check-prefixes CONFLICT,CONFLICT2 \
|
|
RUN: --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix INPUT-STR-CONFLICT %s
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck -D#NUMVAR=42 -DNUMVAR=foobar --check-prefix CONFLICT \
|
|
RUN: --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix CLI-STR-CONFLICT %s
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefixes CONFLICT,CONFLICT3,CONFLICT4 \
|
|
RUN: --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix INPUT-NUM-CONFLICT %s
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck -DSTRVAR=foobar --check-prefixes CONFLICT,CONFLICT4 \
|
|
RUN: --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix INPUT-NUM-CONFLICT %s
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck -DSTRVAR=foobar -D#STRVAR=42 --check-prefix CONFLICT \
|
|
RUN: --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix CLI-NUM-CONFLICT %s
|
|
|
|
STRVAR NUMVAR CONFLICT
|
|
redef1 42
|
|
foobar
|
|
redef2 42
|
|
CONFLICT-LABEL: STRVAR NUMVAR CONFLICT
|
|
CONFLICT1-NEXT: redef1 [[#NUMVAR:]]
|
|
CONFLICT2: [[NUMVAR:foo.*]]
|
|
CONFLICT3: [[STRVAR:foo.*]]
|
|
CONFLICT4: redef2 [[#STRVAR:]]
|
|
INPUT-STR-CONFLICT: numeric-expression.txt:[[#@LINE-3]]:14: error: numeric variable with name 'NUMVAR' already exists
|
|
INPUT-STR-CONFLICT-NEXT: {{C}}ONFLICT2: {{\[\[NUMVAR:foo\.\*\]\]}}
|
|
INPUT-STR-CONFLICT-NEXT: {{^}} ^{{$}}
|
|
CLI-STR-CONFLICT: Global defines:2:19: error: numeric variable with name 'NUMVAR' already exists
|
|
CLI-STR-CONFLICT-NEXT: Global define #2: NUMVAR=foobar
|
|
CLI-STR-CONFLICT-NEXT: {{^}} ^{{$}}
|
|
INPUT-NUM-CONFLICT: numeric-expression.txt:[[#@LINE-7]]:22: error: string variable with name 'STRVAR' already exists
|
|
INPUT-NUM-CONFLICT-NEXT: CONFLICT4: redef2 {{\[\[#STRVAR:\]\]}}
|
|
INPUT-NUM-CONFLICT-NEXT: {{^}} ^{{$}}
|
|
CLI-NUM-CONFLICT: Global defines:2:45: error: string variable with name 'STRVAR' already exists
|
|
CLI-NUM-CONFLICT-NEXT: Global define #2: #STRVAR=42 (parsed as: {{\[\[#STRVAR:42\]\]}})
|
|
CLI-NUM-CONFLICT-NEXT: {{^}} ^{{$}}
|
|
|
|
; Numeric variable definition with too big value.
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefix BIGVAL --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix BIGVAL-MSG %s
|
|
|
|
BIG VALUE
|
|
NUMVAR: 10000000000000000000000
|
|
BIGVAL-LABEL: BIG VALUE
|
|
BIGVAL-NEXT: NUMVAR: [[#NUMVAR:]]
|
|
BIGVAL-MSG: numeric-expression.txt:[[#@LINE-3]]:9: error: unable to represent numeric value
|
|
BIGVAL-MSG-NEXT: {{N}}UMVAR: 10000000000000000000000
|
|
BIGVAL-MSG-NEXT: {{^}} ^{{$}}
|
|
|
|
; Verify that when a variable is set to an expression the expression is still
|
|
; checked.
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefix DEF-EXPR-FAIL --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix DEF-EXPR-FAIL-MSG %s
|
|
|
|
DEF EXPR WRONG MATCH
|
|
20
|
|
43
|
|
DEF-EXPR-FAIL-LABEL: DEF EXPR WRONG MATCH
|
|
DEF-EXPR-FAIL-NEXT: [[# VAR20:]]
|
|
DEF-EXPR-FAIL-NEXT: [[# VAR42: VAR20+22]]
|
|
DEF-EXPR-FAIL-MSG: numeric-expression.txt:[[#@LINE-1]]:21: error: {{D}}EF-EXPR-FAIL-NEXT: is not on the line after the previous match
|
|
DEF-EXPR-FAIL-MSG-NEXT: {{D}}EF-EXPR-FAIL-NEXT: {{\[\[# VAR42: VAR20\+22\]\]}}
|
|
DEF-EXPR-FAIL-MSG-NEXT: {{^}} ^{{$}}
|
|
|
|
; Verify that using a numeric variable defined on the same line (whether from
|
|
; input or from an expression) is rejected.
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefix SAME-LINE-USE1 --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix SAME-LINE-USE-MSG1 %s
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefix SAME-LINE-USE2 --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix SAME-LINE-USE-MSG2 %s
|
|
|
|
SAME LINE USE
|
|
3
|
|
4 5
|
|
SAME-LINE-USE1-LABEL: SAME LINE USE
|
|
SAME-LINE-USE1-NEXT: [[#]]
|
|
SAME-LINE-USE1-NEXT: [[#UNSI:]] [[#UNSI+1]]
|
|
SAME-LINE-USE-MSG1: numeric-expression.txt:[[#@LINE-1]]:36: error: numeric variable 'UNSI' defined earlier in the same CHECK directive
|
|
SAME-LINE-USE-MSG1-NEXT: {{S}}AME-LINE-USE1-NEXT: {{\[\[#UNSI:\]\] \[\[#UNSI\+1\]\]}}
|
|
SAME-LINE-USE-MSG1-NEXT: {{^}} ^{{$}}
|
|
|
|
SAME-LINE-USE2-LABEL: SAME LINE USE
|
|
SAME-LINE-USE2-NEXT: [[#UNSI:]]
|
|
SAME-LINE-USE2-NEXT: [[#UNSI2:UNSI+1]] [[#UNSI2+1]]
|
|
SAME-LINE-USE-MSG2: numeric-expression.txt:[[#@LINE-1]]:43: error: numeric variable 'UNSI2' defined earlier in the same CHECK directive
|
|
SAME-LINE-USE-MSG2-NEXT: {{S}}AME-LINE-USE2-NEXT: {{\[\[#UNSI2:UNSI\+1\]\] \[\[#UNSI2\+1\]\]}}
|
|
SAME-LINE-USE-MSG2-NEXT: {{^}} ^{{$}}
|
|
|
|
; Invalid change of format in variable redefinition.
|
|
RUN: %ProtectFileCheckOutput \
|
|
RUN: not FileCheck --check-prefix REDEF-NEW-FMT --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --strict-whitespace --check-prefix REDEF-NEW-FMT-MSG %s
|
|
|
|
VAR REDEF FMT CHANGE
|
|
22
|
|
DC
|
|
REDEF-NEW-FMT-LABEL: VAR REDEF FMT CHANGE
|
|
REDEF-NEW-FMT-NEXT: [[#UNSI:]]
|
|
REDEF-NEW-FMT-NEXT: [[#%X,UNSI:]]
|
|
REDEF-NEW-FMT-MSG: numeric-expression.txt:[[#@LINE-1]]:31: error: format different from previous variable definition
|
|
REDEF-NEW-FMT-MSG-NEXT: {{R}}EDEF-NEW-FMT-NEXT: {{\[\[#%X,UNSI:\]\]}}
|
|
REDEF-NEW-FMT-MSG-NEXT: {{^}} ^{{$}}
|
|
|
|
; Numeric expression with overflow.
|
|
RUN: not FileCheck --check-prefix OVERFLOW --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --check-prefix OVERFLOW-MSG --strict-whitespace %s
|
|
|
|
OVERFLOW
|
|
BIGVAR=10000000000000000
|
|
OVERFLOW-LABEL: OVERFLOW
|
|
OVERFLOW-NEXT: BIGVAR: [[#BIGVAR:0x8000000000000000+0x8000000000000000]]
|
|
OVERFLOW-MSG: numeric-expression.txt:[[#@LINE-1]]:27: error: unable to substitute variable or numeric expression
|
|
OVERFLOW-MSG-NEXT: {{O}}VERFLOW-NEXT: BIGVAR: {{\[\[#BIGVAR:0x8000000000000000\+0x8000000000000000\]\]}}
|
|
OVERFLOW-MSG-NEXT: {{^}} ^{{$}}
|
|
|
|
; Numeric expression with underflow.
|
|
RUN: not FileCheck --check-prefix UNDERFLOW --input-file %s %s 2>&1 \
|
|
RUN: | FileCheck --check-prefix UNDERFLOW-MSG --strict-whitespace %s
|
|
|
|
UNDERFLOW
|
|
TINYVAR=-10000000000000000
|
|
UNDERFLOW-LABEL: UNDERFLOW
|
|
UNDERFLOW-NEXT: TINYVAR: [[#%d,TINYVAR:-0x8000000000000000-0x8000000000000000]]
|
|
UNDERFLOW-MSG: numeric-expression.txt:[[#@LINE-1]]:29: error: unable to substitute variable or numeric expression
|
|
UNDERFLOW-MSG-NEXT: {{U}}NDERFLOW-NEXT: TINYVAR: {{\[\[#%d,TINYVAR:-0x8000000000000000-0x8000000000000000\]\]}}
|
|
UNDERFLOW-MSG-NEXT: {{^}} ^{{$}}
|