Revision tags: llvmorg-21-init, llvmorg-19.1.7, llvmorg-19.1.6, llvmorg-19.1.5, llvmorg-19.1.4, llvmorg-19.1.3 |
|
#
f4136b32 |
| 19-Oct-2024 |
Kazu Hirata <kazu@google.com> |
[llvm-diff] Avoid repeated hash lookups (NFC) (#113025)
|
Revision tags: llvmorg-19.1.2, llvmorg-19.1.1, llvmorg-19.1.0, llvmorg-19.1.0-rc4, llvmorg-19.1.0-rc3, llvmorg-19.1.0-rc2, llvmorg-19.1.0-rc1, llvmorg-20-init, llvmorg-18.1.8, llvmorg-18.1.7 |
|
#
deab451e |
| 04-Jun-2024 |
Nikita Popov <npopov@redhat.com> |
[IR] Remove support for icmp and fcmp constant expressions (#93038)
Remove support for the icmp and fcmp constant expressions.
This is part of:
https://discourse.llvm.org/t/rfc-remove-most-const
[IR] Remove support for icmp and fcmp constant expressions (#93038)
Remove support for the icmp and fcmp constant expressions.
This is part of:
https://discourse.llvm.org/t/rfc-remove-most-constant-expressions/63179
As usual, many of the updated tests will no longer test what they were
originally intended to -- this is hard to preserve when constant
expressions get removed, and in many cases just impossible as the
existence of a specific kind of constant expression was the cause of the
issue in the first place.
show more ...
|
Revision tags: llvmorg-18.1.6, llvmorg-18.1.5, llvmorg-18.1.4, llvmorg-18.1.3, llvmorg-18.1.2, llvmorg-18.1.1, llvmorg-18.1.0, llvmorg-18.1.0-rc4, llvmorg-18.1.0-rc3, llvmorg-18.1.0-rc2, llvmorg-18.1.0-rc1, llvmorg-19-init |
|
#
8c330445 |
| 23-Jan-2024 |
Kazu Hirata <kazu@google.com> |
[llvm-diff] Use llvm::predecessors (NFC)
|
Revision tags: llvmorg-17.0.6, llvmorg-17.0.5, llvmorg-17.0.4, llvmorg-17.0.3, llvmorg-17.0.2, llvmorg-17.0.1, llvmorg-17.0.0, llvmorg-17.0.0-rc4, llvmorg-17.0.0-rc3 |
|
#
5fcecea8 |
| 19-Aug-2023 |
Kazu Hirata <kazu@google.com> |
[llvm-diff] Modernize DiffEntry (NFC)
|
Revision tags: llvmorg-17.0.0-rc2, llvmorg-17.0.0-rc1, llvmorg-18-init, llvmorg-16.0.6, llvmorg-16.0.5, llvmorg-16.0.4, llvmorg-16.0.3, llvmorg-16.0.2, llvmorg-16.0.1, llvmorg-16.0.0, llvmorg-16.0.0-rc4, llvmorg-16.0.0-rc3, llvmorg-16.0.0-rc2, llvmorg-16.0.0-rc1, llvmorg-17-init, llvmorg-15.0.7, llvmorg-15.0.6, llvmorg-15.0.5, llvmorg-15.0.4 |
|
#
e0447961 |
| 27-Oct-2022 |
Jannik Silvanus <jannik.silvanus@amd.com> |
[llvm-diff] Fix false-positive diffs on forward-referencing phi nodes
When a phi node references a variable defined in a basic block dominated by the the basic block containing the phi node, llvm-di
[llvm-diff] Fix false-positive diffs on forward-referencing phi nodes
When a phi node references a variable defined in a basic block dominated by the the basic block containing the phi node, llvm-diff currently cannot determine whether the variable is equivalent, and thus treats the phi node as different and reports a difference. This leads to false positive differences as demonstrated by the loop.ll diff, for which llvm-diff reports a diff when comparing the file with itself.
Fix that issue by adding the concept of *equivalence assumptions*. When encountering a pair of values which can neither be proven to be equivalent nor to be non-equivalent, instead optimistically assume equivalence, and store somewhere that the equivalence of the currently compared basic blocks depends on this assumption.
Later, once all BBs have been processed, check all made assumptions and report blocks as different whose equivalence was depending on an incorrect assumption, or an assumption we could not prove to be correct.
In order to preserve the original diff report order, also schedule diffs of blocks already known to be different using the same mechanism, so all block diffs are now generated at the very end of function diffing.
In case an incorrect assumption was made, all further shown equivalences between old and new values implictly depend on the incorrect assumption. Some of these may in fact be not equivalent, but these are neither reverted nor reported, because they are considered indirect diffs caused by an earlier direct diff.
See inline comments for an argument why we do not run into issues caused by circular proof dependencies.
Differential Revision: https://reviews.llvm.org/D137318
show more ...
|
Revision tags: llvmorg-15.0.3, working, llvmorg-15.0.2, llvmorg-15.0.1, llvmorg-15.0.0, llvmorg-15.0.0-rc3, llvmorg-15.0.0-rc2, llvmorg-15.0.0-rc1, llvmorg-16-init, llvmorg-14.0.6, llvmorg-14.0.5, llvmorg-14.0.4, llvmorg-14.0.3, llvmorg-14.0.2, llvmorg-14.0.1, llvmorg-14.0.0, llvmorg-14.0.0-rc4, llvmorg-14.0.0-rc3, llvmorg-14.0.0-rc2, llvmorg-14.0.0-rc1, llvmorg-15-init, llvmorg-13.0.1, llvmorg-13.0.1-rc3, llvmorg-13.0.1-rc2, llvmorg-13.0.1-rc1 |
|
#
2975f37d |
| 22-Nov-2021 |
Bill Wendling <isanbard@gmail.com> |
[llvm-diff] Implement diff of PHI nodes
Implement diff of PHI nodes
Reviewed By: dblaikie
Differential Revision: https://reviews.llvm.org/D114211
|
Revision tags: llvmorg-13.0.0, llvmorg-13.0.0-rc4, llvmorg-13.0.0-rc3, llvmorg-13.0.0-rc2 |
|
#
4d293f21 |
| 03-Aug-2021 |
Bill Wendling <isanbard@gmail.com> |
[llvm-diff] Create libLLVMDiff library
Some tools may want to use the LLVM "diff" code. Move the code into a library for easy use.
No functionality change intende.
Differential Revision: https://r
[llvm-diff] Create libLLVMDiff library
Some tools may want to use the LLVM "diff" code. Move the code into a library for easy use.
No functionality change intende.
Differential Revision: https://reviews.llvm.org/D107392
show more ...
|
#
9854f2f3 |
| 03-Aug-2021 |
Bill Wendling <isanbard@gmail.com> |
[llvm-diff] Create libLLVMDiff library
Some tools may want to use the LLVM "diff" code. Move the code into a library for easy use.
No functionality change intende.
Differential Revision: https://r
[llvm-diff] Create libLLVMDiff library
Some tools may want to use the LLVM "diff" code. Move the code into a library for easy use.
No functionality change intende.
Differential Revision: https://reviews.llvm.org/D107392
show more ...
|