Skip to content
Unverified Commit 1fea712c authored by Yingwei Zheng's avatar Yingwei Zheng Committed by GitHub
Browse files

[ValueTracking] Infer `X u<= X +nuw Y` for any Y (#75524) 

Alive2: https://alive2.llvm.org/ce/z/kiGxCf
Fixes #70374.
parent af2d740d
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