These correspond to the DXIL SDiv and SRem instructions, for which division by zero is undefined. Division by zero is also undefined for DXIL UDiv and URem; addressing those is slightly more involved.