[PATCH] D66157: [BasicAA] Use dereferenceability to reason about aliasing

Mon Aug 19 20:13:36 PDT 2019

hfinkel added inline comments.

================
Comment at: llvm/lib/Analysis/BasicAliasAnalysis.cpp:236

+/// Return the minimal extend from \p V to the end of the underlying object,
+/// assuming the result is used in an aliasing query. E.g., we do use the query
----------------
extend -> extent

================
Comment at: llvm/test/Analysis/BasicAA/dereferenceable.ll:4
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+
+ at G = global i32 0, align 4
----------------
All of these tests check for the 'NoAlias' case. Can you please also add some checks for some associated MayAlias cases to insure that we're not accidentally getting too much?

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66157/new/

https://reviews.llvm.org/D66157