[all-commits] [llvm/llvm-project] 1d23d6: [ConstraintElimination] Add function arguments to ...

[Zain Jaffal via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1d23d60c8d0406b9163d223d2721c5e4f1932f50
      https://github.com/llvm/llvm-project/commit/1d23d60c8d0406b9163d223d2721c5e4f1932f50
  Author: Zain Jaffal <z_jaffal at apple.com>
  Date:   2023-04-03 (Mon, 03 Apr 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/ConstraintSystem.h
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll

  Log Message:
  -----------
  [ConstraintElimination] Add function arguments to constraint system before solving

If there is an optimisation opportunity and the function argument hasn’t been added to constraint
system through previous facts we fail to optimise it.

It might be a good idea to start the constraint system with all the function arguments added to the system

Reviewed By: fhahn

Differential Revision: https://reviews.llvm.org/D144879