[all-commits] [llvm/llvm-project] 7f3ff9: [ConstraintElimination] Track if variables are pos...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7f3ff9d3c0ba6a1ac2beb80adfe6d76e10f29da7
      https://github.com/llvm/llvm-project/commit/7f3ff9d3c0ba6a1ac2beb80adfe6d76e10f29da7
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-09-14 (Wed, 14 Sep 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/zext-for-per-formula-reasoning.ll

  Log Message:
  -----------
  [ConstraintElimination] Track if variables are positive in constraint.

Keep track if variables are known positive during constraint
decomposition, aggregate the information when building the constraint
object and encode the extra information as constraints to be used during
reasoning.