Searched refs:SymInt (Results 1 – 1 of 1) sorted by relevance
279 if (const auto *SymInt = dyn_cast<SymIntExpr>(Sym)) in decomposeSymbol() local280 if (BinaryOperator::isAdditiveOp(SymInt->getOpcode())) in decomposeSymbol()281 return std::make_pair(SymInt->getLHS(), in decomposeSymbol()282 (SymInt->getOpcode() == BO_Add) in decomposeSymbol()283 ? BV.getValue(SymInt->getRHS()) in decomposeSymbol()284 : BV.getValue(-SymInt->getRHS())); in decomposeSymbol()