[DAG] visitADDLike - update "(x - y) + -1  ->  add (xor y, -1), x" fold to accept UNDEF in a splat vector of -1

Make sure we use getNOT instead of reusing the allones (with undefs) vector

GitOrigin-RevId: 2e68ba99def5b07f4c6c53627baf076c5c924979
3 files changed