[all-commits] [llvm/llvm-project] bd12a3: [BasicAA] Use GEP as context for computeKnownBits ...

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: bd12a322d7e0b2541880c00f5551e047e06be982
      https://github.com/llvm/llvm-project/commit/bd12a322d7e0b2541880c00f5551e047e06be982
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2019-12-12 (Thu, 12 Dec 2019)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    A llvm/test/Analysis/BasicAA/assume-index-positive.ll

  Log Message:
  -----------
  [BasicAA] Use GEP as context for computeKnownBits in aliasGEP.

In order to use assumptions, computeKnownBits needs a context
instruction. We can use the GEP, if it is an instruction. We already
pass the assumption cache, but it cannot be used without a context
instruction.

Reviewers: anemet, asbirlea, hfinkel, spatel

Reviewed By: asbirlea

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