llvm-project.git/llvm/test/Transforms/Util/PredicateInfo, branch users/nico/python-2

[test] Remove occurences of br undef in Transform/Util tests [NFC]

2023-02-12T10:13:59+00:00

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

[PredicateInfo] Enable test with broken REQUIRES condition (NFC)

2023-01-05T11:51:28+00:00

Add some extra uses of the comparisons, so that these do get
visited.

PredicateInfo: Convert test to opaque pointers

2022-12-05T16:42:11+00:00

Drops the "has predicate info" for the first block.

[test][Transform/Utils] Update tests to opaque pointer syntax. NFC

2022-10-03T21:01:43+00:00

This patch converts test cases that simly could be rewritten
using the script at
https://gist.github.com/nikic/98357b71fd67756b0f064c9517b62a34

[test] Use -passes syntax when specifying pipeline in some more tests

2021-11-27T08:52:55+00:00

The legacy PM is deprecated, so update a bunch of lit tests running
opt to use the new PM syntax when specifying the pipeline.
In this patch focus has been put on test cases for ConstantMerge,
ConstraintElimination, CorrelatedValuePropagation, GlobalDCE,
GlobalOpt, SCCP, TailCallElim and PredicateInfo.

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

[test] Fixup tests with -analyze in llvm/test/Transforms

2021-09-04T23:45:51+00:00

[PredicateInfo] Use Intrinsic::getDeclaration now that it handles unnamed types.

2021-07-28T17:30:29+00:00

This is a second attempt to fix the EXPENSIVE_CHECKS issue that was mentioned  In D91661#2875179 by @jroelofs.

(The first attempt was in D105983)

D91661 more or less completely reverted D49126 and by doing so also removed the cleanup logic of the created declarations and calls.
This patch is a replacement for D91661 (which must itself be reverted first). It replaces the custom declaration creation with the
generic version and shows the test impact. It also tracks the number of NamedValues to detect if a new prototype was added instead
of looking at the available users of a prototype.

Reviewed By: jroelofs

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

Revert "Revert of D49126 [PredicateInfo] Use custom mangling to support ssa_copy with unnamed types."

2021-07-28T17:30:29+00:00

This reverts commit 77080a1eb6061df2dcfae8ac84b85ad4d1e02031.

This change introduced issues detected with EXPENSIVE_CHECKS. Reverting to restore the
needed function cleanup. A next patch will then just improve on the name mangling.

Revert of D49126 [PredicateInfo] Use custom mangling to support ssa_copy with unnamed types.

2021-03-20T10:37:09+00:00

Now that intrinsic name mangling can cope with unnamed types, the custom name mangling in PredicateInfo (introduced by D49126) can be removed.
(See D91250, D48541)

Reviewed By: fhahn

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

[PredicateInfo] Handle logical and/or

2021-01-20T20:03:07+00:00

Teach PredicateInfo to handle logical and/or the same way as
bitwise and/or. This allows handling logical and/or inside IPSCCP
and NewGVN.