talos-translate

Command-line reference

Generated from talos-translate --help.

OVERVIEW: Talos translation driver
USAGE: talos-translate [options] <input file>

OPTIONS:

Color Options:

  --color                                                    - Use colors in output (default=autodetect)

General options:

  --allow-unregistered-dialect                               - Allow operation with no registered dialects (discouraged: testing only!)
  --cfg-hide-cold-paths=<number>                             - Hide blocks with relative frequency below the given value
  --cfg-hide-deoptimize-paths                                - 
  --cfg-hide-unreachable-paths                               - 
  --disable-auto-upgrade-debug-info                          - Disable autoupgrade of debug info
  --disable-i2p-p2i-opt                                      - Disables inttoptr/ptrtoint roundtrip optimization
  --dot-cfg-mssa=<file name for generated dot file>          - file name for generated dot file
  --elide-all-zero-branch-weights                            - 
  --error-diagnostics-only                                   - Filter all non-error diagnostics (discouraged: testing only!)
  --generate-merged-base-profiles                            - When generating nested context-sensitive profiles, always generate extra base profile for function with all its context profiles merged into it.
  --mlir-disable-threading                                   - Disable multi-threading within MLIR, overrides any further call to MLIRContext::enableMultiThreading()
  --mlir-elide-elementsattrs-if-larger=<uint>                - Elide ElementsAttrs with "..." that have more elements than the given upper limit
  --mlir-elide-resource-strings-if-larger=<uint>             - Elide printing value of resources if string is too long in chars.
  --mlir-output-format=<value>                               - Output format for timing data
    =text                                                    -   display the results in text format
    =json                                                    -   display the results in JSON format
  --mlir-pretty-debuginfo                                    - Print pretty debug info in MLIR output
  --mlir-print-debuginfo                                     - Print debug info in MLIR output
  --mlir-print-elementsattrs-with-hex-if-larger=<long>       - Print DenseElementsAttrs with a hex string that have more elements than the given upper limit (use -1 to disable)
  --mlir-print-local-scope                                   - Print with local scope and inline information (eliding aliases for attributes, types, and locations)
  --mlir-print-op-on-diagnostic                              - When a diagnostic is emitted on an operation, also print the operation as an attached note
  --mlir-print-skip-regions                                  - Skip regions when printing ops.
  --mlir-print-stacktrace-on-diagnostic                      - When a diagnostic is emitted, also print the stack trace as an attached note
  --mlir-print-unique-ssa-ids                                - Print unique SSA ID numbers for values, block arguments and naming conflicts across all regions
  --mlir-print-value-users                                   - Print users of operation results and block arguments as a comment
  --mlir-timing                                              - Display execution times
  --mlir-timing-display=<value>                              - Display method for timing data
    =list                                                    -   display the results in a list sorted by total time
    =tree                                                    -   display the results ina with a nested tree view
  Translations to perform
      --import-sdf                                              - import an IEEE 1800-2017 Clause 32 SDF delay file
      --mlir-to-llvmir                                          - translate LLVM dialect IR with typed Talos backend metadata
  --mlir-use-nameloc-as-prefix                               - Print SSA IDs using NameLocs as prefixes
  --no-implicit-module                                       - Disable the parsing of an implicit top-level module op
  -o <filename>                                              - Output filename
  --object-size-offset-visitor-max-visit-instructions=<uint> - Maximum number of instructions for ObjectSizeOffsetVisitor to look at
  --output-split-marker=<string>                             - Split marker to use for merging the ouput
  --split-input-file[=<string>]                                - Split the input file into chunks using the given or default marker and process each chunk independently
  --verify-diagnostics                                       - Check that emitted diagnostics match expected-* lines on the corresponding line
  --verify-diagnostics=<value>                               - Check that emitted diagnostics match expected-* lines on the corresponding line
    =all                                                     -   Check all diagnostics (expected, unexpected, near-misses)
    =<empty>                                                 -   Check all diagnostics (expected, unexpected, near-misses)
    =only-expected                                           -   Check only expected diagnostics

Generic Options:

  --help                                                     - Display available options (--help-hidden for more)
  --help-list                                                - Display list of available options (--help-list-hidden for more)
  --version                                                  - Display the version of this program