Searched refs:s_t_x_num (Results 1 – 1 of 1) sorted by relevance
409 int s_t_x_num; in constraint_expr_eval_reason() local642 s_t_x_num = SOURCE; in constraint_expr_eval_reason()645 s_t_x_num = TARGET; in constraint_expr_eval_reason()648 s_t_x_num = XTARGET; in constraint_expr_eval_reason()658 snprintf(tmp_buf, sizeof(tmp_buf), "u%d ", s_t_x_num); in constraint_expr_eval_reason()663 snprintf(tmp_buf, sizeof(tmp_buf), "r%d ", s_t_x_num); in constraint_expr_eval_reason()668 snprintf(tmp_buf, sizeof(tmp_buf), "t%d ", s_t_x_num); in constraint_expr_eval_reason()