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

[ValueTracking] Compute `sdiv` as non-zero if `abs(num) u>= abs(denum)` 

Just covering an additional case.

Proof: https://alive2.llvm.org/ce/z/MJz9fT

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D157302
parent d0b4ed9a
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment