Lines Matching refs:srem
219 SE.getConstant(C->getValue()->getValue().srem(235 if (!C->getValue()->getValue().srem(FC->getValue()->getValue())) {