Searched refs:SEV (Results 1 – 3 of 3) sorted by relevance
12 model = "Microchip PolarFire-SoC SEV Kit";
3761 std::optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); in evalEagerlyAssumeBinOpBifurcation() local3762 if (SEV && SEV->isExpression()) { in evalEagerlyAssumeBinOpBifurcation()3767 std::tie(StateTrue, StateFalse) = state->assume(*SEV); in evalEagerlyAssumeBinOpBifurcation()
293 // NOP,SEV,SEVL,WFE,WFI,YIELD