[all-commits] [llvm/llvm-project] 0bb1b6: [Local] Only intersect tbaa metadata if instr move...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0bb1b683302e41bb1bdbcec1cbe724f54add0fa3
      https://github.com/llvm/llvm-project/commit/0bb1b683302e41bb1bdbcec1cbe724f54add0fa3
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2024-11-20 (Wed, 20 Nov 2024)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp
    M llvm/test/Transforms/GVN/tbaa.ll
    M llvm/test/Transforms/InstCombine/loadstore-metadata.ll
    M llvm/test/Transforms/JumpThreading/thread-loads.ll
    M llvm/test/Transforms/NewGVN/tbaa.ll
    M llvm/test/Transforms/PhaseOrdering/X86/preserve-access-group.ll

  Log Message:
  -----------
  [Local] Only intersect tbaa metadata if instr moves. (#116682)

Preserve tbaa metadata on the replacement instruction, if it does not
move. In that case, the program would be UB, if the aliasing property
encoded in the metadata does not hold.

This makes use of the clarification re tbaa metadata implying UB if the
property does not hold: https://github.com/llvm/llvm-project/pull/116220

Same as https://github.com/llvm/llvm-project/pull/115868, but for !tbaa

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



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