[instcombine] icmp eq/ne (sub C, Y), C -> icmp eq/ne Y, 0
Noticed while looking at pr43028.
No review ? No alive proof ?
Tests with edge values (i8 min, i8 max)?
If it is sound and valid, I have no problem, no need to revert :)
Can you please add a vector test?
Thanks for added tests.