[PATCH] D81544: [LVI] Make use of 'assume'-provided data

[Nikita Popov via Phabricator via llvm-commits]

nikic requested changes to this revision.
nikic added inline comments.
This revision now requires changes to proceed.


================
Comment at: llvm/lib/Analysis/LazyValueInfo.cpp:1810
+      return getPredicateResult(Pred, C, Result, DL, TLI);
+    }
+
----------------
This will result in incorrect handling of pointers, as the miscompiles in non-null.ll show. This would need D69914 to be reapplied first. Additionally it doesn't really make sense to limit this to the entry block, this should be using the block value for everything (that would be D69686).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D81544