Searched refs:SymVal (Results 1 – 6 of 6) sorted by relevance
157 const MCExpr *SymVal = SymRef.getVariableValue(); in flattenedCycleMax() local158 if (Seen.insert(SymVal).second) in flattenedCycleMax()159 WorkList.push_back(SymVal); in flattenedCycleMax()189 const MCExpr *SymVal = LocalConstExpr; in assignResourceInfoExpr() local234 SymVal = AMDGPUMCExpr::create(Kind, ArgExprs, OutContext); in assignResourceInfoExpr()236 Sym->setVariableValue(SymVal); in assignResourceInfoExpr()
256 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local257 if (!SymVal) in REGISTER_TRAIT_WITH_PROGRAMSTATE()260 const SymExpr *Sym = SymVal->getSymbol(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
261 std::optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets() local262 if (SymVal && SymVal->isExpression()) { in getSimplifiedOffsets()263 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
566 const MCExpr *SymVal = Sym.getVariableValue(); in knownBitsMapHelper() local567 knownBitsMapHelper(SymVal, KBM, Depth + 1); in knownBitsMapHelper()571 KBM[Expr] = KnownBits(KBM[SymVal]); in knownBitsMapHelper()
1162 DefinedOrUnknownSVal SymVal = svalBuilder.conjureSymbolVal( in VisitIncrementDecrementOperator() local1165 Result = SymVal; in VisitIncrementDecrementOperator()1177 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
2813 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout() local2814 if (SymVal && SymVal->isExpression()) { in canReasonAbout()2815 const SymExpr *SE = SymVal->getSymbol(); in canReasonAbout()