[all-commits] [llvm/llvm-project] 0311bb: [llubi] Add support for load/store/lifetime marker...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0311bb623a1e1bd101e517cfde4538039f65aa24
      https://github.com/llvm/llvm-project/commit/0311bb623a1e1bd101e517cfde4538039f65aa24
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2026-03-07 (Sat, 07 Mar 2026)

  Changed paths:
    M llvm/docs/CommandGuide/llubi.rst
    A llvm/test/tools/llubi/loadstore_be.ll
    A llvm/test/tools/llubi/loadstore_le.ll
    A llvm/test/tools/llubi/loadstore_misaligned.ll
    A llvm/test/tools/llubi/loadstore_null.ll
    A llvm/test/tools/llubi/loadstore_oob1.ll
    A llvm/test/tools/llubi/loadstore_overaligned.ll
    A llvm/test/tools/llubi/loadstore_poison.ll
    A llvm/test/tools/llubi/loadstore_uaf.ll
    A llvm/test/tools/llubi/store_dead.ll
    M llvm/tools/llubi/lib/Context.cpp
    M llvm/tools/llubi/lib/Context.h
    M llvm/tools/llubi/lib/Interpreter.cpp
    M llvm/tools/llubi/lib/Value.h
    M llvm/tools/llubi/llubi.cpp

  Log Message:
  -----------
  [llubi] Add support for load/store/lifetime markers (#182532)

Bytes are adjusted to respect the incoming byte type proposed in
https://discourse.llvm.org/t/rfc-add-a-new-byte-type-to-llvm-ir/89522.

Note that the current implementation of constant folding doesn't handle
bitcasts with weird types like `<8 x i3> to <3 x i8>`:

https://github.com/llvm/llvm-project/blob/49de34459c99b33c27aae4596ed5e67ce3d89eae/llvm/lib/Analysis/ConstantFolding.cpp#L223-L232
So I take the result from Alive2 as reference:
https://alive2.llvm.org/ce/z/ZGA_xP



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