[PATCH] D106447: [DAGCombine] DAGTypeLegalizer::GenWidenVectorLoads(): make use of dereferenceability knowledge

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

@lebedev.ri Yep, Alive2's encoding assumes that `dereferenceable`'s encoding has no relation with `align` value.
LangRef does not seem to impose that a pointer must be dereferenceable by at least its alignment.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D106447