Searched refs:SEV (Results 1 – 9 of 9) sorted by relevance
20 ; SEV
18 @ YIELD/WFE/WFI/SEV/CLREX - are not supported pre v6K
327 @ SEV/WFE/WFI/YIELD - are not supported pre v6M or v6T2
2345 @ SEV
2416 @ SEV
3398 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation() local3399 if (SEV && SEV->isExpression()) { in evalEagerlyAssumeBinOpBifurcation()3404 std::tie(StateTrue, StateFalse) = state->assume(*SEV); in evalEagerlyAssumeBinOpBifurcation()
293 // NOP,SEV,SEVL,WFE,WFI,YIELD
1524 # SEV
1677 # SEV