Searched refs:SEV (Results 1 – 8 of 8) sorted by relevance
2225 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation() local2226 if (SEV && SEV->isExpression()) { in evalEagerlyAssumeBinOpBifurcation()2231 std::tie(StateTrue, StateFalse) = state->assume(*SEV); in evalEagerlyAssumeBinOpBifurcation()
247 SEV = 4, enumerator
355 SEV = 4, enumerator
287 // NOP,SEV,SEVL,WFE,WFI,YIELD
1438 # SEV
1677 # SEV
1815 @ SEV
2107 @ SEV