From 0c8af918c836567c5f9b33e87557f8020ac3aed1 Mon Sep 17 00:00:00 2001 From: xlauko Date: Fri, 15 Nov 2024 16:52:13 +0100 Subject: [PATCH] docs: Add detect parsers tool to doc. --- docs/Tools/detect-parsers.md | 11 +++++++++++ www/mkdocs.yml | 1 + 2 files changed, 12 insertions(+) create mode 100644 docs/Tools/detect-parsers.md diff --git a/docs/Tools/detect-parsers.md b/docs/Tools/detect-parsers.md new file mode 100644 index 0000000000..4f33edfa26 --- /dev/null +++ b/docs/Tools/detect-parsers.md @@ -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 +``` + +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. diff --git a/www/mkdocs.yml b/www/mkdocs.yml index 53ca43bf00..c84e57aed9 100644 --- a/www/mkdocs.yml +++ b/www/mkdocs.yml @@ -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