Searched refs:ISE (Results 1 – 5 of 5) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | IVUsers.cpp | 199 const SCEV *ISE = SE->getSCEV(I); in AddUsersImpl() local 203 if (!isInteresting(ISE, I, L, SE, LI)) in AddUsersImpl() 239 << " OF SCEV: " << *ISE << '\n'); in AddUsersImpl() 244 << " OF SCEV: " << *ISE << '\n'); in AddUsersImpl() 254 const SCEV *OriginalISE = ISE; in AddUsersImpl() 264 ISE = normalizeForPostIncUseIf(ISE, NormalizePred, *SE); in AddUsersImpl() 270 if (OriginalISE != ISE) { in AddUsersImpl() 272 denormalizeForPostIncUse(ISE, NewUse.PostIncLoops, *SE); in AddUsersImpl() 279 << *ISE << '\n'); in AddUsersImpl() 284 LLVM_DEBUG(if (SE->getSCEV(I) != ISE) dbgs() in AddUsersImpl() [all …]
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 174 } else if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE() local 175 LHS = &ISE->getLHS(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() 176 RHS = getSymVal(State, ISE->getRHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE() 281 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE() local 282 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | SMTConv.h | 399 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in getSymBinExpr() local 401 std::tie(NewLInt, LTy) = fixAPSInt(Ctx, ISE->getLHS()); in getSymBinExpr() 405 getSymExpr(Solver, Ctx, ISE->getRHS(), &RTy, hasComparison); in getSymBinExpr()
|
| /freebsd-13.1/contrib/llvm-project/llvm/tools/llvm-objcopy/MachO/ |
| H A D | MachOObjcopy.cpp | 85 for (IndirectSymbolEntry &ISE : Obj.IndirectSymTable.Symbols) in markSymbols() 86 if (ISE.Symbol) in markSymbols() 87 (*ISE.Symbol)->Referenced = true; in markSymbols()
|
| /freebsd-13.1/share/misc/ |
| H A D | bsd-family-tree | 165 | FreeBSD 4.9 | | | | OpenBSD 3.4 BSD/OS 5.1 ISE 659 BSD/OS 5.1 ISE 2003-10-?? [WRS] (final version)
|