Lines Matching defs:speculative

1668 	dst_state->speculative = src->speculative;
1766 	 * occur during speculative verification. For these we can insert a
1769 	 * architectural path once it has been recovered-from in all speculative
1777 					     bool speculative)
1797 	elem->st.speculative |= speculative;
1807 		 * 1. speculative states will bump 'branches' for non-branch
4119 	 * just checking it here would be insufficient as speculative stack
4120 	 * writes could still lead to unsafe speculative behaviour.
14385 	/* We already marked aux for masking from non-speculative
14389 	if (vstate->speculative)
14429 	 * pushed the truncated dst_reg into the speculative verification
14440 	 * speculative execution from truncation as a result of
14466 	 * the non-speculative domain, sanitize_dead_code() can still
14469 	if (!vstate->speculative)
14498 		verbose(env, "R%d could not be pushed for speculative verification, %s\n",
14714 	 * speculative path: otherwise reg_bounds_sanity_check() might hit some
14845 				    && !env->cur_state->speculative
17073 		 * the fall-through branch for simulation under speculative
17088 		 * simulation under speculative execution.
18285 					  env->insn_idx, env->cur_state->speculative);
18447 		if (!state->speculative && prev_insn_idx >= 0 && prev_insn_idx < insn_cnt) {
18474 							env->cur_state->speculative ?
18475 							" (speculative execution)" : "");
18498 				env->cur_state->speculative ?
18499 				" (speculative execution)" : "");
18528 		if (!state->speculative && insn_aux->const_reg_mask) {
18548 		/* Reduce verification complexity by stopping speculative path
18551 		if (state->speculative && insn_aux->nospec)
18555 		if (error_recoverable_with_nospec(err) && state->speculative) {
18556 			/* Prevent this speculative path from ever reaching the
18574 		if (state->speculative && insn_aux->nospec_result) {
19509 	state->speculative = false;