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

[SCEV] Better preserve wrapping info in SimplifyICmpOperands for UGE. (#144404)

2025-06-17T14:30:08+00:00

Update SimplifyICmpOperands to only try subtracting 1 from RHS first, if
RHS is an op we can fold the subtract directly into. Otherwise try
adding to LHS first, as we can preserve NUW flags.

This improves results in a few cases, including the modified test case
from berkeley-abc and new code to be added in
https://github.com/llvm/llvm-project/pull/128061.

Note that there are more cases where the results can be improved by
better ordering here which I'll try to investigate as follow-up.

PR: https://github.com/llvm/llvm-project/pull/144404

[IndVars] Add tests showing missed simplifications.

2025-06-16T15:31:21+00:00

[IndVars] Teach widenLoopCompare to use sext if narrow IV is positive and other operand is already sext. (#142703)

2025-06-10T19:52:39+00:00

This prevents us from ending up with (zext (sext X)). The zext will
require an instruction on targets where zext isn't free like RISC-V.

[SCEV] Add more tests with zext(add C, %var).

2025-06-03T21:03:20+00:00

Add extra test coverage for
https://github.com/llvm/llvm-project/pull/142599.

[SCEV] Add additional test coverage for loop-guards reasoning.

2025-06-01T21:39:37+00:00

Add additional tests showing missed opportunities when using loop guards
for reasoning in SCEV, depending on the order the guards appear in the
IR.

[IndVarSimplify] Set samesign when converting signed comparison to unsigned comparison in eliminateIVComparison. (#138215)

2025-05-02T15:17:45+00:00

[AMDGPU] Remove explicit datalayout from tests where not needed

2025-04-30T17:58:17+00:00

Since e39f6c1844fab59c638d8059a6cf139adb42279a opt will infer the
correct datalayout when given a triple. Avoid explicitly specifying it
in tests that depend on the AMDGPU target being present to avoid the
string becoming out of sync with the TargetInfo value.
Only tests with REQUIRES: amdgpu-registered-target or a local lit.cfg
were updated to ensure that tests for non-target-specific passes that
happen to use the AMDGPU layout still pass when building with a limited
set of targets.

Reviewed By: shiltian, arsenm

Pull Request: https://github.com/llvm/llvm-project/pull/137921

[IndVarsSimplify] sinkUnusedInvariants is skipping instructions while sinking. (#135205)

2025-04-18T00:21:18+00:00

While sinking instructions (that are loop invariant) from preheader to
the exit block, we are skipping instructions due to decrementing
instruction iterator twice.

[DebugInfo][IndVarSimplify] Propagate source loc when simplifying rem (#135399)

2025-04-17T16:30:09+00:00

When IndVarSimplify simplifies a rem of the induction variable to a cmp
and select, only the select currently receives the rem's source
location; this patch propagates it to the cmp as well.

Found using https://github.com/llvm/llvm-project/pull/107279.

[IndVarSimplify] Handle the case where both operands are the same when widening IV (#135207)

2025-04-11T01:03:06+00:00

`WidenIV::widenWithVariantUse` assumes that exactly one of the binop
operands is the IV to be widened. This miscompilation happens when it
tries to sign-extend the "NonIV" operand while the IV is zero-extended.
Closes https://github.com/llvm/llvm-project/issues/135182.