Scroll to navigation

LLI(1) User Commands LLI(1)

NAME

lli - manual page for lli 24

DESCRIPTION

OVERVIEW: llvm interpreter & dynamic compiler

USAGE: lli [options] <input bitcode> <program arguments>...

OPTIONS:

Color Options:

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

DXContainer Options:

--compress-srci=<value> - Choose SCRI part compression:

=none
- No compression
=zlib
- Use zlib

General options:

-O <char> - Optimization level. [-O0, -O1, -O2, or -O3] (default = '-O2')

--abort-on-max-devirt-iterations-reached - Abort when the max iterations for devirtualization CGSCC repeat pass is reached

--addrsig - Emit an address-significance table

--align-loops=<uint> - Default alignment for loops

--allow-ginsert-as-artifact - Allow G_INSERT to be considered an artifact. Hack around AMDGPU test infinite loops.

--amdgpu-atomic-optimizer-strategy=<value> - 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=<uint> - A threshold controls whether an indirect call will be specialized

--amdgpu-kernarg-preload - Enable preload kernel arguments to SGPRs

--amdgpu-kernarg-preload-count=<uint> - How many kernel arguments to preload onto SGPRs

--amdgpu-module-splitting-max-depth=<uint> - 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=<uint> - Maximum byte size to consider promote alloca to vector

--amdgpu-promote-alloca-to-vector-max-regs=<uint> - Maximum vector size (in 32b registers) to use when promoting alloca

--amdgpu-promote-alloca-to-vector-vgpr-ratio=<uint> - Ratio of VGPRs to budget for promoting alloca to vectors

--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

--arc-contract-use-objc-claim-rv - Enable generation of calls to objc_claimAutoreleasedReturnValue

--argext-abi-check - Verify that narrow int args are properly extended per the SystemZ ABI.

--arm-add-build-attributes -

--arm-implicit-it=<value> - 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

--basic-block-address-map - Emit the basic block address map section

--basic-block-sections=<all | <function list (file)> | labels | none> - Emit basic blocks into separate sections

--bpf-stack-size=<int> - Specify the BPF stack size limit

--call-graph-section - Emit a call graph section

--cfg-hide-cold-paths=<number> - Hide blocks with relative frequency below the given value

--cfg-hide-deoptimize-paths -

--cfg-hide-unreachable-paths -

--code-model=<value> - Choose code model

=tiny
- Tiny code model
=small
- Small code model
=kernel
- Kernel code model
=medium
- Medium code model
=large
- Large code model

--compile-threads=<uint> - Choose the number of compile threads (jit-kind=orc-lazy only)

--cost-kind=<value> - Target cost kind

=throughput
- Reciprocal throughput
=latency
- Instruction latency
=code-size
- Code size
=size-latency
- Code size and latency
=all
- Print all cost kinds

--crel - Use CREL relocation format for ELF

--cs-profile-generate - Perform context sensitive PGO instrumentation

--cs-profile-path=<string> - Context sensitive profile file path

--ctx-prof-include-empty - Also write profiles with all-zero counters. Intended for testing/debugging.

--ctx-profile-force-is-specialized - Treat the given module as-if it were containing the post-thinlink module containing the root

--data-sections - Emit data into separate sections

--debug-entry-values - Enable debug info for the debug entry values.

--debug-print - Print function mir after transformation

--debugger-tune=<value> - Tune debug info for a particular debugger

=gdb
- gdb
=lldb
- lldb
=dbx
- dbx
=sce
- SCE targets (e.g. PS4)

--debugify-atoms -

--debugify-func-limit=<ulong> - Set max number of processed functions per pass.

--debugify-level=<value> - Kind of debug info to add

=locations
- Locations only
=location+variables
- Locations and Variables

--debugify-quiet - Suppress verbose debugify output

--denormal-fp-math=<value> - Select which denormal numbers the code is permitted to require

