Home
last modified time | relevance | path

Searched refs:ISE (Results 1 – 4 of 4) sorted by relevance

/freebsd-12.1/contrib/llvm/lib/Analysis/
H A DIVUsers.cpp199 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-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h169 } else if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in getSymVal() local
170 LHS = &ISE->getLHS(); in getSymVal()
171 RHS = getSymVal(State, ISE->getRHS()); in getSymVal()
256 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) in canReasonAbout() local
257 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in canReasonAbout()
H A DSMTConv.h386 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in getSymBinExpr() local
388 std::tie(NewLInt, LTy) = fixAPSInt(Ctx, ISE->getLHS()); in getSymBinExpr()
391 getSymExpr(Solver, Ctx, ISE->getRHS(), &RTy, hasComparison); in getSymBinExpr()
/freebsd-12.1/share/misc/
H A Dbsd-family-tree165 | FreeBSD 4.9 | | | | OpenBSD 3.4 BSD/OS 5.1 ISE
601 BSD/OS 5.1 ISE 2003-10-?? [WRS] (final version)