[all-commits] [llvm/llvm-project] 03f21e: [LangRef] Update initializes definition (#134370)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 03f21e2ba3be6cec4cfe2441142cca16a6d1d528
      https://github.com/llvm/llvm-project/commit/03f21e2ba3be6cec4cfe2441142cca16a6d1d528
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2025-04-08 (Tue, 08 Apr 2025)

  Changed paths:
    M llvm/docs/LangRef.rst

  Log Message:
  -----------
  [LangRef] Update initializes definition (#134370)

Specify the initializes attribute in terms of an "initialized" shadow
state, such that:

* Loads prior to initialization return poison.
* Bytes that are not explicitly initialized are written with undef on
function return.

This is intended to preserve the core semantics of the attribute, but
adjusts the wording in a way that is compatible with existing
optimizations, such as insertion of spurious loads and removal of
uninitialized writes.

Fixes https://github.com/llvm/llvm-project/issues/133038.
Fixes https://github.com/llvm/llvm-project/issues/133059.



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