filecheck-ng 0.1.0

A Python-native clone of LLVMs FileCheck tool

filecheck - A Python-native clone of LLVMs FileCheck tool

This tries to be as close a clone of LLVMs FileCheck as possible, without going crazy.

There are some features that are left out for now (e.g. pseudo-numeric variables and parts of numeric substitution).

Features:

• Checks:
  • CHECK
  • CHECK-NEXT
  • CHECK-NOT (not sure, I think I may have missed something. Docs aren't great on this one.)
  • CHECK-LABEL
  • CHECK-EMPTY
  • CHECK-SAME
  • CHECK-DAG Need to figure this one out exactly
  • CHECK-COUNT (who uses this? Still around ~310 matches in MLIR...)
• Flags:
  • --check-prefix
  • --check-prefixes
  • --comment-prefixes
  • --allow-unused-prefixes
  • --input-file
  • --match-full-lines
  • --strict-whitespace (Kinda? Seems to be working.)
  • --ignore-case
  • --implicit-check-not
  • --dump-input
  • --dump-input-context
  • --dump-input-filter
  • --enable-var-scope
  • -D<VAR=VALUE>
  • -D#<FMT>,<NUMVAR>=<NUMERIC EXPRESSION>
  • -version
  • -v
  • -vv
  • --allow-deprecated-dag-overlap Not sure what this means yet.
  • --allow-empty (I think I allow empty input rn?)
  • --color No color support yet
• Base Features:
  • Regex patterns
  • Captures and Capture Matches
  • Numeric Captures
  • Numeric Substitutions (jesus christ, wtf man)
  • Literal matching (CHECK{LITERAL})
  • Weird regex features ([:xdigits:] and friends)
  • Correct(?) handling of matching check lines
• Testing:
  • Base cases
  • Negative tests
  • Error messages (started)
  • Lots of edge cases
  • MLIR/xDSL integration tests
• UX:
  • Good error messages: I have some error messages, but could be a lot better
    • Parse errors
    • Matching errors
    • Malformed regexes
• Infrastructure:
  • Formatting: black
  • Pyright: Almost passes rn
  • pre-commit: Didn't get to it yet
  • CI for formatting

Open to PRs for any such features.