=ieee
- IEEE 754 denormal numbers
=preserve-sign
- the sign of a flushed-to-zero number is preserved in the sign of 0
=positive-zero
- denormals are flushed to positive zero
=dynamic
- denormals have unknown treatment

--denormal-fp-math-f32=<value> - Select which denormal numbers the code is permitted to require for float

=ieee
- IEEE 754 denormal numbers
=preserve-sign
- the sign of a flushed-to-zero number is preserved in the sign of 0
=positive-zero
- denormals are flushed to positive zero
=dynamic
- denormals have unknown treatment

--devirtualize-speculatively - Enable speculative devirtualization optimization

--disable-handle-qfp - Disable handling of Qfloat spills/refills after register allocation.

--disable-lazy-compilation - Disable JIT lazy compilation

--disable-promote-alloca-to-lds - Disable promote alloca to LDS

--disable-promote-alloca-to-vector - Disable promote alloca to vector

--disable-qfp-opt - Disable optimization of Qfloat operations.

--disable-qfp-opt-mul - Disable optimization of Qfloat operations for multiply.

--disable-tail-calls - Never emit tail calls

--dlopen=<string> - Dynamic libraries to load before linking

--dot-cfg-mssa=<file name for generated dot file> - file name for generated dot file

--dwarf-version=<int> - Dwarf version

--dwarf64 - Generate debugging info in the 64-bit DWARF format

--dx-Zss - Compute Shader Hash considering source information

--dx-embed-debug - Embed PDB in shader container

--dx-pdb-in-private - Store PDB in private user data

--dx-pdb-path=<filename> - Write debug information to the given file, or automatically named file in directory when ending in '/'

--dx-slim-debug - Generate slim PDB without ILDB part

--dx-source-in-debug-module - Embed source code into debug module on DirectX target

--dx-strip-debug - Strip debug information from shader bytecode

--emit-bb-hash - Emit the hash of basic block in the SHT_LLVM_BB_ADDR_MAP section.

--emit-call-site-info - Emit call site debug information, if debug information is enabled.

--emit-compact-unwind-non-canonical - Whether to try to emit Compact Unwind for non canonical entries.

--emit-dwarf-unwind=<value> - 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
=dwarf-only
- Force compact unwind to reference DWARF
=default
- Use target platform default

--emscripten-cxx-exceptions-allowed=<string> - The list of function names in which Emscripten-style exception handling is enabled (see emscripten EMSCRIPTEN_CATCHING_ALLOWED options)

--emulated-tls - Use emulated TLS model

--enable-cache-manager - Use cache manager to save/load modules

--enable-cse-in-ir-translator - Should enable CSE in ir-translator

--enable-cse-in-legalizer - Should enable CSE in Legalizer

--enable-emscripten-sjlj - WebAssembly Emscripten-style setjmp/longjmp handling

--enable-jmc-instrument - Instrument functions with a call to __CheckForDebuggerJustMyCode

--enable-name-compression - Enable name/filename string compression

--enable-postra-xqf-check - Enable ABI compliance for xqf operands post regalloc.

--enable-profcheck-in-pipeline - Adds profile verification to the pipeline, erroring if profile information is dropped.

--enable-rem-conv - Enable extraneous conversions removal

--enable-split-loopiv-heuristic - Enable loop iv regalloc heuristic

--enable-tlsdesc - Enable the use of TLS Descriptors

--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.

--enable-xqf-gen - Enable XQFloat generations

--entry-function=<function> - Specify the entry function (default = 'main') of the executable

--exception-model=<value> - exception model

=default
- default exception handling model
=none
- no exception handling
=dwarf
- DWARF-like CFI based exception handling
=sjlj
- SjLj exception handling
=arm
- ARM EHABI exceptions
=wineh
- Windows exception model
=wasm
- WebAssembly exception handling
=emscripten
- Emscripten JavaScript-based exception handling

--expand-variadics-override=<value> - 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

--extra-archive=<input archive> - Extra archive files to be loaded

--extra-module=<input bitcode> - Extra modules to be loaded

