[all-commits] [llvm/llvm-project] e40e0b: [llubi] Add support for llvm.speculative.load. (#2...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e40e0bc36b14d296df5798c52792f662c715b445
      https://github.com/llvm/llvm-project/commit/e40e0bc36b14d296df5798c52792f662c715b445
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2026-09-28 (Mon, 28 Sep 2026)

  Changed paths:
    A llvm/test/tools/llubi/intr_speculative_load.ll
    A llvm/test/tools/llubi/intr_speculative_load_ub.ll
    M llvm/tools/llubi/lib/Interpreter.cpp

  Log Message:
  -----------
  [llubi] Add support for llvm.speculative.load. (#226839)

Implement the direct form of llvm.speculative.load, where the number of
accessible bytes N is passed as an i64. Only the N accessible bytes are
read from memory and they must be in bounds of the underlying object;
all other bytes are poison. With from_end, the accessible bytes are the
last N bytes of the loaded value. It is UB if N is poison or exceeds the
size of the loaded type.

Support for the oracle form will be added as follow-up.

PR: https://github.com/llvm/llvm-project/pull/226839



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