[PATCH] D118799: [ConstraintElimination] Allow adding pre-conditions for constraints.

[Philip Reames via Phabricator via llvm-commits]

reames accepted this revision.
reames added a comment.
This revision is now accepted and ready to land.

LGTM

Code looks reasonable, don't have a ton of context so I'm assuming the existing code does what it says.  If you want a more rigorous review, ask and I'll take a more skeptical pass through.



================
Comment at: llvm/lib/Transforms/Scalar/ConstraintElimination.cpp:82
     append_range(Constraints, Other.Constraints);
+    append_range(Preconditions, Other.Preconditions);
   }
----------------
I'll note we can do smarter merges here in some cases, but we can defer fanciness until warranted.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118799