LLVM-REDUCE(1)

πŸ“¦ version 23.1.3, in centos-stream 9

πŸ¦‹ LLVM-REDUCE(1) β€” llvm-reduce, the LLVM automatic testcase reducer πŸ¦‹

πŸ’– NAME πŸ’–

Okay so this is llvm-reduce β€” LLVM automatic testcase reducer. Periodt. It's the main character of testcase shrinking, and we're obsessed. πŸ’…

✨ SYNOPSIS ✨

llvm-reduce [options] [input...]

Bestie, that's the whole vibe: options plus input. 🫢

🌸 DESCRIPTION 🌸

llvm-reduce is the tool/project that can be used for reducing the size of LLVM test cases. It works by removing redundant or unnecessary code from LLVM test cases while still preserving their ability to detect bugs. Slay. That's the whole point.

If input is -, llvm-reduce reads from standard input. Otherwise, it will read from the specified filenames. No cap.

LLVM-Reduce is a useful tool for reducing the size and complexity of LLVM test cases, making it easier to identify and debug issues in the LLVM compiler infrastructure. Iconic behavior, honestly. 🫢

πŸŽ€ GENERIC OPTIONS πŸŽ€

  • --help β€” display available options (--help-hidden for more). The "more" is giving secret menu, iykyk. πŸ‘€
  • --abort-on-invalid-reduction β€” abort if any reduction results in invalid IR. No invalid-IR nonsense allowed. πŸ’€
  • --in-place β€” WARNING: this option will replace your input file with the reduced version! 🫣 Not me accidentally nuking my own input file. Be so careful.
  • --ir-passes=<string> β€” a textual description of the pass pipeline, same as what's passed to opt -passes.
  • -j <uint> β€” maximum number of threads to use to process chunks. Set to 1 to disable parallelism.
  • --max-pass-iterations=<int> β€” maximum number of times to run the full set of delta passes (default=5).
  • --mtriple=<string> β€” set the target triple.
  • --preserve-debug-environment β€” don't disable features used for crash debugging (crash reports, llvm-symbolizer and core dumps).
  • --print-delta-passes β€” print list of delta passes, passable to --delta-passes as a comma separated liste.
  • --skip-delta-passes=<string> β€” delta passes to not run, separated by commas. By default, run all delta passes.
  • --starting-granularity-level=<uint> β€” number of times to divide chunks prior to first test.
Note: granularity refers to the level of detail at which the reduction process operates. A lower granularity means that the reduction process operates at a more coarse-grained level, while a higher granularity means that it operates at a more fine-grained level. ✨
  • --test=<string> β€” name of the interesting-ness test to be run.
  • --test-arg=<string> β€” arguments passed onto the interesting-ness test.
  • --verbose β€” print extra debugging information. Highkey useful when you want the full tea. β˜•
  • --write-tmp-files-as-bitcode β€” always write temporary files as bitcode instead of textual IR.
  • -x={ir|mir} β€” input language as ir or mir.

🚦 EXIT STATUS 🚦

llvm-reduce returns 0 under normal operation. It returns a non-zero exit code if there were any errors. Returns 2 if the interestingness test reported the initial input was not interesting. So if you see 2, the test said "nah, not interesting" from the jump. Vibe check: failed. 😭

🌈 EXAMPLE 🌈

llvm-reduce can be used to simplify a test that causes a compiler crash. Classic main-character bug energy. πŸ’₯

For example, let's assume that opt is crashing on the IR file test.ll with error message Assertion failed at line 1234 of WhateverFile.cpp, when running at -O2.

The test case of test.ll can be reduced by invoking the following command:

$(LLVM_BUILD_FOLDER)/bin/llvm-reduce --test=script.sh <path to>/test.ll

The shell script passed to the option test consists of the following:

$(LLVM_BUILD_FOLDER)/bin/opt -O2 -disable-output $1 \
  |& grep "Assertion failed at line 1234 of WhateverFile.cpp"

(In this script, grep exits with 0 if it finds the string and that becomes the whole script's status.)

This example can be generalized to other tools that process IR files, for example llc.

πŸ‘‘ AUTHOR πŸ‘‘

Maintained by the LLVM Team (https://llvm.org/). Shoutout to the maintainers, fr fr. 🫢

2003-2026, LLVM Project


πŸ’Œ cute sign-off: source/version is LLVM, date is 2026-10-06, page 23, manual page LLVM-REDUCE(1). Byeee bestie, go reduce something iconic! πŸ’…βœ¨

πŸ“¦ where this page comes from