[all-commits] [llvm/llvm-project] 84e6eb: [LLVM][InstCombine] Add fixed-point aspect to modu...

[Daniel Thornburgh via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 84e6eb8ae98ddd3fdabbad5ab2ae0bc1cdcba706
      https://github.com/llvm/llvm-project/commit/84e6eb8ae98ddd3fdabbad5ab2ae0bc1cdcba706
  Author: Daniel Thornburgh <dthorn at google.com>
  Date:   2026-06-11 (Thu, 11 Jun 2026)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/include/clang/Basic/AttrDocs.td
    M llvm/docs/LangRef.rst
    M llvm/docs/ReleaseNotes.md
    M llvm/lib/IR/Verifier.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/test/Transforms/InstCombine/modular-format.ll
    M llvm/test/Verifier/modular-format.ll

  Log Message:
  -----------
  [LLVM][InstCombine] Add fixed-point aspect to modular printf attribute (#202425)

This commit adds support for the "fixed" aspect inside LLVM's modular
printf optimizer pass (InstCombineCalls.cpp). It implements a targeted
format string parser that scans constant format strings for "%r, %R, %k,
%K" specifiers to resolve if the "fixed" aspect is needed, falling back
to conservatively assumed needed if the format string is dynamic.

This commit also adds missing Verifier checks for modular-format,
including those that guard the parts of its syntax that are newly used
by this change.

Generated by Gemini; reviewed and edited manually.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications