Searched refs:largest_branch (Results 1 – 1 of 1) sorted by relevance
611 int64 largest_branch = 0; in AddMandatoryConstraints() local618 largest_branch = j; in AddMandatoryConstraints()624 instruction->branch_computation(largest_branch)); in AddMandatoryConstraints()627 int j = (k + largest_branch) % instruction->branch_count(); in AddMandatoryConstraints()646 largest_branch + 1, in AddMandatoryConstraints()