llvm-project.git/llvm/test/Transforms/LoopPredication/basic_widenable_branch_guards.ll, branch users/nico/python-2

[GuardUtils] Revert llvm::isWidenableBranch change (#66411)

2023-09-20T09:27:54+00:00

In the d6e7c162e1df3736d8e2b3610a831b7cfa5be99b was introduced util to
to extract widenable conditions from branch. That util was applied in
the llvm::isWidenableBranch to check if branch is widenable. So we
consider branch is widenable if it has widenable condition anywhere in
the condition tree. But that will be true when we finish GuardWidening
reworking from branch widening to widenable conditions widening.
For now we still need to check that widenable branch is in the form of:
`br(widenable_condition & (...))`,
because that form is assumed by LoopPredication and GuardWidening
algorithms.

Fixes: https://github.com/llvm/llvm-project/issues/66418

Co-authored-by: Aleksander Popov

[LoopPredication] Rework assumes of widened conditions

2023-08-18T12:35:46+00:00

Currently after widening br(WC && (c1 && c2)) we insert assume of
(c1 && c2) which is joined to WC by And operation.
But we are going to support more flexible form of widenable branches
where WC could be placed arbitrary in the expression tree, e.g:
br(c1 && (c2 && WC)).
In that case we won't have (c1 && c2) in the IR. So we need to add
explicit (c1 && c2) and then create an assumption of it.

Reviewed By: anna

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

[GuardUtils] Allow intermmediate blocks between widenable branch and deopt block

2023-05-25T09:28:11+00:00

Reviewed By: anna
Differential Revision: https://reviews.llvm.org/D151082

[LoopPredication] Fix the LoopPredication by feezing the result of predication.

2023-03-29T08:12:00+00:00

LoopPredication introduces the use of possibly posion value in branch (guard)
instruction, so to avoid introducing undefined behavior it should be frozen.

Reviewed By: mkazantsev
Differential Revision: https://reviews.llvm.org/D146685

[LoopPredication] Convert tests to opaque pointers (NFC)

2023-01-02T15:52:03+00:00

[NFC] Port all LoopPredication tests to `-passes=` syntax

2022-12-07T23:38:46+00:00

[LoopPredication] Insert assumes of conditions of predicated guards

2022-10-07T09:10:24+00:00

As LoopPredication performs non-equivalent transforms removing some
checks from loops, other passes may not be able to perform transforms
they'd be able to do if the checks were left in loops.

This patch makes LoopPredication insert assumes of the replaced
conditions either after a guard call or in the true block of
widenable condition branch.

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

Revert rest of `IRBuilderBase`'s short-circuiting folds

2021-10-27T23:15:14+00:00

Upon further investigation and discussion,
this is actually the opposite direction from what we should be taking,
and this direction wouldn't solve the motivational problem anyway.

Additionally, some more (polly) tests have escaped being updated.
So, let's just take a step back here.

This reverts commit f3190dedeef9da2109ea57e4cb372f295ff53b88.
This reverts commit 749581d21f2b3f53e4fca4eb8728c942d646893b.
This reverts commit f3df87d57e096143670e0fd396e81d43393a2dd2.
This reverts commit ab1dbcecd6f0969976fafd62af34730436ad5944.

[IR] `IRBuilderBase::CreateAnd()`: fix short-circuiting for constant on LHS

2021-10-27T15:01:06+00:00

Refs. https://reviews.llvm.org/D109368#3089809

[NFC] Re-autogenerate check lines in some tests to ease of future update

2021-10-27T15:01:05+00:00