OVERVIEW: MLIR modular optimizer driver
Available Dialects: acc, affine, amdgpu, amx, arith, arm_neon, arm_sme, arm_sve, async, bufferization, builtin, cf, complex, dlti, emitc, func, gpu, index, irdl, linalg, llvm, math, memref, mesh, ml_program, mpi, nvgpu, nvvm, omp, pdl, pdl_interp, polynomial, ptr, quant, rocdl, scf, shape, sparse_tensor, spirv, tensor, tosa, transform, ub, vector, x86vector, xegpu
USAGE: mlir-opt [options]
OPTIONS:
Color Options:
--color - Use colors in output (default=autodetect)
General options:
--aarch64-neon-syntax= - Choose style of NEON code to emit from AArch64 backend:
=generic - Emit generic NEON assembly
=apple - Emit Apple-style NEON assembly
--aarch64-use-aa - Enable the use of AA during codegen.
--abort-on-max-devirt-iterations-reached - Abort when the max iterations for devirtualization CGSCC repeat pass is reached
--allow-ginsert-as-artifact - Allow G_INSERT to be considered an artifact. Hack around AMDGPU test infinite loops.
--allow-unregistered-dialect - Allow operation with no registered dialects
--amdgpu-atomic-optimizer-strategy= - Select DPP or Iterative strategy for scan
=DPP - Use DPP operations for scan
=Iterative - Use Iterative approach for scan
=None - Disable atomic optimizer
--amdgpu-bypass-slow-div - Skip 64-bit divide for dynamic 32-bit values
--amdgpu-disable-loop-alignment - Do not align and prefetch loops
--amdgpu-dpp-combine - Enable DPP combiner
--amdgpu-dump-hsa-metadata - Dump AMDGPU HSA Metadata
--amdgpu-enable-merge-m0 - Merge and hoist M0 initializations
--amdgpu-indirect-call-specialization-threshold= - A threshold controls whether an indirect call will be specialized
--amdgpu-kernarg-preload-count= - How many kernel arguments to preload onto SGPRs
--amdgpu-module-splitting-max-depth= - maximum search depth. 0 forces a greedy approach. warning: the algorithm is up to O(2^N), where N is the max depth.
--amdgpu-promote-alloca-to-vector-limit= - Maximum byte size to consider promote alloca to vector
--amdgpu-sdwa-peephole - Enable SDWA peepholer
--amdgpu-use-aa-in-codegen - Enable the use of AA during codegen.
--amdgpu-verify-hsa-metadata - Verify AMDGPU HSA Metadata
--amdgpu-vgpr-index-mode - Use GPR indexing mode instead of movrel for vector indexing
--argext-abi-check - Verify that narrow int args are properly extended per the SystemZ ABI.
--arm-add-build-attributes -
--arm-implicit-it= - Allow conditional instructions outside of an IT block
=always - Accept in both ISAs, emit implicit ITs in Thumb
=never - Warn in ARM, reject in Thumb
=arm - Accept in ARM, reject in Thumb
=thumb - Warn in ARM, emit implicit ITs in Thumb
--asm-show-inst - Emit internal instruction representation to assembly file
--atomic-counter-update-promoted - Do counter update using atomic fetch add for promoted counters only
--atomic-first-counter - Use atomic fetch add for first counter in a function (usually the entry counter)
--bounds-checking-single-trap - Use one trap block per function
--bpf-stack-size= - Specify the BPF stack size limit
--cfg-hide-cold-paths= - Hide blocks with relative frequency below the given value
--cfg-hide-deoptimize-paths -
--cfg-hide-unreachable-paths -
--check-functions-filter= - Only emit checks for arguments of functions whose names match the given regular expression
--conditional-counter-update - Do conditional counter updates in single byte counters mode)
--cost-kind= - Target cost kind
=throughput - Reciprocal throughput
=latency - Instruction latency
=code-size - Code size
=size-latency - Code size and latency
--crel - Use CREL relocation format for ELF
--cs-profile-generate - Perform context sensitive PGO instrumentation
--cs-profile-path= - Context sensitive profile file path
--debug-info-correlate - Use debug info to correlate profiles. (Deprecated, use -profile-correlate=debug-info)
--debugify-func-limit= - Set max number of processed functions per pass.
--debugify-level= - Kind of debug info to add
=locations - Locations only
=location+variables - Locations and Variables
--debugify-quiet - Suppress verbose debugify output
Compiler passes to run
Passes:
--affine-data-copy-generate - Generate explicit copying for affine memory operations
--fast-mem-capacity= - Set fast memory space capacity in KiB (default: unlimited)
--fast-mem-space= - Fast memory space identifier for copy generation (default: 1)
--generate-dma - Generate DMA instead of point-wise copy
--min-dma-transfer= - Minimum DMA transfer size supported by the target in bytes
--skip-non-unit-stride-loops - Testing purposes: avoid non-unit stride loop choice depths for copy placement
--slow-mem-space= - Slow memory space identifier for copy generation (default: 0)
--tag-mem-space= - Tag memory space identifier for copy generation (default: 0)
--affine-expand-index-ops - Lower affine operations operating on indices into more fundamental operations
--affine-expand-index-ops-as-affine - Lower affine operations operating on indices into affine.apply operations
--affine-loop-coalescing - Coalesce nested loops with independent bounds into a single loop
--affine-loop-fusion - Fuse affine loop nests
--fusion-compute-tolerance= - Fractional increase in additional computation tolerated while fusing
--fusion-fast-mem-space= - Faster memory space number to promote fusion buffers to
--fusion-local-buf-threshold= - Threshold size (KiB) for promoting local buffers to fast memory space
--fusion-maximal - Enables maximal loop fusion
--mode= - fusion mode to attempt
=greedy - Perform greedy (both producer-consumer and sibling) fusion
=producer - Perform only producer-consumer fusion
=sibling - Perform only sibling fusion
--affine-loop-invariant-code-motion - Hoist loop invariant instructions outside of affine loops
--affine-loop-normalize - Apply normalization transformations to affine loop-like ops
--promote-single-iter - Promote single iteration loops
--affine-loop-tile - Tile affine loop nests
--cache-size= - Set size of cache to tile for in KiB (default: 512)
--separate - Separate full and partial tiles (default: false)
--tile-size= - Use this tile size for all loops
--tile-sizes= - List of tile sizes for each perfect nest (overridden by -tile-size)
--affine-loop-unroll - Unroll affine loops
--cleanup-unroll - Fully unroll the cleanup loop when possible.
--unroll-factor= - Use this unroll factor for all loops being unrolled
--unroll-full - Fully unroll loops
--unroll-full-threshold= - Unroll all loops with trip count less than or equal to this
--unroll-num-reps= - Unroll innermost loops repeatedly this many times
--unroll-up-to-factor - Allow unrolling up to the factor specified
--affine-loop-unroll-jam - Unroll and jam affine loops
--unroll-jam-factor= - Use this unroll jam factor for all loops (default 4)
--affine-parallelize - Convert affine.for ops into 1-D affine.parallel
--max-nested= - Maximum number of nested parallel loops to produce. Defaults to unlimited (UINT_MAX).
--parallel-reductions - Whether to parallelize reduction loops. Defaults to false.
--affine-pipeline-data-transfer - Pipeline non-blocking data transfers between explicitly managed levels of the memory hierarchy
--affine-scalrep - Replace affine memref accesses by scalars by forwarding stores to loads and eliminating redundant loads
--affine-simplify-structures - Simplify affine expressions in maps/sets and normalize memrefs
--affine-super-vectorize - Vectorize to a target independent n-D vector abstraction
--test-fastest-varying= - Specify a 1-D, 2-D or 3-D pattern of fastest varying memory dimensions to match. See defaultPatterns in Vectorize.cpp for a description and examples. This is used for testing purposes
--vectorize-reductions - Vectorize known reductions expressed via iter_args. Switched off by default.
--virtual-vector-size= - Specify an n-D virtual vector size for vectorization. This must be greater than zero.
--amdgpu-emulate-atomics - Emulate atomic operations on chipsets that do not support them
--chipset= - Chipset that these operations will run on
--arith-emulate-unsupported-floats - Emulate operations on unsupported floats with extf/truncf
--source-types= - MLIR types without arithmetic support on a given target
--target-type= - MLIR type to convert the unsupported source types to
--arith-emulate-wide-int - Emulate 2*N-bit integer operations using N-bit operations
--widest-int-supported= - Widest integer type supported by the target
--arith-expand - Legalize Arith ops to be convertible to LLVM.
--include-bf16 - Enable the BF16 expansion patterns
--arith-int-range-narrowing - Reduce integer operations bitwidth based on integer range analysis
--int-bitwidths-supported= - Integer bitwidths supported
--arith-unsigned-when-equivalent - Replace signed ops with unsigned ones where they are proven equivalent
--arm-neon-2d-to-intr - Convert Arm NEON structured ops to intrinsics
--arm-sme-outer-product-fusion - Fuse 'arm_sme.outerproduct' operations into 2-way or 4-way widening variants
--arm-sme-vector-legalization - Legalize vectors for ArmSME
--arm-sve-legalize-vector-storage - Ensures stores of SVE vector types will be legal
--async-func-to-async-runtime - Lower async.func operations to the explicit async.runtime andasync.coro operations
--async-parallel-for - Convert scf.parallel operations to multiple async compute ops executed concurrently for non-overlapping iteration ranges
--async-dispatch - Dispatch async compute tasks using recursive work splitting. If `false` async compute tasks will be launched using simple for loop in the caller thread.
--min-task-size= - The minimum task size for sharding parallel operation.
--num-workers= - The number of available workers to execute async operations. If `-1` the value will be retrieved from the runtime.
--async-runtime-policy-based-ref-counting - Policy based reference counting for Async runtime operations
--async-runtime-ref-counting - Automatic reference counting for Async runtime operations
--async-runtime-ref-counting-opt - Optimize automatic reference counting operations for theAsync runtime by removing redundant operations
--async-to-async-runtime - Lower all high level async operations (e.g. async.execute) tothe explicit async.runtime and async.coro operations
--buffer-deallocation - Adds all required dealloc operations for all allocations in the input program
--buffer-deallocation-simplification - Optimizes `bufferization.dealloc` operation for more efficient codegen
--buffer-hoisting - Optimizes placement of allocation operations by moving them into common dominators and out of nested regions
--buffer-loop-hoisting - Optimizes placement of allocation operations by moving them out of loop nests
--buffer-results-to-out-params - Converts memref-typed function results to out-params
--add-result-attr - Add the attribute 'bufferize.result' to all output parameters.
--hoist-static-allocs - Hoist static allocations to call sites.
--bufferization-lower-deallocations - Lowers `bufferization.dealloc` operations to `memref.dealloc`operations
--canonicalize - Canonicalize operations
--disable-patterns= - Labels of patterns that should be filtered out during application
--enable-patterns= - Labels of patterns that should be used during application, all other patterns are filtered out
--max-iterations= - Max. iterations between applying patterns / simplifying regions
--max-num-rewrites= - Max. number of pattern rewrites within an iteration
--region-simplify= - Perform control flow optimizations to the region tree
=disabled - Don't run any control-flow simplification.
=normal - Perform simple control-flow simplifications (e.g. dead args elimination).
=aggressive - Perform aggressive control-flow simplification (e.g. block merging).
--test-convergence - Test only: Fail pass on non-convergence to detect cyclic pattern
--top-down - Seed the worklist in general top-down order
--composite-fixed-point-pass - Composite fixed point pass
--max-iterations= - Maximum number of iterations if inner pipeline
--name= - Composite pass display name
--pipeline= - Composite pass inner pipeline
--control-flow-sink - Sink operations into conditional blocks
--convert-affine-for-to-gpu - Convert top-level AffineFor Ops to GPU kernels
--gpu-block-dims= - Number of GPU block dimensions for mapping
--gpu-thread-dims= - Number of GPU thread dimensions for mapping
--convert-amdgpu-to-rocdl - Convert AMDGPU dialect to ROCDL dialect
--chipset= - Chipset that these operations will run on
--convert-arith-to-amdgpu - Convert Arith operations to AMDGPU-specific implementations
--allow-packed-f16-round-to-zero - Whether we should allow f32->f16 packed round-to-zero conversion
--chipset= - Chipset that these operations will run on
--saturate-fp8-truncf - Use saturating truncation for 8-bit float types
--convert-arith-to-arm-sme - Convert Arith dialect to ArmSME dialect
--convert-arith-to-emitc - Convert Arith dialect to EmitC dialect
--convert-arith-to-llvm - Convert Arith dialect to LLVM dialect
--index-bitwidth= - Bitwidth of the index type, 0 to use size of machine word
--convert-arith-to-spirv - Convert Arith dialect to SPIR-V dialect
--emulate-lt-32-bit-scalar-types - Emulate narrower scalar types with 32-bit ones if not supported by the target
--convert-arm-sme-to-llvm - Lower the operations from the ArmSME dialect into the LLVM dialect
--dump-tile-live-ranges - Dump the live ranges of SME tiles (for debugging)
--convert-arm-sme-to-scf - Lower the operations from the ArmSME dialect into the SCF dialect
--convert-async-to-llvm - Convert the operations from the async dialect into the LLVM dialect
--convert-bufferization-to-memref - Convert operations from the Bufferization dialect to the MemRef dialect
--convert-cf-to-llvm - Convert ControlFlow operations to the LLVM dialect
--index-bitwidth= - Bitwidth of the index type, 0 to use size of machine word
--convert-cf-to-spirv - Convert ControlFlow dialect to SPIR-V dialect
--emulate-lt-32-bit-scalar-types - Emulate narrower scalar types with 32-bit ones if not supported by the target
--convert-complex-to-libm - Convert Complex dialect to libm calls
--convert-complex-to-llvm - Convert Complex dialect to LLVM dialect
--convert-complex-to-spirv - Convert Complex dialect to SPIRV dialect
--convert-complex-to-standard - Convert Complex dialect to standard dialect
--convert-elementwise-to-linalg - Convert ElementwiseMappable ops to linalg
--convert-func-to-emitc - Convert Func dialect to EmitC dialect
--convert-func-to-llvm - Convert from the Func dialect to the LLVM dialect
--index-bitwidth= - Bitwidth of the index type, 0 to use size of machine word
--use-bare-ptr-memref-call-conv - Replace FuncOp's MemRef arguments with bare pointers to the MemRef element types
--convert-func-to-spirv - Convert Func dialect to SPIR-V dialect
--emulate-lt-32-bit-scalar-types - Emulate narrower scalar types with 32-bit ones if not supported by the target
--convert-gpu-to-llvm-spv - Generate LLVM operations to be ingested by a SPIR-V backend for gpu operations
--use-64bit-index - Use 64-bit integers to convert index types
--convert-gpu-to-nvvm - Generate NVVM operations for gpu operations
--has-redux - Target gpu supports redux
--index-bitwidth= - Bitwidth of the index type, 0 to use size of machine word
--use-bare-ptr-memref-call-conv - Replace memref arguments in GPU functions with bare pointers. All memrefs must have static shape.
--convert-gpu-to-rocdl - Generate ROCDL operations for gpu operations
--chipset= - Chipset that these operations will run on
--index-bitwidth= - Bitwidth of the index type, 0 to use size of machine word
--runtime= - Runtime code will be run on (default is Unknown, can also use HIP or OpenCl)
=unknown - Unknown (default)
=HIP - HIP
=OpenCL - OpenCL
--use-bare-ptr-memref-call-conv - Replace memref arguments in GPU functions with bare pointers.All memrefs must have static shape
--convert-gpu-to-spirv - Convert GPU dialect to SPIR-V dialect
--use-64bit-index - Use 64-bit integers to convert index types
--convert-index-to-llvm - Lower the `index` dialect to the `llvm` dialect.
--index-bitwidth= - Bitwidth of the index type, 0 to use size of machine word
--convert-index-to-spirv - Lower the `index` dialect to the `spirv` dialect.
--use-64bit-index - Use 64-bit integers to convert index types
--convert-linalg-to-affine-loops - Lower the operations from the linalg dialect into affine loops
--convert-linalg-to-loops - Lower the operations from the linalg dialect into loops
--convert-linalg-to-parallel-loops - Lower the operations from the linalg dialect into parallel loops
--convert-linalg-to-std - Convert the operations from the linalg dialect into the Standard dialect
--convert-math-to-emitc - Convert some Math operations to EmitC call_opaque operations
--language-target= - Select the language standard target for callees (c99 or cpp11).
=c99 - c99
=cpp11 - cpp11
--convert-math-to-funcs - Convert Math operations to calls of outlined implementations.
--convert-ctlz - Convert math.ctlz to a software implementation. Enable for targets that do not natively support ctlz.
--min-width-of-fpowi-exponent= - Convert FPowI only if the width of its exponent's integer type is greater than or equal to this value
--convert-math-to-libm - Convert Math dialect to libm calls
--convert-math-to-llvm - Convert Math dialect to LLVM dialect
--approximate-log1p - Enable approximation of Log1p.
--convert-math-to-rocdl - Convert Math dialect to ROCDL library calls
--convert-math-to-spirv - Convert Math dialect to SPIR-V dialect
--convert-memref-to-emitc - Convert MemRef dialect to EmitC dialect
--convert-memref-to-spirv - Convert MemRef dialect to SPIR-V dialect
--bool-num-bits= - The number of bits to store a boolean value
--use-64bit-index - Use 64-bit integers to convert index types
--convert-mesh-to-mpi - Convert Mesh dialect to MPI dialect.
--convert-nvgpu-to-nvvm - Convert NVGPU dialect to NVVM dialect
--convert-nvvm-to-llvm - Convert NVVM to PTX with Inline Assembly in LLVM dialect
--convert-openacc-to-scf - Convert the OpenACC ops to OpenACC with SCF dialect
--convert-openmp-to-llvm - Convert the OpenMP ops to OpenMP ops with LLVM dialect
--convert-parallel-loops-to-gpu - Convert mapped scf.parallel ops to gpu launch operations
--convert-pdl-to-pdl-interp - Convert PDL ops to PDL interpreter ops
--convert-scf-to-cf - Convert SCF dialect to ControlFlow dialect, replacing structured control flow with a CFG
--convert-scf-to-emitc - Convert SCF dialect to EmitC dialect, maintaining structured control flow
--convert-scf-to-openmp - Convert SCF parallel loop to OpenMP parallel + workshare constructs.
--num-threads= - Number of threads to use
--convert-scf-to-spirv - Convert SCF dialect to SPIR-V dialect.
--convert-shape-constraints - Convert shape constraint operations to the standard dialect
--convert-shape-to-std - Convert operations from the shape dialect into the standard dialect
--convert-spirv-to-llvm - Convert SPIR-V dialect to LLVM dialect
--client-api= - Derive StorageClass to address space mapping from the client API
=Unknown - Unknown (default)
=Metal - Metal
=OpenCL - OpenCL
=Vulkan - Vulkan
=WebGPU - WebGPU
--convert-tensor-to-linalg - Convert some Tensor dialect ops to Linalg dialect
--convert-tensor-to-spirv - Convert Tensor dialect to SPIR-V dialect
--emulate-lt-32-bit-scalar-types - Emulate narrower scalar types with 32-bit ones if not supported by the target
--convert-to-llvm - Convert to LLVM via dialect interfaces found in the input IR
--dynamic - Use op conversion attributes to configure the conversion
--filter-dialects= - Test conversion patterns of only the specified dialects
--convert-to-spirv - Convert to SPIR-V
--convert-gpu-modules - Clone and convert GPU modules
--nest-in-gpu-module - Put converted SPIR-V module inside the gpu.module instead of alongside it.
--run-signature-conversion - Run function signature conversion to convert vector types
--run-vector-unrolling - Run vector unrolling to convert vector types in function bodies
--convert-ub-to-llvm - Convert UB dialect to LLVM dialect
--index-bitwidth= - Bitwidth of the index type, 0 to use size of machine word
--convert-ub-to-spirv - Convert UB dialect to SPIR-V dialect
--convert-vector-to-arm-sme - Lower the operations from the vector dialect into the ArmSME dialect
--convert-vector-to-gpu - Lower the operations from the vector dialect into the GPU dialect
--use-nvgpu - convert to NvGPU ops instead of GPU dialect ops
--convert-vector-to-llvm - Lower the operations from the vector dialect into the LLVM dialect
--enable-amx - Enables the use of AMX dialect while lowering the vector dialect.
--enable-arm-neon - Enables the use of ArmNeon dialect while lowering the vector dialect.
--enable-arm-sve - Enables the use of ArmSVE dialect while lowering the vector dialect.
--enable-x86vector - Enables the use of X86Vector dialect while lowering the vector dialect.
--force-32bit-vector-indices - Allows compiler to assume vector indices fit in 32-bit if that yields faster code
--reassociate-fp-reductions - Allows llvm to reassociate floating-point reductions for speed
--vector-transform-options= - Options to lower some operations like contractions and transposes.
--convert-vector-to-scf - Lower the operations from the vector dialect into the SCF dialect
--full-unroll - Perform full unrolling when converting vector transfers to SCF
--lower-scalable - Add scalable vector specific lowerings (that introduce loops)
--lower-tensors - Lower transfer ops that operate on tensors
--target-rank= - Target vector rank to which transfer ops should be lowered
--convert-vector-to-spirv - Convert Vector dialect to SPIR-V dialect
--convert-vector-to-xegpu - Lower the operations from the vector dialect into the XeGPU dialect
--cse - Eliminate common sub-expressions
--decorate-spirv-composite-type-layout - Decorate SPIR-V composite type with layout info
--drop-equivalent-buffer-results - Remove MemRef return values that are equivalent to a bbArg
--duplicate-function-elimination - Deduplicate functions
--eliminate-empty-tensors - Try to eliminate all tensor.empty ops.
--empty-tensor-to-alloc-tensor - Replace all empty ops by alloc_tensor ops.
--enable-arm-streaming - Enable Armv9 Streaming SVE mode
--if-required-by-ops - Only apply the selected streaming/ZA modes if the function contains ops that implement the ArmSMETileOpInterface.
--if-scalable-and-supported - Only apply the selected streaming/ZA modes if the function contains supported scalable vector operations.
--streaming-mode= - Select how streaming-mode is managed at the function-level.
=disabled - Streaming mode is disabled.
=streaming - Streaming mode is part of the function interface (ABI), caller manages PSTATE.SM on entry/exit.
=streaming-locally - Streaming mode is internal to the function, callee manages PSTATE.SM on entry/exit.
=streaming-compatible - Function supports both streaming and non-streaming modes.
--za-mode= - Select how ZA-storage is managed at the function-level.
=disabled - ZA storage is disabled.
=new-za - The function has ZA state. The ZA state is created on entry and destroyed on exit.
=in-za - The function uses ZA state. The ZA state may be used for input.
=out-za - The function uses ZA state. The ZA state may be used for output.
=inout-za - The function uses ZA state. The ZA state may be used for input and/or output.
=preserves-za - The function shares ZA state. The ZA state may not be used for input and/or output and the function must return with ZA unchanged
--ensure-debug-info-scope-on-llvm-func - Materialize LLVM debug info subprogram attribute on every LLVMFuncOp
--emission-kind= - Emission kind to generate debug info.
=None - None
=Full - Full
=LineTablesOnly - LineTablesOnly (default)
=DebugDirectivesOnly - DebugDirectivesOnly
--expand-realloc - Expand memref.realloc operations into its components
--emit-deallocs - Emit deallocation operations for the original MemRef
--expand-strided-metadata - Expand memref operations into easier to analyze constructs
--finalize-memref-to-llvm - Finalize MemRef dialect to LLVM dialect conversion
--index-bitwidth= - Bitwidth of the index type, 0 to use size of machine word
--use-aligned-alloc - Use aligned_alloc in place of malloc for heap allocations
--use-generic-functions - Use generic allocation and deallocation functions instead of the classic 'malloc', 'aligned_alloc' and 'free' functions
--fold-memref-alias-ops - Fold memref alias ops into consumer load/store ops
--fold-tensor-subset-ops - Fold tensor subset ops into producer/consumer ops
--form-expressions - Form C-style expressions from C-operator ops
--generate-runtime-verification - Generate additional runtime op verification checks
--gpu-async-region - Make GPU ops async
--gpu-decompose-memrefs - Decomposes memref index computation into explicit ops.
--gpu-eliminate-barriers - Erase unnecessary barriers
--gpu-kernel-outlining - Outline gpu.launch bodies to kernel functions
--data-layout-str= - String containing the data layout specification to be attached to the GPU kernel module
--gpu-launch-sink-index-computations - Sink index computations into gpu.launch body
--gpu-map-parallel-loops - Greedily maps loops to GPU hardware dimensions.
--gpu-module-to-binary - Transforms a GPU module into a GPU binary.
--format= - The target representation of the compilation process.
-l - Extra files to link to.
--opts= - Command line options to pass to the tools.
--section= - ELF section where binary is to be located.
--toolkit= - Toolkit path.
--gpu-to-llvm - Convert GPU dialect to LLVM dialect with GPU runtime calls
--intersperse-sizes-for-kernels - Inserts a size_t argument following each memref argument, containing the static size in bytes of the buffer. Incompatible arguments are rejected. This is intended for use by the Vulkan runtime with the kernel bare pointer calling convention, to enable dynamic binding of buffers as arguments without static type info.
--use-bare-pointers-for-host - Use bare pointers to pass memref arguments to host functions. All memrefs must have static shape.
--use-bare-pointers-for-kernels - Use bare pointers to pass memref arguments to kernels. The kernel must use the same setting for this option.
--inline - Inline function calls
--default-pipeline= - The optimizer pipeline used for callables that do not have a dedicated optimizer pipeline in opPipelineList
--inlining-threshold= - If the ratio between the number of the operations in the callee and the number of the operations in the caller exceeds this value (in percentage), then the callee is not inlined even if it is legal to inline it
--max-iterations= - Maximum number of iterations when inlining within an SCC
--op-pipelines= - Callable operation specific optimizer pipelines (in the form of `dialect.op(pipeline)`)
--int-range-optimizations - Do optimizations based on integer range analysis
--lift-cf-to-scf - Lift ControlFlow dialect to SCF dialect
--linalg-block-pack-matmul - Convert linalg matmul ops to block layout and back
--allow-padding - Allow packing padding
--block-factors= - Block factors (mb, nb, kb) for relayout
--lhs-transpose-inner-blocks - Transpose LHS inner block layout [mb][kb] -> [kb][mb]
--lhs-transpose-outer-blocks - Transpose LHS outer block layout [MB][KB] -> [KB][MB]
--mnk-order= - Permutation of matmul (M, N, K) dimensions order
--mnk-padded-multiples= - Next multiples of the packing sizes
--rhs-transpose-inner-blocks - Transpose RHS inner block layout [kb][nb] -> [nb][kb]
--rhs-transpose-outer-blocks - Transpose RHS outer block layout [KB][NB] -> [NB][KB]
--linalg-detensorize - Detensorize linalg ops
--aggressive-mode - Detensorize all ops that qualify for detensoring along with branch operands and basic-block arguments.
--linalg-fold-unit-extent-dims - Remove unit-extent dimension in Linalg ops on tensors
--use-rank-reducing-slices - Generate rank-reducing slices instead of reassociative reshapes
--linalg-fuse-elementwise-ops - Fuse elementwise operations on tensors
--linalg-generalize-named-ops - Convert named ops into generic ops
--linalg-inline-scalar-operands - Inline scalar operands into linalg generic ops
--linalg-named-op-conversion - Convert from one named linalg op to another.
--linalg-specialize-generic-ops - Convert generic ops back to named ops
--llvm-add-comdats - Add comdats to linkonce and linkonce_odr functions
--llvm-legalize-for-export - Legalize LLVM dialect to be convertible to LLVM IR
--llvm-optimize-for-nvvm-target - Optimize NVVM IR
--llvm-request-c-wrappers - Request C wrapper emission for all functions
--loop-invariant-code-motion - Hoist loop invariant instructions outside of the loop
--loop-invariant-subset-hoisting - Hoist loop invariant subset ops outside of the loop
--lower-affine - Lower Affine operations to a combination of Standard and SCF operations
--lower-host-to-llvm - Lowers the host module code and `gpu.launch_func` to LLVM
--lower-quant-ops - Lower quant.dcast and quant.qcast ops
--lower-sparse-foreach-to-scf - Decompose a complex sparse operation into multiple stages
--lower-sparse-iteration-to-scf - lower sparse_tensor.iterate/coiterate into scf loops
--lower-sparse-ops-to-foreach - Applies sparse tensor rewriting rules after sparsification
--enable-convert - Enable rewriting rules for the convert operator
--enable-runtime-library - Enable runtime library for manipulating sparse tensors
--lower-vector-mask - Lower 'vector.mask' operations
--lower-vector-multi-reduction - Lower 'vector.multi_reduction' operations
--lowering-strategy= - Select the strategy to control how multi_reduction is lowered.
=inner-parallel - Lower multi_reduction into outer-reduction and inner-parallel ops.
=inner-reduction - Lower multi_reduction into outer-parallel and inner-reduction ops.
--map-memref-spirv-storage-class - Map numeric MemRef memory spaces to SPIR-V storage classes
--client-api= - The client API to use for populating mappings
--math-extend-to-supported-types - Legalize floating-point math ops on low-precision floats
--extra-types= - MLIR types with arithmetic support on a given target (f64 and f32 are implicitly supported)
--target-type= - MLIR type to convert the unsupported source types to
--math-uplift-to-fma - Uplift arith ops to math.fma.
--mem2reg - Promotes memory slots into values.
--region-simplify - Perform control flow optimizations to the region tree
--memref-emulate-wide-int - Emulate 2*N-bit integer operations using N-bit operations
--widest-int-supported= - Widest integer type supported by the target
--memref-expand - Legalize memref operations to be convertible to LLVM.
--mesh-spmdization - Partition a function into SPMD form.
--mlprogram-pipeline-globals - Optimize `ml_program` global operations for read and store
--normalize-memrefs - Normalize memrefs
--nvgpu-optimize-shared-memory - Optimizes accesses to shard memory memrefs in order to reduce bank conflicts.
--nvvm-attach-target - Attaches an NVVM target attribute to a GPU Module.
-O - Optimization level.
--chip= - Target chip.
--fast - Enable fast math mode.
--features= - Target features.
--ftz - Enable flush to zero for denormals.
-l - Extra bitcode libraries paths to link to.
--module= - Regex used to identify the modules to attach the target to.
--triple= - Target triple.
--one-shot-bufferize - One-Shot Bufferize
--allow-return-allocs-from-loops - Allows returning/yielding new allocations from a loop.
--allow-unknown-ops - Allows unknown (not bufferizable) ops in the input IR.
--analysis-fuzzer-seed= - Test only: Analyze ops in random order with a given seed (fuzzer)
--analysis-heuristic= - Heuristic that control the IR traversal during analysis
--buffer-alignment= - Sets the alignment of newly allocated buffers.
--bufferize-function-boundaries - Bufferize function boundaries (experimental).
--check-parallel-regions - Account for parallel regions in RaW analysis.
--copy-before-write - Skip the analysis. Make a buffer copy on every write.
--dialect-filter= - Restrict bufferization to ops from these dialects.
--dump-alias-sets - Test only: Annotate tensor IR with alias sets
--function-boundary-type-conversion= - Controls layout maps when bufferizing function signatures.
--must-infer-memory-space - The memory space of an memref types must always be inferred. If unset, a default memory space of 0 is used otherwise.
--no-analysis-func-filter= - Skip analysis of functions with these symbol names.Set copyBeforeWrite to true when bufferizing them.
--print-conflicts - Test only: Annotate IR with RaW conflicts. Requires test-analysis-only.
--test-analysis-only - Test only: Only run inplaceability analysis and annotate IR
--unknown-type-conversion= - Controls layout maps for non-inferrable memref types.
--use-encoding-for-memory-space - Use the Tensor encoding attribute for the memory space. Exclusive to the 'must-infer-memory-space' option
--openacc-legalize-data-values - Legalizes SSA values in compute regions with results from data clause operations
--apply-to-acc-data-construct - Replaces varPtr uses with accPtr for acc compute regions contained within acc.data or acc.declare region.
--host-to-device - Replace varPtr uses with accPtr if true. Replace accPtr uses with varPtr if false
--optimize-allocation-liveness - This pass optimizes the liveness of temp allocations in the input function
--outline-shape-computation - Using shape.func to preserve shape computation
--ownership-based-buffer-deallocation - Adds all required dealloc operations for all allocations in the input program
--private-function-dynamic-ownership - Allows to add additional arguments to private functions to dynamically pass ownership of memrefs to callees. This can enable earlier deallocations.
--pre-sparsification-rewrite - Applies sparse tensor rewriting rules prior to sparsification
--print-ir - Print IR on the debug stream
--label= - Label
--print-op-stats - Print statistics of operations
--json - print the stats as JSON
--promote-buffers-to-stack - Promotes heap-based allocations to automatically managed stack-based allocations
--max-alloc-size-in-bytes= - Maximal size in bytes to promote allocations to stack.
--max-rank-of-allocated-memref= - Maximal memref rank to promote dynamic buffers.
--reconcile-unrealized-casts - Simplify and eliminate unrealized conversion casts
--remove-dead-values - Remove dead values
--remove-shape-constraints - Replace all cstr_ ops with a true witness
--resolve-ranked-shaped-type-result-dims - Resolve memref.dim of result values of ranked shape type
--resolve-shaped-type-result-dims - Resolve memref.dim of result values
--rocdl-attach-target - Attaches a ROCDL target attribute to a GPU Module.
-O - Optimization level.
--abi= - ABI version.
--chip= - Target chip.
--correct-sqrt - Enable correct rounded sqrt.
--daz - Enable denormals are zero opt.
--fast - Enable fast relaxed math opt.
--features= - Target features.
--finite-only - Enable finite only opt.
-l - Extra bitcode libraries paths to link to.
--module= - Regex used to identify the modules to attach the target to.
--triple= - Target triple.
--unsafe-math - Enable unsafe math opt.
--wave64 - Use Wave64 mode.
--sccp - Sparse Conditional Constant Propagation
--scf-for-loop-canonicalization - Canonicalize operations within scf.for loop bodies
--scf-for-loop-peeling - Peel `for` loops at their upper bounds.
--peel-front - Peel the first iteration out of the loop.
--skip-partial - Do not peel loops inside of the last, partial iteration of another already peeled loop.
--scf-for-loop-range-folding - Fold add/mul ops into loop range
--scf-for-loop-specialization - Specialize `for` loops for vectorization
--scf-for-to-while - Convert SCF for loops to SCF while loops
--scf-forall-to-for - Convert SCF forall loops to SCF for loops
--scf-forall-to-parallel - Convert SCF forall loops to SCF parallel loops
--scf-parallel-loop-fusion - Fuse adjacent parallel loops
--scf-parallel-loop-specialization - Specialize parallel loops for vectorization
--scf-parallel-loop-tiling - Tile parallel loops
--no-min-max-bounds - Perform tiling with fixed upper bound with inbound check inside the internal loops
--parallel-loop-tile-sizes= - Factors to tile parallel loops by
--set-llvm-module-datalayout - Attach a datalayout string as a module attribute
--data-layout= - String description (LLVM format) of the data layout that is expected on the produced module
--shape-to-shape-lowering - Legalize Shape dialect to be convertible to Arith
--sharding-propagation - sharding propagation
--snapshot-op-locations - Generate new locations from the current IR
--filename= - The filename to print the generated IR
--pretty-debuginfo - Print pretty debug info in MLIR output
--print-debuginfo - Print debug info in MLIR output
--print-local-scope - Print with local scope and inline information (eliding aliases for attributes, types, and locations
--print-op-generic - Print the generic op form
--tag= - A tag to use when fusing the new locations with the original. If unset, the locations are replaced.
--sparse-assembler - Add [dis]assemble operations on external sparse tensors
--direct-out - Directly returns buffers externally
--sparse-buffer-rewrite - Rewrite sparse primitives on buffers to actual code
--enable-buffer-initialization - Enable zero-initialization of the memory buffers
--sparse-gpu-codegen - Generates GPU code during sparsification
--enable-runtime-library - Enable runtime library for manipulating sparse tensors
--num-threads= - Sets the number of GPU threads
--sparse-reinterpret-map - Reinterprets sparse tensor type mappings
--scope= - Set the reiterpretation scope
=all - Run on every applicable operations.
=only-generic - Run only on linalg.generic operations.
=except-generic - Run on operations expect linalg.generic (e.g., foreach)
--sparse-space-collapse - sparse space collapsing pass
--sparse-storage-specifier-to-llvm - Lower sparse storage specifer to llvm structure
--sparse-tensor-codegen - Convert sparse tensors and primitives to actual code
--create-sparse-deallocs - Specify if the temporary buffers created by the sparse compiler should be deallocated. For compatibility with core bufferization passes. This option is only used when enable-runtime-library=false. See also create-deallocs for BufferizationOption.
--enable-buffer-initialization - Enable zero-initialization of the memory buffers
--sparse-tensor-conversion - Convert sparse tensors and primitives to library calls
--sparse-vectorization - Vectorizes loops after sparsification
--enable-simd-index32 - Enable i32 indexing into vectors (for efficient gather/scatter)
--enable-vla-vectorization - Enable vector length agnostic vectorization
--vl= - Set the vector length (use 0 to disable vectorization)
--sparsification - Automatically generate sparse tensor code from sparse tensor types
--enable-runtime-library - Enable runtime library for manipulating sparse tensors
--parallelization-strategy= - Set the parallelization strategy
=none - Turn off sparse parallelization.
=dense-outer-loop - Enable dense outer loop sparse parallelization.
=any-storage-outer-loop - Enable sparse parallelization regardless of storage for the outer loop.
=dense-any-loop - Enable dense parallelization for any loop.
=any-storage-any-loop - Enable sparse parallelization for any storage and loop.
--sparse-emit-strategy= - Emit functional code or interfaces (to debug) for sparse loops
=functional - Emit functional code (with scf.for/while).
=sparse-iterator - Emit (experimental) loops (with sparse.iterate).
=debug-interface - Emit non-functional but easy-to-read interfaces to debug.
--sparsification-and-bufferization - Mini-pipeline that combines bufferization and sparsifiation
--enable-gpu-libgen - Enable GPU acceleration by means of direct library calls
--enable-simd-index32 - Enable i32 indexing into vectors (for efficient gather/scatter)
--enable-vla-vectorization - Enable vector length agnostic vectorization
--parallelization-strategy= - Set the parallelization strategy
=none - Turn off sparse parallelization.
=dense-outer-loop - Enable dense outer loop sparse parallelization.
=any-storage-outer-loop - Enable sparse parallelization regardless of storage for the outer loop.
=dense-any-loop - Enable dense parallelization for any loop.
=any-storage-any-loop - Enable sparse parallelization for any storage and loop.
--sparse-emit-strategy= - Emit functional code or interfaces (to debug) for sparse loops
=functional - Emit functional code (with scf.for/while).
=sparse-iterator - Emit (experimental) loops (with sparse.iterate).
=debug-interface - Emit non-functional but easy-to-read interfaces to debug.
--vl= - Set the vector length (use 0 to disable vectorization)
--spirv-attach-target - Attaches an SPIR-V target attribute to a GPU Module.
--caps= - List of supported SPIR-V Capabilities
--client_api= - Client API
--device_id= - Device ID
--device_type= - Device Type
--exts= - List of supported SPIR-V Extensions
--module= - Regex used to identify the modules to attach the target to.
--vendor= - Device Vendor
--ver= - SPIR-V Version.
--spirv-canonicalize-gl - Canonicalize GLSL ops
--spirv-lower-abi-attrs - Decorate SPIR-V composite type with layout info
--spirv-rewrite-inserts - Rewrite sequential chains of `spirv.CompositeInsert` operations into `spirv.CompositeConstruct` operations
--spirv-unify-aliased-resource - Unify access of multiple aliased resources into access of one single resource
--spirv-update-vce - Deduce and attach minimal (version, capabilities, extensions) requirements to spirv.module ops
--spirv-webgpu-prepare - Prepare SPIR-V to target WebGPU by expanding unsupported ops and replacing with supported ones
--sroa - Scalar Replacement of Aggregates
--stage-sparse-ops - Decompose a complex sparse operation into multiple stages
--strip-debuginfo - Strip debug info from all operations
--strip-func-quant-types - Strip quantized types from function headers
--symbol-dce - Eliminate dead symbols
--symbol-privatize - Mark symbols private
--exclude= - Comma separated list of symbols that should not be marked private
--test-arm-sme-tile-allocation - Tests SME 'virtual tile' allocation
--dump-tile-live-ranges - Dump the live ranges of SME tiles (for debugging)
--preprocess-only - Only preprocess IR so it is ready for tile allocation (but do not allocate any tiles)
--test-scf-parallel-loop-collapsing - Test parallel loops collapsing transformation
--collapsed-indices-0= - Which loop indices to combine 0th loop index
--collapsed-indices-1= - Which loop indices to combine into the position 1 loop index
--collapsed-indices-2= - Which loop indices to combine into the position 2 loop index
--topological-sort - Sort regions without SSA dominance in topological order
--tosa-infer-shapes - Propagate shapes across TOSA operations
--tosa-layerwise-constant-fold - Fold layerwise operations on constant tensors
--aggressive-reduce-constant - Always perform the reduce constant optimizationMay add more tosa.const but would reduce runtime calculations
--tosa-make-broadcastable - TOSA rank Reshape to enable Broadcasting
--tosa-optional-decompositions - Applies Tosa operations optional decompositions
--tosa-reduce-transposes - Reduce transposes through other operators
--tosa-to-arith - Lower TOSA to the Arith dialect
--include-apply-rescale - Whether to include the lowering for tosa.apply_rescale to arith
--use-32-bit - Whether to prioritze lowering to 32-bit operations
--tosa-to-linalg - Lower TOSA to LinAlg on tensors
--aggressive-reduce-constant - Always perform the reduce constant optimization
--disable-tosa-decompositions - Disable tosa decompositions pass
--tosa-to-linalg-named - Lower TOSA to LinAlg named operations
--prefer-conv2d-kernel-layout-hwcf - Prefer generating linalg.conv_2d_nhwc_hwcf over linalg.conv_2d_nhwc_fhwc
--tosa-to-mlprogram - Lower TOSA to the MLProgram dialect
--tosa-to-scf - Lower TOSA to the SCF dialect
--tosa-to-tensor - Lower TOSA to the Tensor dialect
--tosa-validate - Validates TOSA dialect
--level= - Validate if operator parameters are within specfication for the given level
=8k - Ranges are expected to be sufficient for applications with frame sizes up to 8K.
=none - Allows the full range of arguments specified by the operations according to the operation data types.
--profile= - Validate if operations match for the given profile set
--strict-op-spec-alignment - Verify if the properties of certain operations align the spec requirement
--transform-dialect-check-uses - warn about potential use-after-free in the transform dialect
--transform-infer-effects - infer transform side effects for symbols
--transform-interpreter - transform dialect interpreter
--debug-bind-trailing-args= - Binds trailing arguments of the entry point to the payload operations with specified names.
--debug-payload-root-tag= - Select the operation with 'transform.target_tag' attribute having the given value as payload IR root. If empty select the pass anchor operation as the payload IR root.
--disable-expensive-checks - Disable expensive checks in the interpreter for a faster run.
--entry-point= - Entry point of the pass pipeline.
--transform-preload-library - preload transform dialect library
--transform-library-paths= - Optional paths to files with modules that should be merged into the transform module to provide the definitions of external named sequences.
--view-op-graph - Print Graphviz visualization of an operation
--max-label-len= - Limit attribute/type length to number of chars
--print-attrs - Print attributes of operations
--print-control-flow-edges - Print control flow edges
--print-data-flow-edges - Print data flow edges
--print-result-types - Print result types of operations
--xegpu-fold-alias-ops - Fold alias ops into XeGPU ops
Pass Pipelines:
--buffer-deallocation-pipeline - The default pipeline for automatically inserting deallocation operations after one-shot bufferization. Deallocation operations (except `memref.realloc`) may not be present already.
--private-function-dynamic-ownership - Allows to add additional results to private functions to return ownership of returned memrefs to callers. This can avoid spurious buffer clones in the callee.
--gpu-lower-to-nvvm-pipeline - The default pipeline lowers main dialects (arith, memref, scf, vector, gpu, and nvgpu) to NVVM. It starts by lowering GPU code to the specified compilation target (default is fatbin) then lowers the host code.
--cubin-chip= - Chip to use to serialize to cubin.
--cubin-features= - Features to use to serialize to cubin.
--cubin-format= - Compilation format to use to serialize to cubin.
--cubin-triple= - Triple to use to serialize to cubin.
--host-bare-ptr-calling-convention - Whether to use the bareptr calling convention on the host (warning this should be false until the GPU layering is fixed)
--index-bitwidth= - Bitwidth of the index type for the host (warning this should be 64 until the GPU layering is fixed)
--kernel-bare-ptr-calling-convention - Whether to use the bareptr calling convention on the kernel (warning this should be false until the GPU layering is fixed)
--opt-level= - Optimization level for NVVM compilation
--sparsifier - The standard pipeline for taking sparsity-agnostic IR using the sparse-tensor type, and lowering it to LLVM IR with concrete representations and algorithms for sparse tensors.
--create-sparse-deallocs - Specify if the temporary buffers created by the sparse compiler should be deallocated. For compatibility with core bufferization passes. This option is only used when enable-runtime-library=false.
--enable-amx - Enables the use of AMX dialect while lowering the vector dialect
--enable-arm-neon - Enables the use of ArmNeon dialect while lowering the vector dialect
--enable-arm-sve - Enables the use of ArmSVE dialect while lowering the vector dialect
--enable-buffer-initialization - Enable zero-initialization of memory buffers
--enable-gpu-libgen - Enables GPU acceleration by means of direct library calls (like cuSPARSE)
--enable-index-optimizations - Allows compiler to assume indices fit in 32-bit if that yields faster code
--enable-runtime-library - Enable runtime library for manipulating sparse tensors
--enable-x86vector - Enables the use of X86Vector dialect while lowering the vector dialect
--gpu-chip= - GPU target architecture
--gpu-features= - GPU target features
--gpu-format= - GPU compilation format
--gpu-triple= - GPU target triple
--parallelization-strategy= - Set the parallelization strategy
=none - Turn off sparse parallelization.
=dense-outer-loop - Enable dense outer loop sparse parallelization.
=any-storage-outer-loop - Enable sparse parallelization regardless of storage for the outer loop.
=dense-any-loop - Enable dense parallelization for any loop.
=any-storage-any-loop - Enable sparse parallelization for any storage and loop.
--reassociate-fp-reductions - Allows llvm to reassociate floating-point reductions for speed
--sparse-emit-strategy= - Emit functional code or interfaces (to debug) for sparse loops
=functional - Emit functional code (with scf.for/while).
=sparse-iterator - Emit (experimental) loops (with sparse.iterate).
=debug-interface - Emit non-functional but easy-to-read interfaces to debug.
--test-bufferization-analysis-only - Run only the inplacability analysis
--vl= - Set the vector length (0 disables vectorization)
--tosa-to-linalg-pipeline - The default pipeline for converting TOSA operators to the equivalent operations using the tensor operations in LinAlg as well as LinAlg named operations.
--disable-auto-upgrade-debug-info - Disable autoupgrade of debug info
--disable-i2p-p2i-opt - Disables inttoptr/ptrtoint roundtrip optimization
--disable-promote-alloca-to-lds - Disable promote alloca to LDS
--disable-promote-alloca-to-vector - Disable promote alloca to vector
--do-counter-promotion - Do counter register promotion
--dot-cfg-mssa= - file name for generated dot file
--dump-pass-pipeline - Print the pipeline that will be run
--dwarf-version= - Dwarf version
--dwarf64 - Generate debugging info in the 64-bit DWARF format
--elide-resource-data-from-bytecode - Elide resources when generating bytecode
--emit-bytecode - Emit bytecode when generating output
--emit-bytecode-version= - Use specified bytecode when generating output
--emit-compact-unwind-non-canonical - Whether to try to emit Compact Unwind for non canonical entries.
--emit-dwarf-unwind= - Whether to emit DWARF EH frame entries.
=always - Always emit EH frame entries
=no-compact-unwind - Only emit EH frame entries when compact unwind is not available
=default - Use target platform default
--emscripten-cxx-exceptions-allowed= - The list of function names in which Emscripten-style exception handling is enabled (see emscripten EMSCRIPTEN_CATCHING_ALLOWED options)
--enable-cse-in-irtranslator - Should enable CSE in irtranslator
--enable-cse-in-legalizer - Should enable CSE in Legalizer
--enable-emscripten-cxx-exceptions - WebAssembly Emscripten-style exception handling
--enable-emscripten-sjlj - WebAssembly Emscripten-style setjmp/longjmp handling
--enable-gvn-hoist - Enable the GVN hoisting pass (default = off)
--enable-gvn-memdep -
--enable-gvn-memoryssa -
--enable-gvn-sink - Enable the GVN sinking pass (default = off)
--enable-jump-table-to-switch - Enable JumpTableToSwitch pass (default = off)
--enable-load-in-loop-pre -
--enable-load-pre -
--enable-loop-simplifycfg-term-folding -
--enable-name-compression - Enable name/filename string compression
--enable-split-backedge-in-load-pre -
--enable-split-loopiv-heuristic - Enable loop iv regalloc heuristic
--enable-vtable-profile-use - If ThinLTO and WPD is enabled and this option is true, vtable profiles will be used by ICP pass for more efficient indirect call sequence. If false, type profiles won't be used.
--enable-vtable-value-profiling - If true, the virtual table address will be instrumented to know the types of a C++ pointer. The information is used in indirect call promotion to do selective vtable-based comparison.
--expand-variadics-override= - Override the behaviour of expand-variadics
=unspecified - Use the implementation defaults
=disable - Disable the pass entirely
=optimize - Optimise without changing ABI
=lowering - Change variadic calling convention
--experimental-debug-variable-locations - Use experimental new value-tracking variable locations
--experimental-debuginfo-iterators - Enable communicating debuginfo positions through iterators, eliminating intrinsics. Has no effect if --preserve-input-debuginfo-format=true.
--fatal-warnings - Treat warnings as errors
--fdpic - Use the FDPIC ABI
--force-tail-folding-style= - Force the tail folding style
=none - Disable tail folding
=data - Create lane mask for data only, using active.lane.mask intrinsic
=data-without-lane-mask - Create lane mask with compare/stepvector
=data-and-control - Create lane mask using active.lane.mask intrinsic, and use it for both data and control flow
=data-and-control-without-rt-check - Similar to data-and-control, but remove the runtime check
=data-with-evl - Use predicated EVL instructions for tail folding. If EVL is unsupported, fallback to data-without-lane-mask.
--fs-profile-debug-bw-threshold= - Only show debug message if the source branch weight is greater than this value.
--fs-profile-debug-prob-diff-threshold= - Only show debug message if the branch probability is greater than this value (in percentage).
--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.
--gpsize= - Global Pointer Addressing Size. The default size is 8.
--hash-based-counter-split - Rename counter variable of a comdat function based on cfg hash
--hexagon-add-build-attributes -
--hexagon-rdf-limit= -
--hot-cold-split - Enable hot-cold splitting pass
--hwasan-percentile-cutoff-hot= - Hot percentile cutoff.
--hwasan-random-rate= - Probability value in the range [0.0, 1.0] to keep instrumentation of a function.
--implicit-mapsyms - Allow mapping symbol at section beginning to be implicit, lowering number of mapping symbols at the expense of some portability. Recommended for projects that can build all their object files using this option
--import-all-index - Import all external functions in index.
--incremental-linker-compatible - When used with filetype=obj, emit an object file which can be used with an incremental linker
--instcombine-code-sinking - Enable code sinking
--instcombine-guard-widening-window= - How wide an instruction window to bypass looking for another guard
--instcombine-max-num-phis= - Maximum number phis to handle in intptr/ptrint folding
--instcombine-max-sink-users= - Maximum number of undroppable users for instruction sinking
--instcombine-maxarray-size= - Maximum array size considered when doing a combine
--instcombine-negator-enabled - Should we attempt to sink negations?
--instcombine-negator-max-depth= - What is the maximal lookup depth when trying to check for viability of negation sinking.
--instrprof-atomic-counter-update-all - Make all profile counter updates atomic (for testing only)
--internalize-public-api-file= - A file containing list of symbol names to preserve
--internalize-public-api-list= - A list of symbol names to preserve
--irdl-file= - IRDL file to register before processing the input
--iterative-counter-promotion - Allow counter promotion across the whole loop nest.
--lint-abort-on-error - In the Lint pass, abort on errors.
--list-passes - Print the list of registered passes and exit
--load-dialect-plugin= - Load dialects from plugin library
--load-pass-plugin= - Load passes from plugin library
--log-actions-to= - Log action execution to a file, or stderr if '-' is passed
--log-mlir-actions-filter= - Comma separated list of locations to filter actions from logging
--loongarch-use-aa - Enable the use of AA during codegen.
--lower-allow-check-percentile-cutoff-hot= - Hot percentile cutoff.
--lower-allow-check-random-rate= - Probability value in the range [0.0, 1.0] of unconditional pseudo-random checks.
--lto-aix-system-assembler= - Path to a system assembler, picked up on AIX only
--lto-embed-bitcode= - Embed LLVM bitcode in object files produced by LTO
=none - Do not embed
=optimized - Embed after all optimization passes
=post-merge-pre-opt - Embed post merge, but before optimizations
--lto-pass-remarks-filter= - Only record optimization remarks from passes whose names match the given regular expression
--lto-pass-remarks-format= - The format used for serializing remarks (default: YAML)
--lto-pass-remarks-output= - Output filename for pass remarks
--matrix-default-layout= - Sets the default matrix layout
=column-major - Use column-major layout
=row-major - Use row-major layout
--matrix-print-after-transpose-opt -
--max-counter-promotions= - Max number of allowed counter promotions
--max-counter-promotions-per-loop= - Max number counter promotions per loop to avoid increasing register pressure too much
--mc-relax-all - When used with filetype=obj, relax all fixups in the emitted object file
--mcabac - tbd
--merror-missing-parenthesis - Error for missing parenthesis around predicate registers
--merror-noncontigious-register - Error for register names that aren't contigious
--mhvx - Enable Hexagon Vector eXtensions
--mhvx= - Enable Hexagon Vector eXtensions
=v60 - Build for HVX v60
=v62 - Build for HVX v62
=v65 - Build for HVX v65
=v66 - Build for HVX v66
=v67 - Build for HVX v67
=v68 - Build for HVX v68
=v69 - Build for HVX v69
=v71 - Build for HVX v71
=v73 - Build for HVX v73
=v75 - Build for HVX v75
=v79 - Build for HVX v79
--mips-compact-branches= - MIPS Specific: Compact branch policy.
=never - Do not use compact branches if possible.
=optimal - Use compact branches where appropriate (default).
=always - Always use compact branches if possible.
--mips16-constant-islands - Enable mips16 constant islands.
--mips16-hard-float - Enable mips16 hard float.
--mir-strip-debugify-only - Should mir-strip-debug only strip debug info from debugified modules by default
--misexpect-tolerance= - Prevents emitting diagnostics when profile counts are within N% of the threshold..
--mlir-debug-counter= - Comma separated list of debug counter skip and count arguments
--mlir-diagnostic-verbosity-level= - Choose level of diagnostic information
=errors - Errors only
=warnings - Errors and warnings
=remarks - Errors, warnings and remarks
--mlir-disable-diagnostic-notes - Disable diagnostic notes.
--mlir-disable-threading - Disable multi-threading within MLIR, overrides any further call to MLIRContext::enableMultiThreading()
--mlir-elide-elementsattrs-if-larger= - Elide ElementsAttrs with "..." that have more elements than the given upper limit
--mlir-elide-resource-strings-if-larger= - Elide printing value of resources if string is too long in chars.
--mlir-enable-debugger-hook - Enable Debugger hook for debugging MLIR Actions
--mlir-generate-reproducer= - Generate an mlir reproducer at the provided filename (no crash required)
--mlir-output-format= - Output format for timing data
=text - display the results in text format
=json - display the results in JSON format
--mlir-pass-pipeline-crash-reproducer= - Generate a .mlir reproducer file at the given output path if the pass manager crashes or fails
--mlir-pass-pipeline-local-reproducer - When generating a crash reproducer, attempt to generated a reproducer with the smallest pipeline.
--mlir-pass-statistics - Display the statistics of each pass
--mlir-pass-statistics-display= - Display method for pass statistics
=list - display the results in a merged list sorted by pass name
=pipeline - display the results with a nested pipeline view
--mlir-pretty-debuginfo - Print pretty debug info in MLIR output
--mlir-print-debug-counter - Print out debug counter information after all counters have been accumulated
--mlir-print-debuginfo - Print debug info in MLIR output
--mlir-print-elementsattrs-with-hex-if-larger= - Print DenseElementsAttrs with a hex string that have more elements than the given upper limit (use -1 to disable)
--mlir-print-ir-after= - Print IR after specified passes
--mlir-print-ir-after-all - Print IR after each pass
--mlir-print-ir-after-change - When printing the IR after a pass, only print if the IR changed
--mlir-print-ir-after-failure - When printing the IR after a pass, only print if the pass failed
--mlir-print-ir-before= - Print IR before specified passes
--mlir-print-ir-before-all - Print IR before each pass
--mlir-print-ir-module-scope - When printing IR for print-ir-[before|after]{-all} always print the top-level operation
--mlir-print-ir-tree-dir= - When printing the IR before/after a pass, print file tree rooted at this directory. Use in conjunction with mlir-print-ir-* flags
--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= - 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
--mlir-use-nameloc-as-prefix - Print SSA IDs using NameLocs as prefixes
--mlir-very-unsafe-disable-verifier-on-parsing - Disable the verifier on parsing (very unsafe)
--mno-compound - Disable looking for compound instructions for Hexagon
--mno-fixup - Disable fixing up resolved relocations for Hexagon
--mno-ldc1-sdc1 - Expand double precision loads and stores to their single precision counterparts
--mno-pairing - Disable looking for duplex instructions for Hexagon
--mwarn-missing-parenthesis - Warn for missing parenthesis around predicate registers
--mwarn-noncontigious-register - Warn for register names that arent contigious
--mwarn-sign-mismatch - Warn for mismatching a signed and unsigned value
--no-deprecated-warn - Suppress all deprecated warnings
--no-discriminators - Disable generation of discriminator information.
--no-implicit-module - Disable implicit addition of a top-level module op during parsing
--no-type-check - Suppress type errors (Wasm)
--no-warn - Suppress all warnings
--nvptx-approx-log2f32 - NVPTX Specific: whether to use lg2.approx for log2
--nvptx-sched4reg - NVPTX Specific: schedule for register pressue
-o - Output filename
--object-size-offset-visitor-max-visit-instructions= - Maximum number of instructions for ObjectSizeOffsetVisitor to look at
--output-split-marker= - Split marker to use for merging the ouput
--pass-pipeline= - Textual description of the pass pipeline to run
--pgo-block-coverage - Use this option to enable basic block coverage instrumentation
--pgo-temporal-instrumentation - Use this option to enable temporal instrumentation
--pgo-view-block-coverage-graph - Create a dot file of CFGs with block coverage inference information
--print-pipeline-passes - Print a '-passes' compatible string describing the pipeline (best-effort only).
--profile-actions-to= - Profile action execution to a file, or stderr if '-' is passed
--profile-correlate= - Use debug info or binary file to correlate profiles.
= - No profile correlation
=debug-info - Use debug info to correlate
=binary - Use binary to correlate
--promote-alloca-vector-loop-user-weight= - The bonus weight of users of allocas within loop when sorting profitable allocas
--r600-ir-structurize - Use StructurizeCFG IR pass
--riscv-add-build-attributes -
--riscv-use-aa - Enable the use of AA during codegen.
--run-reproducer - Run the pipeline stored in the reproducer
--runtime-counter-relocation - Enable relocating counters at runtime.
--safepoint-ir-verifier-print-only -
--sample-profile-check-record-coverage= - Emit a warning if less than N% of records in the input profile are matched to the IR.
--sample-profile-check-sample-coverage= - Emit a warning if less than N% of samples in the input profile are matched to the IR.
--sample-profile-max-propagate-iterations= - Maximum number of iterations to go through when propagating sample block/edge weights through the CFG.
--sampled-instr-burst-duration= - Set the profile instrumentation burst duration, which can range from 1 to the value of 'sampled-instr-period' (0 is invalid). This number of samples will be recorded for each 'sampled-instr-period' count update. Setting to 1 enables simple sampling, in which case it is recommended to set 'sampled-instr-period' to a prime number.
--sampled-instr-period= - Set the profile instrumentation sample period. A sample period of 0 is invalid. For each sample period, a fixed number of consecutive samples will be recorded. The number is controlled by 'sampled-instr-burst-duration' flag. The default sample period of 65536 is optimized for generating efficient code that leverages unsigned short integer wrapping in overflow, but this is disabled under simple sampling (burst duration = 1).
--sampled-instrumentation - Do PGO instrumentation sampling
--save-temp-labels - Don't discard temporary labels
--show-dialects - Print the list of registered dialects and exit
--skip-ret-exit-block - Suppress counter promotion if exit blocks contain ret.
--speculative-counter-promotion-max-exiting= - The max number of exiting blocks of a loop to allow speculative counter promotion
--speculative-counter-promotion-to-loop - When the option is false, if the target block is in a loop, the promotion will be disallowed unless the promoted counter update can be further/iteratively promoted into an acyclic region.
--spirv-ext= - Specify list of enabled SPIR-V extensions
--split-input-file[=] - Split the input file into chunks using the given or default marker and process each chunk independently
--spv-dump-deps - Dump MIR with SPIR-V dependencies info
--spv-emit-nonsemantic-debug-info - Emit SPIR-V NonSemantic.Shader.DebugInfo.100 instructions
--summary-file= - The summary file to use for function importing.
--sve-tail-folding= - Control the use of vectorisation using tail-folding for SVE where the option is specified in the form (Initial)[+(Flag1|Flag2|...)]:
disabled (Initial) No loop types will vectorize using tail-folding
default (Initial) Uses the default tail-folding settings for the target CPU
all (Initial) All legal loop types will vectorize using tail-folding
simple (Initial) Use tail-folding for simple loops (not reductions or recurrences)
reductions Use tail-folding for loops containing reductions
noreductions Inverse of above
recurrences Use tail-folding for loops containing fixed order recurrences
norecurrences Inverse of above
reverse Use tail-folding for loops requiring reversed predicates
noreverse Inverse of above
--tail-predication= - MVE tail-predication pass options
=disabled - Don't tail-predicate loops
=enabled-no-reductions - Enable tail-predication, but not for reduction loops
=enabled - Enable tail-predication, including reduction loops
=force-enabled-no-reductions - Enable tail-predication, but not for reduction loops, and force this which might be unsafe
=force-enabled - Enable tail-predication, including reduction loops, and force this which might be unsafe
--target-abi= - The name of the ABI to be targeted from the backend.
--thinlto-assume-merged - Assume the input has already undergone ThinLTO function importing and the other pre-optimization pipeline changes.
--threads= -
--translator-compatibility-mode - SPIR-V Translator compatibility mode
--type-based-intrinsic-cost - Calculate intrinsics cost based only on argument types
--use-undef - Use undef when generating programs.
--verify-diagnostics - Check that emitted diagnostics match expected-* lines on the corresponding line
--verify-each - Run the verifier after each transformation pass
--verify-region-info - Verify region info (time consuming)
--verify-roundtrip - Round-trip the IR after parsing and ensure it succeeds
--vp-counters-per-site= - The average number of profile counters allocated per value profiling site.
--vp-static-alloc - Do static counter allocation for value profiler
--wasm-enable-eh - WebAssembly exception handling
--wasm-enable-sjlj - WebAssembly setjmp/longjmp handling
--wasm-use-legacy-eh - WebAssembly exception handling (legacy)
--wholeprogramdevirt-cutoff= - Max number of devirtualizations for devirt module pass
--write-experimental-debuginfo - Write debug info in the new non-intrinsic format. Has no effect if --preserve-input-debuginfo-format=true.
--x86-align-branch= - Specify types of branches to align (plus separated list of types):
jcc indicates conditional jumps
fused indicates fused conditional jumps
jmp indicates direct unconditional jumps
call indicates direct and indirect calls
ret indicates rets
indirect indicates indirect unconditional jumps
--x86-align-branch-boundary= - Control how the assembler should align branches with NOP. If the boundary's size is not 0, it should be a power of 2 and no less than 32. Branches will be aligned to prevent from being across or against the boundary of specified size. The default value 0 does not align branches.
--x86-branches-within-32B-boundaries - Align selected instructions to mitigate negative performance impact of Intel's micro code update for errata skx102. May break assumptions about labels corresponding to particular instructions, and should be used with caution.
--x86-pad-max-prefix-size= - Maximum number of prefixes to use for padding
--x86-relax-relocations - Emit GOTPCRELX/REX_GOTPCRELX/CODE_4_GOTPCRELX instead of GOTPCREL on x86-64 ELF
--x86-sse2avx - Specify that the assembler should encode SSE instructions with VEX prefix
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