| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 33 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) { in assumeSym() local
36 BinaryOperator::Opcode op = SIE->getOpcode(); in assumeSym()
41 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS()); in assumeSym()
45 const llvm::APSInt &Zero = getBasicVals().getValue(0, SIE->getType()); in assumeSym()
46 return assumeSymRel(State, SIE, (Assumption ? BO_NE : BO_EQ), Zero); in assumeSym()
|
| H A D | RangeConstraintManager.cpp | 2802 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout() local
2803 switch (SIE->getOpcode()) { in canReasonAbout()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 175 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
176 LHS = getSymVal(State, SIE->getLHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
177 RHS = &SIE->getRHS(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
282 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
283 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | SMTConv.h | 389 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in getSymBinExpr() local
391 getSymExpr(Solver, Ctx, SIE->getLHS(), <y, hasComparison); in getSymBinExpr()
393 std::tie(NewRInt, RTy) = fixAPSInt(Ctx, SIE->getRHS()); in getSymBinExpr()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckObjCDealloc.cpp | 431 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume() local
432 const llvm::APInt &RHS = SIE->getRHS(); in evalAssume()
435 NullSymbol = SIE->getLHS(); in evalAssume()
436 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume() local
437 const llvm::APInt &LHS = SIE->getLHS(); in evalAssume()
440 NullSymbol = SIE->getRHS(); in evalAssume()
|
| H A D | ArrayBoundCheckerV2.cpp | 246 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets() local
248 APSIntType(extent.getValue()).convert(SIE->getRHS()); in getSimplifiedOffsets()
249 switch (SIE->getOpcode()) { in getSimplifiedOffsets()
257 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
262 nonloc::SymbolVal(SIE->getLHS()), in getSimplifiedOffsets()
|
| H A D | ContainerModeling.cpp | 220 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) in checkLiveSymbols() local
221 SR.markLive(SIE->getLHS()); in checkLiveSymbols()
225 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getEnd())) in checkLiveSymbols() local
226 SR.markLive(SIE->getLHS()); in checkLiveSymbols()
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/SystemZ/ |
| H A D | SystemZInstrSystem.td | 438 def SIE : SideEffectUnaryS<"sie", 0xB214, null_frag, 0>;
|
| H A D | SystemZScheduleZEC12.td | 1257 def : InstRW<[WLat30, MCD], (instregex "SIE$")>;
|
| H A D | SystemZScheduleZ196.td | 1212 def : InstRW<[WLat30, MCD], (instregex "SIE$")>;
|
| H A D | SystemZScheduleZ13.td | 1530 def : InstRW<[WLat30, MCD], (instregex "SIE$")>;
|
| H A D | SystemZScheduleZ16.td | 1700 def : InstRW<[WLat30, MCD], (instregex "SIE$")>;
|
| H A D | SystemZScheduleZ15.td | 1667 def : InstRW<[WLat30, MCD], (instregex "SIE$")>;
|
| H A D | SystemZScheduleZ14.td | 1620 def : InstRW<[WLat30, MCD], (instregex "SIE$")>;
|
| /freebsd/crypto/heimdal/lib/wind/ |
| H A D | UnicodeData.txt | 10177 A30E;YI SYLLABLE SIE;Lo;0;L;;;;;N;;;;;
|