[PATCH] D103862: [Attributor] Simplify loads

[Kuter Dinel via Phabricator via llvm-commits]

kuter added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/AttributorAttributes.cpp:4504
+        // A null pointer access can be undefined but any offset from null may
+        // be OK. We do not try to optimize the latter.
+        bool UsedAssumedInformation;
----------------
I don't understand why this case needs to be handled.  I don't see how we would get something different from the `getAssumedSimplified`. `getAssumedUnderlyingObjects` just does `genericValueTraversal` and strips away casts.



Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103862