llvm-project.git/llvm/lib/Analysis/ValueTracking.cpp, branch users/vitalybuka/spr/main.clangcodegen-remove-simplifycfgpass-preceding-removetrapspass

[ValueTracking] Add more conditions in to `isTruePredicate`

2024-04-04T17:42:58+00:00

There is one notable "regression". This patch replaces the bespoke `or
disjoint` logic we a direct match. This means we fail some
simplification during `instsimplify`.
All the cases we fail in `instsimplify` we do handle in `instcombine`
as we add `disjoint` flags.

Other than that, just some basic cases.

See proofs: https://alive2.llvm.org/ce/z/_-g7C8

Closes #86083

[ValueTracking] Infer known bits fromfrom `(icmp eq (and/or x,y), C)`

2024-04-04T17:42:58+00:00

In `(icmp eq (and x,y), C)` all 1s in `C` must also be set in both
`x`/`y`.

In `(icmp eq (or x,y), C)` all 0s in `C` must also be set in both
`x`/`y`.

Closes #87143

[ValueTracking] Tracking `or disjoint` conditions as `add` in Assumption/DomCondition Cache

2024-03-28T18:49:05+00:00

We can definitionally treat `or disjoint` as `add` anywhere.

Closes #86302

[ValueTracking] Handle range attributes (#85143)

2024-03-20T11:43:00+00:00

Handle the range attribute in ValueTracking.

[ValueTracking] Handle `not` in `isImpliedCondition` (#85397)

2024-03-20T08:16:42+00:00

This patch handles `not` in `isImpliedCondition` to enable more fold in
some multi-use cases.

[ValueTracking] Move MD_range handling to isKnownNonZeroFromOperator()

2024-03-19T15:16:48+00:00

All the isKnownNonZero() handling for instructions should be inside
this function. This makes the structure more similar to
computeKnownBitsFromOperator() as well.

This may not be entirely NFC due to different depth handling.

[ValueTracking] Fix release build

2024-03-19T15:07:14+00:00

Move the declaration of the Ty variable outside the NDEBUG guard
and make use of it in the remainder of the function.

[ValueTracking] Handle vector range metadata in isKnownNonZero()

2024-03-19T14:50:13+00:00

Nowadays !range can be placed on instructions with vector of int
return value. Support this case in isKnownNonZero().

ValueTracking: Fix bug with fcmp false to nan constant

2024-03-19T09:22:45+00:00

If we had a comparison to a literal nan with a false predicate,
we were incorrectly treating it as an unordered compare. This was
correct for fcmp true, but not fcmp false. I noticed this in the
review for e44d3b3e503fa12fdaead2936b28844aa36237c1 but misdiagnosed
the reason. Also change the test for the fcmp true case to be more
useful, but it wasn't wrong previously.

[ValueTracking] Handle non-canonical operand order in `isImpliedCondICmps`

2024-03-17T22:46:06+00:00

We don't always have canonical order here, so do it manually.

Closes #85575