--extra-object=<input object> - Extra object files to be loaded

--fake-argv0=<executable> - Override the 'argv[0]' value passed into the executing program

--fatal-warnings - Treat warnings as errors

--fdpic - Use the FDPIC ABI

--filetype=<value> - Choose a file type (not all types are supported by all targets):

=asm
- Emit an assembly ('.s') file
=obj
- Emit a native object ('.o') file
=null
- Emit nothing, for performance testing

--float-abi=<value> - Choose float ABI type

=default
- Target default float ABI type
=soft
- Soft float ABI (implied by -soft-float)
=hard
- Hard float ABI (uses FP registers)

--force-dwarf-frame-section - Always emit a debug frame section.

--force-interpreter - Force interpretation: disable JIT

--frame-pointer=<value> - Specify frame pointer elimination optimization

=all
- Disable frame pointer elimination
=non-leaf
- Disable frame pointer elimination for non-leaf frame but reserve the register in leaf functions
=non-leaf-no-reserve
- Disable frame pointer elimination for non-leaf frame
=reserved
- Enable frame pointer elimination, but reserve the frame pointer register
=none
- Enable frame pointer elimination
than this value.

--fs-profile-debug-prob-diff-threshold=<uint> - Only show debug message if the branch probability is greater than this value (in percentage).

--function-sections - Emit functions into separate sections

--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.

The default size is 8.

--gsframe - Whether to emit .sframe unwind sections.

--hexagon-add-build-attributes -

--hexagon-rdf-limit=<uint> -

--host-jit-triple - Print process triple and exit

--ignore-xcoff-visibility - Not emit the visibility attribute for asm in AIX OS or give all symbols 'unspecified' visibility in XCOFF object file

--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

--instrumentor-read-config-files=<string> - Read the instrumentor configuration from the specified JSON files (comma separated)

--instrumentor-read-config-paths-file=<string> - Read the instrumentor configuration file paths from the specified file (newline separated)

--instrumentor-write-config-file=<string> - Write the instrumentor configuration into the specified JSON file

--internalize-public-api-file=<filename> - A file containing list of symbol names to preserve

--internalize-public-api-list=<list> - A list of symbol names to preserve

--intrinsic-cost-strategy=<value> - Costing strategy for intrinsic instructions

=instruction-cost
- Use TargetTransformInfo::getInstructionCost
=intrinsic-cost
- Use TargetTransformInfo::getIntrinsicInstrCost
=type-based-intrinsic-cost
- Calculate the intrinsic cost based only on argument types

--jd=<string> - Specifies the JITDylib to be used for any subsequent -extra-module arguments.

--jit-kind=<value> - Choose underlying JIT kind.

=mcjit
- MCJIT
=orc
- Orc JIT
=orc-lazy
- Orc-based lazy JIT.

--jit-linker=<value> - Choose the dynamic linker/loader.

=default
- Default for platform and JIT-kind
=rtdyld
- RuntimeDyld
=jitlink
- Orc-specific linker

--large-data-threshold=<ulong> - Choose large data threshold for x86_64 medium code model

--large-eh-encoding - Force 8-byte (sdata8) pointer encodings for ELF exception-handling sections to avoid relocation overflows in large binaries (x86_64: FDE/personality/LSDA/TType; AArch64/PPC64: FDE only, the rest are already sdata8)

--loongarch-use-aa - Enable the use of AA during codegen.

--lto-aix-system-assembler=<path> - Path to a system assembler, picked up on AIX only

--lto-embed-bitcode=<value> - 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=<regex> - Only record optimization remarks from passes whose names match the given regular expression

--lto-pass-remarks-format=<format> - The format used for serializing remarks (default: YAML)

--lto-pass-remarks-output=<filename> - Output filename for pass remarks

--march=<string> - Architecture to generate code for (see --version)

--mattr=<a1,+a2,-a3,...> - Target specific attributes (-mattr=help for details)

--mc-relax-all - When used with filetype=obj, relax all fixups in the emitted object file

--mcabac - tbd

If none is specified, remote execution will be simulated in-process.

--mcpu=<cpu-name> - Target a specific cpu type (-mcpu=help for details)

--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=<value> - 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
=v81
- Build for HVX v81

--mir-strip-debugify-only - Should mir-strip-debug only strip debug info from debugified modules by default

--misexpect-tolerance=<uint> - Prevents emitting diagnostics when profile counts are within N% of the threshold..

--mlgo-model=<value> - Select the MLGO model to execute:

=default
- Use standard heuristic
=_test_inc
- Use the _test_inc MLGO model

--mno-compound - Disable looking for compound instructions for Hexagon

--mno-fixup - Disable fixing up resolved relocations for Hexagon

--mno-pairing - Disable looking for duplex instructions for Hexagon

--ms-secure-hotpatch-functions-file=<filename> - A file containing list of mangled function names to mark for Windows Secure Hot-Patching

--ms-secure-hotpatch-functions-list=<list> - A list of mangled function names to mark for Windows Secure Hot-Patching

--mtriple=<string> - Override target triple for module

--mwarn-missing-parenthesis - Warn for missing parenthesis around predicate registers

--mwarn-noncontigious-register - Warn for register names that aren't contigious

--mwarn-sign-mismatch - Warn for mismatching a signed and unsigned value

--mxcoff-roptr - When set to true, const objects with relocatable address values are put into the RO data section.

--no-deprecated-warn - Suppress all deprecated warnings

--no-discriminators - Disable generation of discriminator information.

--no-integrated-as - Disable integrated assembler

--no-process-syms - Do not resolve lli process symbols in JIT'd code

--no-type-check - Suppress type errors (Wasm)

--no-warn - Suppress all warnings

--nozero-initialized-in-bss - Don't place zero-initialized symbols into bss section

--nvptx-approx-log2f32 - NVPTX Specific: whether to use lg2.approx for log2

--nvptx-sched4reg - NVPTX Specific: schedule for register pressue

--object-cache-dir=<string> - Directory to store cached object files (must be user writable)

--object-size-offset-visitor-max-visit-instructions=<uint> - Maximum number of instructions for ObjectSizeOffsetVisitor to look at

--orc-runtime=<string> - Use ORC runtime from given path

--partition-static-data-sections - Partition data sections using profile information.

--per-module-lazy - Performs lazy compilation on whole module boundaries rather than individual functions

--profcheck-annotate-select - Also inject (if missing) and verify MD_prof for `select` instructions

--profcheck-default-function-entry-count=<long> -

--profcheck-default-select-false-weight=<uint> - When annotating `select` instructions, this value will be used for the second ('false') case.

--profcheck-default-select-true-weight=<uint> - When annotating `select` instructions, this value will be used for the first ('true') case.

--profcheck-weights-for-test - Generate weights with small values for tests.

--promote-alloca-vector-loop-user-weight=<uint> - The bonus weight of users of allocas within loop when sorting profitable allocas

--r600-ir-structurize - Use StructurizeCFG IR pass

--regalloc-mlgo-model=<value> - Select the MLGO model to execute for register allocation:

=default
- Use standard heuristic
=_test_inc
- Use the _test_inc MLGO model

--reloc-section-sym=<value> - Control section symbol conversion for relocations

=all
- Use section symbols for all eligible local symbols
=internal
- Only use section symbols for internal local symbols
=none
- Never use section symbols

--relocation-model=<value> - Choose relocation model

=static
- Non-relocatable code
=pic
- Fully relocatable, position independent code
=dynamic-no-pic
- Relocatable external references, non-relocatable code
=ropi
- Code and read-only data relocatable, accessed PC-relative
=rwpi
- Read-write data relocatable, accessed relative to static base
=ropi-rwpi
- Combination of ropi and rwpi

--remote-mcjit - Execute MCJIT'ed code in a separate process.

--sample-profile-check-record-coverage=<N> - Emit a warning if less than N% of records in the input profile are matched to the IR.

