[all-commits] [llvm/llvm-project] b86ddf: Global variables with strong definitions cannot be...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b86ddfdb9a80f2343510e07209ceda59d72972e3
      https://github.com/llvm/llvm-project/commit/b86ddfdb9a80f2343510e07209ceda59d72972e3
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-07-14 (Wed, 14 Jul 2021)

  Changed paths:
    M llvm/lib/IR/Value.cpp

  Log Message:
  -----------
  Global variables with strong definitions cannot be freed

With the current deref semantics, this is redundant - since we assume that anything which is dereferenceable (ever) can't be freed - but it becomes neccessary for the deref-at-point semantics.

Testing wise, this is covered by test/CodeGen/X86/hoist-invariant-load.ll when -use-dereferenceable-at-point-semantics is active.  I didn't bother duplicating the command line since a) it's an in-development mode, and b) the change is pretty obvious.