Searched refs:SwitchValue (Results 1 – 2 of 2) sorted by relevance
194 Value *SwitchValue; in runOnFunction() local218 SwitchValue = GetSwitchValue(IBr); in runOnFunction()234 SwitchValue = SwitchPN; in runOnFunction()254 auto *SI = SwitchInst::Create(SwitchValue, BBs[0], BBs.size(), SwitchBB); in runOnFunction()
364 auto *SwitchValue = SI->getCondition(); in canProveExitOnFirstIteration() local366 getValueOnFirstIteration(SwitchValue, FirstIterValue, SQ); in canProveExitOnFirstIteration()