FileCheck

E292725

FileCheck is an LLVM utility used to verify the output of compiler tests by matching it against patterns embedded in test files.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (3)

Label Occurrences
FileCheck canonical 1
filecheck 1
llvm/utils/FileCheck 1

Statements (55)

Predicate Object
instanceOf LLVM utility
software tool
developedBy LLVM
surface form: LLVM community
distributedWith LLVM binaries
documentation LLVM FileCheck user guide
inputType program output from a test run
text files containing CHECK directives
invokedAs FileCheck self-linksurface differs
surface form: filecheck
license Apache License 2.0 with LLVM exceptions
partOf LLVM
surface form: LLVM project
primaryPurpose match program output against patterns in test files
verify compiler test output
programmingLanguage C++
repository https://github.com/llvm/llvm-project
sourceDirectory FileCheck self-linksurface differs
surface form: llvm/utils/FileCheck
supportsDirective CHECK
CHECK-COUNT
CHECK-DAG
CHECK-FIXES
CHECK-L
CHECK-LABEL
CHECK-NEXT
CHECK-NOT
CHECK-R
CHECK-SAME
supportsFeature file check prefixes
implicit and explicit variable definitions
match-time expressions
multiple check prefixes in a single file
negative checks to ensure text is absent
numeric variables
pattern variables
regular-expression-like patterns
scoped variables
strict line-by-line checking
string substitutions
unordered match groups via DAG checks
supportsOption --check-prefix
--check-prefixes
--dump-input
--enable-var-scope
--implicit-check-not
--match-full-lines
--strict-whitespace
testFileConvention CHECK lines embedded as comments in source files
typicalWorkflow run compiler with -emit-llvm or similar and pipe output to FileCheck
usedFor regression testing of LLVM components
testing code generation
testing compiler diagnostics
testing front-end behavior
testing optimization passes
usedIn Clang test suite
Flang test suite
LLVM test suite
MLIR test suite

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

LLVM hasComponent FileCheck
FileCheck invokedAs FileCheck self-linksurface differs
this entity surface form: filecheck
FileCheck sourceDirectory FileCheck self-linksurface differs
this entity surface form: llvm/utils/FileCheck