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

[ValueTracking] Add logic for `isKnownNonZero(sshl.sat/ushl.sat X, Y)` 

`(sshl/ushl X, Y) != 0` -> `X != 0`

Alive2 Links
    https://alive2.llvm.org/ce/z/4WLM2p
    https://alive2.llvm.org/ce/z/BHFng4

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D149411
parent ea5a0d4b
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