--sample-profile-check-sample-coverage=<N> - Emit a warning if less than N% of samples in the input profile are matched to the IR.

--sample-profile-max-propagate-iterations=<uint> - Maximum number of iterations to go through when propagating sample block/edge weights through the CFG.

--save-temp-labels - Don't discard temporary labels

--separate-named-sections - Use separate unique sections for named sections

--soft-float - Generate software floating point library calls

--spirv-emit-op-names - Emit OpName for all instructions

--spirv-ext=<value> - Specify list of enabled SPIR-V extensions

--spirv-fp-contract=<value> - Override FP contraction policy for SPIR-V kernel entry points

=on
- Follow IR metadata (default)
=off
- Force ContractionOff on all kernel entry points
=fast
- Suppress ContractionOff on all kernel entry points

--spv-allow-unknown-intrinsics[=<intrinsic_prefix_0,intrinsic_prefix_1>] - Emit unknown intrinsics as calls to external functions. A comma-separated input list of intrinsic prefixes must be provided, and only intrinsics carrying a listed prefix get emitted as described.

--spv-dump-deps - Dump MIR with SPIR-V dependencies info

--spv-emit-nonsemantic-debug-info - Deprecated. Use -g to emit SPIR-V NonSemantic.Shader.DebugInfo instructions

--stack-size-section - Emit a section containing stack size metadata

--stack-symbol-ordering - Order local stack symbols.

--stackrealign - Force align the stack to the minimum alignment

--strict-dwarf - use strict dwarf

--summary-file=<string> - The summary file to use for function importing.

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

--swift-async-fp=<value> - Determine when the Swift async frame pointer should be set

=auto
- Determine based on deployment target
=always
- Always set the bit
=never
- Never set the bit

--tail-predication=<value> - 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

--tailcallopt - Turn fastcc calls into tail calls by (potentially) changing ABI.

--target-abi=<string> - 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.

--thread-entry=<string> - calls the given entry-point on a new thread (jit-kind=orc-lazy only)

--threads=<int> -

--tls-size=<uint> - Bit size of immediate TLS offsets

--translator-compatibility-mode - SPIR-V Translator compatibility mode

--unique-basic-block-section-names - Give unique names to every basic block section

--unique-section-names - Give unique names to every section

--use-ctors - Use .ctors instead of .init_array.

--use-undef - Use undef when generating programs.

--verify-region-info - Verify region info (time consuming)

--wasm-enable-sjlj - WebAssembly setjmp/longjmp handling

--wasm-use-legacy-eh - WebAssembly exception handling (legacy)

--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

--xcoff-traceback-table - Emit the XCOFF traceback table

--xray-function-index - Emit xray_fn_idx section

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

IR2Vec Options:

--ir2vec-arg-weight=<number> - Weight for argument embeddings

--ir2vec-kind=<value> - IR2Vec embedding kind

=symbolic
- Generate symbolic embeddings
=flow-aware
- Generate flow-aware embeddings

--ir2vec-opc-weight=<number> - Weight for opcode embeddings

--ir2vec-type-weight=<number> - Weight for type embeddings

--ir2vec-vocab-path=<string> - Path to the vocabulary file for IR2Vec

MIR2Vec Options:

--mir2vec-common-operand-weight=<number> - Weight for common operand embeddings

--mir2vec-kind=<value> - MIR2Vec embedding kind

=symbolic
- Generate symbolic embeddings for MIR

--mir2vec-opc-weight=<number> - Weight for machine opcode embeddings

--mir2vec-print-all-vocab-entries - Print all vocabulary entries including zero embeddings

--mir2vec-reg-operand-weight=<number> - Weight for register operand embeddings

--mir2vec-vocab-path=<string> - Path to the vocabulary file for MIR2Vec

Polly Options: Configure the polly loop optimizer

--polly - Enable the polly optimizer (with -O1, -O2 or -O3)

