Searched refs:SwitchValue (Results 1 – 2 of 2) sorted by relevance
191 Value *SwitchValue; in runOnFunction() local215 SwitchValue = GetSwitchValue(IBr); in runOnFunction()231 SwitchValue = SwitchPN; in runOnFunction()251 auto *SI = SwitchInst::Create(SwitchValue, BBs[0], BBs.size(), SwitchBB); in runOnFunction()
377 auto *SwitchValue = SI->getCondition(); in canProveExitOnFirstIteration() local379 getValueOnFirstIteration(SwitchValue, FirstIterValue, SQ); in canProveExitOnFirstIteration()