Searched refs:ite_arg_idx (Results 1 – 2 of 2) sorted by relevance
62 int ite_arg_idx = has_ite_arg(m, num, args); in reduce_app() local63 if (ite_arg_idx < 0) { in reduce_app()66 app * ite = to_app(args[ite_arg_idx]); in reduce_app()70 expr * old = args_prime[ite_arg_idx]; in reduce_app()71 args_prime[ite_arg_idx] = t; in reduce_app()73 args_prime[ite_arg_idx] = e; in reduce_app()75 args_prime[ite_arg_idx] = old; in reduce_app()