projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af2ed59) | patch
[ConstraintElimination] Add function arguments to constraint system before solving
authorZain Jaffal <z_jaffal@apple.com>
Mon, 3 Apr 2023 13:16:46 +0000 (14:16 +0100)
committerZain Jaffal <z_jaffal@apple.com>
Mon, 3 Apr 2023 13:16:49 +0000 (14:16 +0100)
commit1d23d60c8d0406b9163d223d2721c5e4f1932f50
tree393dbc6d072ddfb7214372ce370f549775fffd13tree | snapshot
parentaf2ed59f2bdaea30165e4c0f149dbcecdee307a8commit | diff
[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
llvm/include/llvm/Analysis/ConstraintSystem.h diff | blob | history
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp diff | blob | history
llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll diff | blob | history
Domain: System / Toolchain;