[all-commits] [llvm/llvm-project] 4d093a: [llubi] Check undefined bits when !noundef is set ...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4d093aa775638fd2bdb9fa3e4723aee84ec9a9e7
      https://github.com/llvm/llvm-project/commit/4d093aa775638fd2bdb9fa3e4723aee84ec9a9e7
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2026-05-04 (Mon, 04 May 2026)

  Changed paths:
    A llvm/test/tools/llubi/load_noundef_ub_poison.ll
    A llvm/test/tools/llubi/load_noundef_ub_poison_padding.ll
    A llvm/test/tools/llubi/load_noundef_ub_undef.ll
    M llvm/test/tools/llubi/loadstore_be.ll
    M llvm/test/tools/llubi/loadstore_le.ll
    M llvm/tools/llubi/lib/Context.cpp
    M llvm/tools/llubi/lib/Context.h
    M llvm/tools/llubi/lib/ExecutorBase.cpp
    M llvm/tools/llubi/lib/ExecutorBase.h
    M llvm/tools/llubi/lib/Interpreter.cpp

  Log Message:
  -----------
  [llubi] Check undefined bits when !noundef is set (#195642)

Address one of the todos in
https://github.com/llvm/llvm-project/pull/195339. Currently it just
checks the loaded value after applying poison-generating metadata. This
patch also takes uninitialized bits in the memory into account.



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