https://github.com/RKSimon approved this pull request. Final question - do we need handling for DivRem instructions to make sure we don't introduce poison mask elements in the denominator? see 4cc9c6d98dfef90d1ffa69977d13ffa2894a10f7 https://github.com/llvm/llvm-project/pull/88693