filecheck

Run FileCheck on file

$ FileCheck [check-file] < [input]

$ FileCheck --input-file=[input] [check-file]

$ FileCheck -v [check-file] < [input]

$ FileCheck --match-full-lines [check-file] < [input]

FileCheck [options] check-file

FileCheck is an LLVM testing tool that verifies text output matches specified patterns. It reads a file containing CHECK directives and verifies they match against input, commonly compiler output.
The tool supports various check types: CHECK for sequential matching, CHECK-NEXT for consecutive lines, CHECK-NOT for absence, and CHECK-SAME for same-line matches.
FileCheck is essential for LLVM and compiler testing, validating generated code matches expected patterns.

CHECK-FILE

File containing CHECK directives.

Input file to verify.

Print good matches.

Require full line matches.

Strict whitespace matching.

Use custom check prefix.

Display help information.

Pattern syntax differs from standard regex. Whitespace handling can be tricky. Primarily designed for LLVM testing.

FileCheck was developed as part of LLVM's testing infrastructure. It provides a flexible pattern-matching system for validating compiler output in regression tests.

llvm-lit(1), grep(1), diff(1)