--polly-2nd-level-tiling - Enable a 2nd level loop of loop tiling

--polly-annotate-metadata-vectorize - Append vectorize enable/disable metadata from polly

--polly-ast-print-accesses - Print memory access functions

--polly-context=<isl parameter set> - Provide additional constraints on the context parameters

--polly-dce-precise-steps=<int> - The number of precise steps between two approximating iterations. (A value of -1 schedules another approximation stage before the actual dead code elimination.

--polly-delicm-max-ops=<int> - Maximum number of isl operations to invest for lifetime analysis; 0=no limit

--polly-detect-full-functions - Allow the detection of full functions

--polly-dump-after - Dump module after Polly transformations into a file suffixed with "-after"

--polly-dump-after-file=<string> - Dump module after Polly transformations to the given file

--polly-dump-before - Dump module before Polly transformations into a file suffixed with "-before"

--polly-dump-before-file=<string> - Dump module before Polly transformations to the given file

--polly-enable-simplify - Simplify SCoP after optimizations

--polly-ignore-func=<string> - Ignore functions that match a regex. Multiple regexes can be comma separated. Scop detection will ignore all functions that match ANY of the regexes provided.

--polly-isl-arg=<argument> - Option passed to ISL

--polly-matmul-opt - Perform optimizations of matrix multiplications based on pattern matching

--polly-on-isl-error-abort - Abort if an isl error is encountered

--polly-only-func=<string> - Only run on functions that match a regex. Multiple regexes can be comma separated. Scop detection will run on all functions that match ANY of the regexes provided.

--polly-only-region=<identifier> - Only run on certain regions (The provided identifier must appear in the name of the region's entry block

--polly-only-scop-detection - Only run scop detection, but no other optimizations

--polly-optimized-scops - Polly - Dump polyhedral description of Scops optimized with the isl scheduling optimizer and the set of post-scheduling transformations is applied on the schedule tree

--polly-parallel - Generate thread parallel code (isl codegen only)

--polly-parallel-force - Force generation of thread parallel code ignoring any cost model

--polly-pattern-matching-based-opts - Perform optimizations based on pattern matching

--polly-postopts - Apply post-rescheduling optimizations such as tiling (requires -polly-reschedule)

--polly-pragma-based-opts - Apply user-directed transformation from metadata

--polly-pragma-ignore-depcheck - Skip the dependency check for pragma-based transformations

--polly-print-ast - Print the ISL abstract syntax tree

--polly-print-delicm - Polly - Print DeLICM/DePRE

--polly-print-deps - Polly - Print dependences

--polly-print-detect - Polly - Print static control parts (SCoPs)

--polly-print-flatten-schedule - A polly pass

--polly-print-import-jscop - Polly - Print Scop import result

--polly-print-mse - Polly - Print Maximal static expansion of SCoP

--polly-print-opt-isl - A polly pass

--polly-print-optree - Polly - Print forward operand tree result

--polly-print-scops - Print polyhedral description of all regions

--polly-print-simplify - Polly - Print Simplify actions

--polly-process-unprofitable - Process scops that are unlikely to benefit from Polly optimizations.

--polly-register-tiling - Enable register tiling

--polly-report - Print information about the activities of Polly

--polly-reschedule - Optimize SCoPs using ISL

--polly-show - Highlight the code regions that will be optimized in a (CFG BBs and LLVM-IR instructions)

--polly-show-only - Highlight the code regions that will be optimized in a (CFG only BBs)

--polly-stmt-granularity=<value> - Algorithm to use for splitting basic blocks into multiple statements

=bb
- One statement per basic block
=scalar-indep
- Scalar independence heuristic
=store
- Store-level granularity

--polly-tc-opt - Perform optimizations of tensor contractions based on pattern matching

--polly-tiling - Enable loop tiling

--polly-vectorizer=<value> - Select the vectorization strategy

=none
- No Vectorization
=stripmine
- Strip-mine outer loops for the loop-vectorizer to trigger
October 2026 lli 24