Util

-iree-util-annotate-op-ordinals

Annotates ops with globally unique IDs for debugging.

-iree-util-apply-patterns

Applies some risky/IREE-specific canonicalization patterns.

-iree-util-combine-initializers

Combines global initializers into one.

-iree-util-drop-compiler-hints

Deletes operations that have no runtime equivalent.

Deletes operations that have no runtime equivalent and are only used in the compiler. This should be performed after all other compiler passes.

With keep-assume-int=true, leaves util.int.assume operations in place so they can be propagated to backends. This is a temporary measure until all bbackends have a rewrite for those assumptions (currently they're only handled by the patterns that target LLVM).

Options

-keep-assume-int : Whether annotations about the ranges and divisibility of integers should be kept.

-iree-util-dump-module

Dumps the module IR to the given file path.

Dumps the module IR to the given file path in either textual (.mlir) or binary (.mlirbc) format. Source locations remain unchanged.

Options

-path : File path to write the module text or binary into.

-iree-util-fixed-point-iterator

Iterates a sub-pipeline to a fixed point.

-iree-util-fold-globals

Folds duplicate globals and propagates constants.

Statistics

global ops before folding : Number of util.global ops before folding
global ops after folding  : Number of util.global ops after folding

-iree-util-fuse-globals

Fuses correlated globals together.

-iree-util-hoist-into-globals

Greedily hoists eligible constant expressions into globals.

Options

-max-size-increase-threshold : Maximum byte size increase allowed for constant expr hoisting policy toallow hoisting. The threshold is 1MB by default.

-iree-util-import-resources

Imports IR with arbitrary large-data into resources that IREE can manage efficiently

MLIR has many interesting ways to store large constants, most of which derive from *ElementsAttr. Given the uniquing/inline behavior, this exacts very large runtime and memory overhead costs.

This is a temporary pass to convert a majority of the legacy DenseElementsAttr attributes to DenseResourceElementsAttr. Ideally this is done at the source (frontend), but this pass is provided to aid transition and testing by doing a manual conversion with iree-opt.

-iree-util-ipo

Performs basic inter-procedural optimization.

-iree-util-optimize-int-arithmetic

Optimizes integer arithmetic using a variety of dataflow analysis and patterns.

Options

-narrow-to-i32 : Flag indicating if computations that can be performed with 32 bits should be. Mainly used for GPU code generation to not waste registers.

-iree-util-propagate-subranges

Propagates resource subranges across the program.

-iree-util-simplify-global-accesses

Hoists loads and sinks stores to variables to decrease data dependency regions.

-iree-util-strip-and-splat-constants

Strips constant util.global ops and replaces them with splats.

-iree-util-strip-debug-ops

Strips debug ops, like assertions.

-iree-util-test-conversion

Tests util dialect conversion patterns.

Options

-widen-integers        : Tests type conversion by widening integers to i32.
-structural-conversion : Tests generic structural conversion ops.

-iree-util-test-float-range-analysis

Tests floating point range analysis.

Tests floating point range analysis by evaluating any 'iree_unregistered.test_fprange' op and setting the results on an attribute.