branch_taken
if (branch_taken(word, regs, op))
if (branch_taken(word, regs, op))
if (branch_taken == 1) /* false branch is never taken */
if (branch_taken == 0) /* true branch is never taken */
int *branch_taken)
*branch_taken = reg_state_branch_taken_op(cond_t, fr1, fr2, op);
if (*branch_taken != 1) { /* FALSE is possible */
if (*branch_taken != 0) { /* TRUE is possible */
int err, false_pos = 0, true_pos = 0, branch_taken;
sim_case(init_t, cond_t, x, y, op, &fe1, &fe2, &te1, &te2, &branch_taken);
err = load_range_cmp_prog(x, y, op, branch_taken, spec,
int branch_taken, struct case_spec spec,