Lines Matching refs:speculative
1430 dst_state->speculative = src->speculative;
1698 bool speculative)
1717 elem->st.speculative |= speculative;
1727 * 1. speculative states will bump 'branches' for non-branch
4995 * just checking it here would be insufficient as speculative stack
4996 * writes could still lead to unsafe speculative behaviour.
12709 /* We already marked aux for masking from non-speculative
12713 if (vstate->speculative)
12753 * pushed the truncated dst_reg into the speculative verification
12764 * speculative execution from truncation as a result of
12789 * the non-speculative domain, sanitize_dead_code() can still
12792 if (!vstate->speculative)
12823 verbose(env, "R%d could not be pushed for speculative verification, %s\n",
15045 * the fall-through branch for simulation under speculative
15059 * simulation under speculative execution.
16885 /* Verification state from speculative execution simulation
16886 * must never prune a non-speculative execution one.
16888 if (old->speculative && !cur->speculative)
17626 env->cur_state->speculative ?
17627 " (speculative execution)" : "");
17650 env->cur_state->speculative ?
17651 " (speculative execution)" : "");
20449 state->speculative = false;