[llvm] [ConstraintElim] Use constraints from bounded memory accesses (PR #155253)

[Nikita Popov via llvm-commits]

================
@@ -1109,10 +1113,46 @@ void State::addInfoForInductions(BasicBlock &BB) {
   }
 }
 
+static bool getConstraintFromMemoryAccess(GetElementPtrInst &GEP,
+                                          uint64_t AccessSize,
+                                          CmpPredicate &Pred, Value *&A,
+                                          Value *&B, const DataLayout &DL,
+                                          const TargetLibraryInfo &TLI) {
+  auto Offset = collectOffsets(cast<GEPOperator>(GEP), DL);
+  if (!Offset.NW.hasNoUnsignedWrap())
+    return false;
+
+  if (Offset.VariableOffsets.size() != 1)
+    return false;
+
+  ObjectSizeOpts Opts;
+  // Workaround for gep inbounds, ptr null, idx.
+  Opts.NullIsUnknownSize = true;
----------------
nikic wrote:

We should probably also set `Opts.RoundToAlign = true` here to be conservative and match BasicAA. We're not very clear on whether an access withing overalignment is UB or not.

https://github.com/llvm/llvm-project/pull/155253