reg_state_refine
reg_state_refine(rs, t, rs->r[t], "CONST");
reg_state_refine(&xx, t, z1, buf);
reg_state_refine(&yy, t, z2, buf);