[all-commits] [llvm/llvm-project] 389e92: [LICM][SimplifyCFG] Ignore frees for writable dere...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 389e924ac7df45d34b613a46d24940abcfeb879d
      https://github.com/llvm/llvm-project/commit/389e924ac7df45d34b613a46d24940abcfeb879d
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2026-06-10 (Wed, 10 Jun 2026)

  Changed paths:
    M llvm/include/llvm/Analysis/Loads.h
    M llvm/lib/Analysis/Loads.cpp
    M llvm/lib/Transforms/Scalar/LICM.cpp
    M llvm/lib/Transforms/Utils/SimplifyCFG.cpp
    M llvm/test/Transforms/LICM/scalar-promote.ll
    M llvm/test/Transforms/SimplifyCFG/speculate-store.ll

  Log Message:
  -----------
  [LICM][SimplifyCFG] Ignore frees for writable dereferenceability check (#202589)

Both of these places only explicitly check for dereferenceability
because this is required for the `writable` attribute. Actual
dereferenceability has already been established at this point, e.g.
based on a prior access. As such, we can ignore frees here. We only care
that the argument has an appropriately sized `dereferenceable`
attribute.



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