[all-commits] [llvm/llvm-project] 887c76: [BasicAA] Deoptimize intrinsics don't modify memory

[arpilipe via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 887c7660bdf3f300bd1997dcfd7ace91787c0584
      https://github.com/llvm/llvm-project/commit/887c7660bdf3f300bd1997dcfd7ace91787c0584
  Author: Artur Pilipenko <apilipenko at azul.com>
  Date:   2020-11-19 (Thu, 19 Nov 2020)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    A llvm/test/Analysis/BasicAA/deoptimize.ll

  Log Message:
  -----------
  [BasicAA] Deoptimize intrinsics don't modify memory

Similarly to assumes and guards deoptimize intrinsics are
marked as writing to ensure proper control dependencies
but they never modify any particular memory location.

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