[all-commits] [llvm/llvm-project] bb0344: [memcpyopt] Conservatively handle non-integral poi...

[Philip Reames via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: bb0344644a656734d707ab9c0baf6eb0533ac905
      https://github.com/llvm/llvm-project/commit/bb0344644a656734d707ab9c0baf6eb0533ac905
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2020-10-01 (Thu, 01 Oct 2020)

  Changed paths:
    M llvm/lib/Transforms/Scalar/MemCpyOptimizer.cpp
    A llvm/test/Transforms/MemCpyOpt/non-integral.ll

  Log Message:
  -----------
  [memcpyopt] Conservatively handle non-integral pointers

If we allow the non-integral pointers to become memset and memcpy, we loose the ability to reason about pointer propagation.  This patch is modeled on changes we've carried downstream for a long time, figured it was worth being equally conservative for other users.  There is room to refine the semantics and handling here if anyone is motivated.