range_branch_taken_op
br_u = range_branch_taken_op(tu, x->r[tu], y->r[tu], op);
br_s = range_branch_taken_op(ts, x->r[ts], y->r[ts], op);
br = range_branch_taken_op(U32, x->r[U32], y->r[U32], op);
br = range_branch_taken_op(S32, x->r[S32], y->r[S32], op);
return range_branch_taken_op(t, x->r[t], y->r[t], op);