Skip to content

Commit

Permalink
docs: Add detect parsers tool to doc.
Browse files Browse the repository at this point in the history
  • Loading branch information
xlauko committed Nov 15, 2024
1 parent 3699075 commit 0c8af91
Show file tree
Hide file tree
Showing 2 changed files with 12 additions and 0 deletions.
11 changes: 11 additions & 0 deletions docs/Tools/detect-parsers.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
# VAST: Parser Detection Tool

The VAST parser detection leverages a dialect-based approach, where program data manipulation is abstracted and reduced to a parser dialect. This results in an MLIR representation that combines control-flow constructs with parser-specific operations.

To generate this representation, we provide the `detect-parsers` tool—a customized version of `mlir-opt` that converts VAST dialects into the parser dialect.
To use the tool, simply run:
```bash
detect-parsers -vast-hl-to-parser <input.mlir>
```

Parser conversion can be enhanced with the use of function models, which specify how functions in programs should be interpreted. A default set of models is provided in `Conversion/Parser/default-parsers-config.yaml`. Additional configurations can be supplied via a pass parameter.
1 change: 1 addition & 0 deletions www/mkdocs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,7 @@ nav:
- Optimizer: Tools/vast-opt.md
- Query: Tools/vast-query.md
- REPL: Tools/vast-repl.md
- Detect Parsers: Tools/detect-parsers.md
- Related Projects: Projects/related.md
- Benchmarks:
- LLVM Single Source: Benchmarks/single-source-results.md
Expand Down

0 comments on commit 0c8af91

Please sign in to comment.