LLI(1)
π
LLI β manual page for lli 14 π
okay bestie, sit down, hydrate, because this is lli(1) from the User Commands section of the manual and she is LONG. Like, four-parts long. This is part one. We're doing this together, no skimming, no skipping, every single flag is getting its moment. π«Ά
β¨ NAME β¨
lli β manual page for lli 14
π¦ DESCRIPTION π¦
OVERVIEW: llvm interpreter & dynamic compiler
USAGE:
lli [options] <input bitcode> <program arguments>...
OPTIONS:
π Color Options π
--colorβ Use colors in output (default=autodetect). yes she will make it pretty, and yes she figures out whether your terminal can handle it all by herself β¨
π General options π
Okay this is the big one. Every single flag. Buckle up, bestie. π
-O=<char>β Optimization level.[-O0, -O1, -O2, or -O3](default ='-O2')--aarch64-neon-syntax=<value>β 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--addrsigβ Emit an address-significance table--align-loops=<uint>β Default alignment for loops--allow-ginsert-as-artifactβ AllowG_INSERTto be considered an artifact. Hack around AMDGPU test infinite loops. (a hack, she said it herself, we respect the honesty)--amdgpu-bypass-slow-divβ Skip 64-bit divide for dynamic 32-bit values--amdgpu-disable-loop-alignmentβ Do not align and prefetch loops--amdgpu-disable-power-schedβ Disable scheduling to minimize mAI power bursts--amdgpu-dpp-combineβ Enable DPP combiner--amdgpu-dump-hsa-metadataβ Dump AMDGPU HSA Metadata--amdgpu-enable-flat-scratchβ Use flat scratch instructions--amdgpu-enable-merge-m0β Merge and hoist M0 initializations--amdgpu-promote-alloca-to-vector-limit=<uint>β 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--arm-add-build-attributesβ (no description given, she's simply there, mysterious queen energy π )--arm-implicit-it=<value>β Allow conditional instructions outdside of an IT block (yes, "outdside", we keep the typo, we do not touch the artifacts)=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)--basic-block-sections=<all | <function list (file)> | labels | none>β Emit basic blocks into separate sections--bounds-checking-single-trapβ Use one trap block per function--cfg-hide-cold-paths=<number>β Hide blocks with relative frequency below the given value--cfg-hide-deoptimize-pathsβ (description not included in the original, so no guessing from me, bestie)--cfg-hide-unreachable-pathsβ (also mysterious, also iconic)--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
--data-sectionsβ Emit data into separate sections--debug-entry-valuesβ Enable debug info for the debug entry values.--debug-info-correlateβ Use debug info to correlate profiles.--debugger-tune=<value>β Tune debug info for a particular debugger=gdbβ gdb=lldbβ lldb=dbxβ dbx=sceβ SCE targets (e.g. PS4)
--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
--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
--disable-i2p-p2i-optβ Disables inttoptr/ptrtoint roundtrip optimization--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-tail-callsβ Never emit tail calls--dlopen=<string>β Dynamic libraries to load before linking--do-counter-promotionβ Do counter register promotion--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--emit-call-site-infoβ Emit call site debug information, if debug information is enabled.--emscripten-cxx-exceptions-allowed=<string>β The list of function names in which Emscripten-style exception handling is enabled (see emscriptenEMSCRIPTEN_CATCHING_ALLOWEDoptions)--emulated-tlsβ Use emulated TLS model--enable-cache-managerβ Use cache manager to save/load modules--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β (no description, just vibes π¦)--enable-gvn-sinkβ Enable the GVN sinking pass (default = off)--enable-load-in-loop-preβ (no description given)--enable-load-preβ (no description given)--enable-loop-simplifycfg-term-foldingβ (no description given)--enable-name-compressionβ Enable name/filename string compression--enable-no-infs-fp-mathβ Enable FP math optimizations that assume no +-Infs--enable-no-nans-fp-mathβ Enable FP math optimizations that assume no NaNs--enable-no-signed-zeros-fp-mathβ Enable FP math optimizations that assume the sign of 0 is insignificant--enable-no-trapping-fp-mathβ Enable setting the FP exceptions build attribute not to use exceptions--enable-split-backedge-in-load-preβ (no description given)--enable-unsafe-fp-mathβ Enable optimizations that may decrease FP precision--entry-function=<function>β Specify the entry function (default ='main') of the executable--exception-model=<value>β exception model=defaultβ default exception handling model=dwarfβ DWARF-like CFI based exception handling=sjljβ SjLj exception handling=armβ ARM EHABI exceptions
and that's the end of part one, bestie!! do NOT close the tab, there's more, we're so not done π
=winehβ the Windows exception model πͺ=wasmβ WebAssembly exception handling πΈοΈ
--experimental-debug-variable-locationsβ use the shiny new experimental value-tracking variable locations. it's giving beta energy, bestie π--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 that gets passed into the executing program. catfishing the process, fr fr π--fatal-warningsβ treat warnings as errors. no chill mode activated π--filetype=<value>β choose a file type (not all types are supported by all targets, so check before you commit π ):=asmβ emit an assembly ('.s') file=objβ emit a native object ('.o') file=nullβ emit nothing, purely for performance testing. the void. the emptiness. iconic β¨
--float-abi=<value>β choose your 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. every single time. no skipping πΈ--force-interpreterβ force interpretation: disable JIT π«--fp-contract=<value>β enable aggressive formation of fused FP ops=fastβ fuse FP ops whenever profitable=onβ only fuse'blessed'FP ops.=offβ only fuse FP ops when the result won't be affected.
--frame-pointer=<value>β specify frame pointer elimination optimization=allβ disable frame pointer elimination=non-leafβ disable frame pointer elimination for non-leaf frame=noneβ enable frame pointer elimination
--fs-profile-debug-bw-threshold=<uint>β only show the debug message if the source branch weight is greater than this value.--fs-profile-debug-prob-diff-threshold=<uint>β only show the debug message if the branch probility is greater than this value (in percentage). (yes, "probility", we're quoting the original, no cap) π--function-sectionsβ emit functions into separate sections--generate-merged-base-profilesβ when generating nested context-sensitive profiles, always generate an extra base profile for a function with all its context profiles merged into it.--gpsize=<uint>β Global Pointer Addressing Size. the default size is8.--hash-based-counter-splitβ rename the counter variable of a comdat function based on cfg hash--hot-cold-splitβ enable the hot-cold splitting pass π₯π§--ignore-xcoff-visibilityβ don't emit the visibility attribute for asm in AIX OS, or give all symbols'unspecified'visibility in the XCOFF object file--import-all-indexβ import all external functions in index.--incremental-linker-compatibleβ when used withfiletype=obj, emit an object file which can be used with an incremental linker--instcombine-code-sinkingβ enable code sinking π«§--instcombine-guard-widening-window=<uint>β how wide an instruction window to bypass looking for another guard--instcombine-max-iterations=<uint>β limit the maximum number of instruction combining iterations--instcombine-max-num-phis=<uint>β maximum number of phis to handle inintptr/ptrintfolding--instcombine-maxarray-size=<uint>β maximum array size considered when doing a combine--instcombine-negator-enabledβ should we attempt to sink negations?--instcombine-negator-max-depth=<uint>β 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=<filename>β a file containing a list of symbol names to preserve--internalize-public-api-list=<list>β a list of symbol names to preserve--iterative-counter-promotionβ allow counter promotion across the whole loop nest.--jd=<string>β specifies theJITDylibto be used for any subsequent-extra-modulearguments.--jit-kind=<value>β choose the 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
--load=<pluginfilename>β load the specified plugin π--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)--matrix-default-layout=<value>β sets the default matrix layout=column-majorβ use column-major layout=row-majorβ use row-major layout
--mattr=<a1,+a2,-a3,...>β target specific attributes (-mattr=helpfor details)--max-counter-promotions=<int>β max number of allowed counter promotions--max-counter-promotions-per-loop=<uint>β max number of counter promotions per loop, so we don't increase register pressure too much--mc-relax-allβ when used withfiletype=obj, relax all fixups in the emitted object file--mcabacβtbd. that's it. that's the whole description. mysterious queen behavior π--mcjit-remote-process=<filename>β specify the filename of the process to launch for remote MCJIT execution. if none is specified, remote execution will be simulated in-process.--mcpu=<cpu-name>β target a specific cpu type (-mcpu=helpfor details)--meabi=<value>β set EABI type (default depends on triple):=defaultβ triple default EABI version=4β EABI version 4=5β EABI version 5=gnuβ EABI GNU
--merror-missing-parenthesisβ error for missing parenthesis around predicate registers--merror-noncontigious-registerβ error for register names that aren't contigious (again with the spelling, we're keeping it exactly as written bestie) π--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
--mips-compact-branches=<value>β 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β shouldmir-strip-debugonly strip debug info from debugified modules by default--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--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 arent contigious--mwarn-sign-mismatchβ bestie, this one warns for mismatching a signed and unsigned value. it's giving βtype safety said noβ π--no-deprecated-warnβ Suppress all deprecated warnings. the deprecated stuff can still exist, it just stops yelling at you about it. lowkey peaceful π«Ά--no-discriminatorsβ Disable generation of discriminator information. bye bye discriminators, not today π--no-process-symsβ Do not resolve lli process symbols in JIT'd code. no cap β¨--no-type-checkβ Suppress type errors (Wasm). only Wasm, iykyk πΈ--no-warnβ Suppress all warnings. silence is golden, periodt π--no-xray-indexβ Don't emit xray_fn_idx section. that section? not invited π--nozero-initialized-in-bssβ Don't place zero-initialized symbols into bss section. they're not moving into bss today π--nvptx-sched4regβ NVPTX Specific: schedule for register pressue. (yes, βpressueβ is literally how it's spelled in the original, I'm not fixing it π) NVPTX only, bestie.--object-cache-dir=<string>β Directory to store cached object files (must be user writable). so like, make sure you can write there or it's gonna be a whole thing π--opaque-pointersβ Use opaque pointers. slay β¨--per-module-lazyβ Performs lazy compilation on whole module boundaries rather than individual functions. it's giving big-picture lazy, not tiny-function lazy π¦--poison-checking-function-localβ Check that returns are non-poison (for testing). for testing only, bestie π§--print-pipeline-passesβ Print a '-passes' compatible string describing the pipeline (best-effort only). best-effort only, so don't come for it if it's not perfect π--r600-ir-structurizeβ Use StructurizeCFG IR pass. R600 said structure, periodt π--rdf-dumpβ no description in the original, just an empty lil space. mysterious main character energy π--rdf-limit=<uint>β also no description, so... vibes only. it takes a<uint>though β¨--relax-elf-relocationsβ Emit GOTPCRELX/REX_GOTPCRELX instead of GOTPCREL on x86-64 ELF. x86-64 ELF specific, no cap π₯--relocation-model=<value>β Choose relocation model. the options are giving choose-your-own-adventure:=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. separate process, separate vibes π--runtime-counter-relocationβ Enable relocating counters at runtime. runtime relocation, slay β¨--safepoint-ir-verifier-print-onlyβ no description again, just the option name and a dream β¨--sample-profile-check-record-coverage=<N>β Emit a warning if less than N% of records in the input profile are matched to the IR. so if coverage is low, it's gonna tattle π--sample-profile-check-sample-coverage=<N>β Emit a warning if less than N% of samples in the input profile are matched to the IR. same energy but for samples π--sample-profile-max-propagate-iterations=<uint>β Maximum number of iterations to go through when propagating sample block/edge weights through the CFG. it's giving max effort π₯--skip-ret-exit-blockβ Suppress counter promotion if exit blocks contain ret. if there's a ret, promotion is not happening π ββοΈ--soft-floatβ Generate software floating point library calls. software float, iconic πΈ--speculative-counter-promotion-max-exiting=<uint>β The max number of exiting blocks of a loop to allow speculative counter promotion. so like, how many exits before we stop being speculative? π€--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. read that twice, bestie, it's a whole sentence π--split-machine-functionsβ Split out cold basic blocks from machine functions based on profile information. cold blocks get their own lil section, periodt π§--stack-size-sectionβ Emit a section containing stack size metadata. stack size metadata said hello π--stack-symbol-orderingβ Order local stack symbols. alphabetical? no, just ordered. don't ask me, I just write the vibe π--stackrealignβ Force align the stack to the minimum alignment. alignment forced, no negotiation π--strict-dwarfβ use strict dwarf. lowercase βuseβ and all, iconic β¨--summary-file=<string>β The summary file to use for function importing. it's the file that says who gets imported π--swift-async-fp=<value>β Determine when the Swift async frame pointer should be set. choose your fighter:=autoβ Determine based on deployment target=alwaysβ Always set the bit=neverβ Never set the bit
--tail-predication=<value>β MVE tail-predication pass options. the menu is:=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
the force ones might be unsafe, so be careful bestie β οΈ
--tailcalloptβ Turn fastcc calls into tail calls by (potentially) changing ABI. ABI might change, so heads up π«Ά--thinlto-assume-mergedβ Assume the input has already undergone ThinLTO function importing and the other pre-optimization pipeline changes. it's assuming, okay? π--thread-entry=<string>β calls the given entry-point on a new thread (jit-kind=orc-lazy only). only for jit-kind=orc-lazy, iykyk π§΅--thread-model=<value>β Choose threading model. pick your thread vibe:=posixβ POSIX thread model=singleβ Single thread model
--threads=<int>β no description, just a number of threads and a dream π--tls-size=<uint>β Bit size of immediate TLS offsets. TLS offsets said bit size β¨--unique-basic-block-section-namesβ Give unique names to every basic block section. uniqueness slay π--unique-section-namesβ Give unique names to every section. every section gets a unique name, no duplicates π--use-ctorsβ Use .ctors instead of .init_array. old school? maybe. iconic? yes π--vec-extabiβ Enable the AIX Extended Altivec ABI. AIX extended altivec ABI, periodt π--verify-region-infoβ Verify region info (time consuming). time consuming, so maybe grab a snack π--vp-counters-per-site=<number>β The average number of profile counters allocated per value profiling site. average, bestie β¨--vp-static-allocβ Do static counter allocation for value profiler. static allocation, no cap π--wasm-enable-ehβ WebAssembly exception handling. Wasm EH said hi π--wasm-enable-sjljβ WebAssembly setjmp/longjmp handling. setjmp/longjmp but make it Wasm π¦--x86-align-branch=<string>β Specify types of branches to align (plus separated list of types):jccβ indicates conditional jumpsfusedβ indicates fused conditional jumpsjmpβ indicates direct unconditional jumpscallβ indicates direct and indirect callsretβ indicates retsindirectβ indicates indirect unconditional jumps
--x86-align-branch-boundary=<uint>β 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. so default 0 = no alignment, and if you set it, power of 2, at least 32. got it π₯--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. β οΈ caution bestie, it can break label assumptions.--x86-pad-max-prefix-size=<uint>β Maximum number of prefixes to use for padding. max prefixes, periodt π--xcoff-traceback-tableβ Emit the XCOFF traceback table. XCOFF traceback table said hello π
π Generic Options π
--helpβ Display available options (--help-hidden for more). so meta, bestie β¨--help-listβ Display list of available options (--help-list-hidden for more). list girlies rise π--versionβ Display the version of this program. version check, slay π
π¦ Polly Options: Configure the polly loop optimizer π¦
--pollyβ Enable the polly optimizer (with -O1, -O2 or -O3). only with those optimization levels, iykyk π₯--polly-2nd-level-tilingβ Enable a 2nd level loop of loop tiling. second level tiling, obsessed π--polly-ast-print-accessesβ Print memory access functions. memory access functions said print me π--polly-context=<isl parameter set>β Provide additional constraints on the context parameters. context constraints, periodt β¨--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. (yes, the paren is open, iconic π)--polly-delicm-max-ops=<int>β Maximum number of isl operations to invest for lifetime analysis; 0=no limit. zero means no limit, so go off π«Ά--polly-detect-full-functionsβ Allow the detection of full functions. full functions detected, slay π--polly-dump-afterβ drops a dump of the module after Polly has done its thing β¨ into a file whose name gets the suffix"-after"glued on the end π--polly-dump-after-file=<string>β same energy as above, but you pick the file, bestie β dump the post-Polly module straight into the<string>path you hand it π--polly-dump-beforeβ dump the module before Polly touches anything, and it lands in a file suffixed with"-before"πΈ--polly-dump-before-file=<string>β pre-Polly module, your choice of destination β write it to<string>π¦--polly-enable-simplifyβ simplifies the SCoP after optimizations have run π--polly-ignore-func=<string>β skips any function matching a regex. You can pass multiple regexes separated by commas. Scop detection will ignore every function that matches ANY of the regexes you gave it π--polly-isl-arg=<argument>β an option handed straight through to ISL--polly-on-isl-error-abortβ the moment an isl error shows up, we abort. no chill, no recovery π--polly-only-func=<string>β only run on functions matching a regex. Multiple regexes = comma separated. Scop detection will run on all functions that match ANY of the provided regexes β--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β scop detection only, bestie β no other optimizations ride along π§--polly-optimized-scopsβ Polly: dumps the 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β generates thread parallel code (isl codegen only) π₯--polly-parallel-forceβ forces generation of thread parallel code and ignores any cost model while doing it π--polly-pattern-matching-based-optsβ optimizations based on pattern matching β¨--polly-postoptsβ applies post-rescheduling optimizations like tiling. Heads up: this one requires-polly-rescheduleβ οΈ--polly-pragma-based-optsβ applies user-directed transformation from metadata π--polly-pragma-ignore-depcheckβ skips the dependency check for pragma-based transformations π³--polly-process-unprofitableβ processes scops that are unlikely to benefit from Polly optimizations. Chaotic? maybe. Iconic? absolutely π--polly-register-tilingβ enables register tiling π--polly-reportβ prints info about what Polly's been up to, like a little gossip session π--polly-rescheduleβ optimizes SCoPs using ISL π--polly-showβ highlights the code regions that will be optimized in a (CFG BBs and LLVM-IR instructions) π¦--polly-show-onlyβ highlights the code regions that will be optimized in a (CFG only BBs) πΈ--polly-stmt-granularity=<value>β the algorithm used for splitting basic blocks into multiple statements. Pick your fighter:=bbβ one statement per basic block=scalar-indepβ scalar independence heuristic=storeβ store-level granularity
--polly-target=<value>β the hardware to target:=cpuβ generate CPU code
--polly-tilingβ enables loop tiling π§©--polly-vectorizer=<value>β picks the vectorization strategy:=noneβ No Vectorization=pollyβ Polly internal vectorizer=stripmineβ strip-mine outer loops for the loop-vectorizer to trigger
and that's the whole Polly buffet, bestie π«Ά go forth and optimize, you absolute legend.
this page is lli version 14, dated May 2025 β so if you're reading this, shoutout to the version, shoutout to the date, they ate π
β¨
π¦ where this page comes from
- ubuntu questing: llvm-14-runtime 1:14.0.6-20ubuntu3
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms