[all-commits] [llvm/llvm-project] 11a6e6: [ConstraintElim] Move logic to get constraint for ...

Florian Hahn via All-commits all-commits at lists.llvm.org
Sun Oct 9 02:45:22 PDT 2022

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 11a6e64ba7bed04c03ca52e13567ebe4ec7014a5
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-10-09 (Sun, 09 Oct 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/gep-sub.ll

  Log Message:
  [ConstraintElim] Move logic to get constraint for solving to helper.

Move common logic shared by callers of getConstraint that use the result
to query the constraint system to a new helper getConstraintForSolving.

This includes common legality checks (i.e. not an equality constraint,
no new variables) and the logic to query the unsigned system if possible
for signed predicates.

More information about the All-commits mailing list