unionloc{unsignedreg;signedoffset;};void__frame_state_for(volatilechar*state_in,intx){/* We should move all the loads out of this loop. Right now, we only move one. It takes two insertions because we insert a cast. */unionlocfs;intreg;for(;;){switch(x){case0:*state_in=fs.reg;case1:*state_in=fs.offset;}}}