[all-commits] [llvm/llvm-project] 4054b8: [deref] Implement initial set of inference rules f...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4054b8322fd8ef706bd486128a57bc8b709e2319
      https://github.com/llvm/llvm-project/commit/4054b8322fd8ef706bd486128a57bc8b709e2319
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-03-24 (Wed, 24 Mar 2021)

  Changed paths:
    M llvm/lib/IR/Value.cpp
    M llvm/test/Analysis/ValueTracking/deref-abstract-gc.ll
    M llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll

  Log Message:
  -----------
  [deref] Implement initial set of inference rules for deref-at-point

This implements a subset of the initial set of inference rules proposed in the llvm-dev thread "RFC: Decomposing deref(N) into deref(N) + nofree". The nolias one got moved to a separate review as there was some concerns raised which require further discussion.

Differential Revision: https://reviews.llvm.org/D99135