Skip to content
Commit e78c30a1 authored by Noah Goldstein's avatar Noah Goldstein
Browse files

[ValueTracking] Add logic for `isKnownNonZero(umin X, Y)` 

`(umin X, Y) != 0` -> `X != 0 && Y != 0`

Alive2 Link:
    https://alive2.llvm.org/ce/z/AQh67i

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D149416
parent 883daa7a
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment