srem-simplify-bug.ll 168 Bytes