[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Qemu-devel] env fields as TCG variables

From: Blue Swirl
Subject: [Qemu-devel] env fields as TCG variables
Date: Tue, 16 Sep 2008 21:37:41 +0300

I wonder if the following bug scenario is possible.

Some of the env fields are accessible as TCG variables, like cpu_fsr
for Sparc floating point status register (%fsr), stored in the env
structure field env->fsr. When cpu_fsr is used in the generated code,
a host CPU register is allocated for this task. But env->fsr can be
modified directly in op_helper.c code. Isn't it then possible that the
register (which stores cpu_fsr) and the structure field in memory
(env->fsr) get out of sync?

If this is true, no code outside the generated code should ever modify
or even read env fields that are also available as TCG variables. Or
do I miss something?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]