Lines Matching refs:implies
8894 else if (note == 11) /* note 11 implies note 1 as well */
9016 else if (note == 11) /* note 11 implies note 1 as well */
9722 /* Clear implies relations which contain PRs in the given masks.
9723 P1_MASK indicates the source of the implies relation, while P2_MASK
9781 fprintf (stderr, " Registering PR%d implies PR%d\n", p1, p2);
9787 /* Add in the implied transitive relations; for everything that p2 implies,
9788 make p1 imply that, too; for everything that implies p1, make it imply p2
9797 /* Add in mutex relations implied by this implies relation; for each mutex
9943 /* Look for mutex and implies relations. */
9960 /* In general, clear mutexes and implies which include P1 or P2,
10419 /* If the QP for this insn implies a QP which has branched, don't
10424 based on notes from Intel's DV checking code, where p1 implies p2.
10433 int implies;
10434 for (implies = 0; implies < qp_implieslen; implies++)
10436 if (qp_implies[implies].path >= path
10437 && qp_implies[implies].p1 == CURR_SLOT.qp_regno
10438 && qp_implies[implies].p2_branched)
10615 a later insn generates a DV but its predicate implies this
