Searched refs:SwitchValue (Results 1 – 2 of 2) sorted by relevance
198 Value *SwitchValue; in runImpl() local223 SwitchValue = GetSwitchValue(IBr); in runImpl()239 SwitchValue = SwitchPN; in runImpl()259 auto *SI = SwitchInst::Create(SwitchValue, BBs[0], BBs.size(), SwitchBB); in runImpl()
375 auto *SwitchValue = SI->getCondition(); in canProveExitOnFirstIteration() local377 getValueOnFirstIteration(SwitchValue, FirstIterValue, SQ); in canProveExitOnFirstIteration()