Searched defs:SIE (Results 1 – 15 of 15) sorted by relevance
171 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE() local278 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
389 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in getSymBinExpr() local
31 } else if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) { in assumeSym() local
1807 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout() local
31 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout() local
89 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets() local
423 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume() local428 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume() local
229 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) in checkLiveSymbols() local234 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getEnd())) in checkLiveSymbols() local
522 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume() local
430 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume() local435 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume() local
80 const char SIE[] = "End of search list."; in parseDriverOutput() local
481 SIE = MBB->succ_end(); SI != SIE; ++SI) { in runOnMachineFunction() local
539 SIE = MBB->succ_end(); in runOnMachineFunction() local
411 using SIE = protos::pbzero::SoftirqEntryFtraceEvent; in SerializeArgs() typedef