Lines Matching defs:speculative
879 dst_state->speculative = src->speculative;
953 bool speculative)
974 elem->st.speculative |= speculative;
983 * 1. speculative states will bump 'branches' for non-branch
5749 /* We already marked aux for masking from non-speculative
5753 if (vstate->speculative) {
5795 * pushed the truncated dst_reg into the speculative verification
5807 * speculative execution from truncation as a result of
5832 * the non-speculative domain, sanitize_dead_code() can still
5835 if (!vstate->speculative) {
5861 verbose(env, "R%d could not be pushed for speculative verification, %s\n", dst, err);
7897 * the fall-through branch for simulation under speculative
7908 * simulation under speculative execution.
9241 /* Verification state from speculative execution simulation
9242 * must never prune a non-speculative execution one.
9244 if (old->speculative && !cur->speculative) {
9690 env->cur_state->speculative ? " (speculative execution)" : "");
9711 env->cur_state->speculative ? " (speculative execution)" : "");
11601 state->speculative = false;