[all-commits] [llvm/llvm-project] dbbd4e: [LangRef] select: describe behavior for undef and ...

[Ralf Jung via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dbbd4e0de70b62c2e05d8a650ddcdff954ef8d0f
      https://github.com/llvm/llvm-project/commit/dbbd4e0de70b62c2e05d8a650ddcdff954ef8d0f
  Author: Ralf Jung <post at ralfj.de>
  Date:   2026-07-14 (Tue, 14 Jul 2026)

  Changed paths:
    M llvm/docs/LangRef.md

  Log Message:
  -----------
  [LangRef] select: describe behavior for undef and poison (#208724)

The poison semantics is based on
https://llvm.org/docs/UndefinedBehavior.html#propagation-of-poison-through-select.
IMO this definitely should appear in the "semantics" section of the
`select` instruction. If this isn't part of the `select` semantics I
don't know what is.

The undef semantics are based on what Alive does.



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