Lines Matching refs:implies
8830 else if (note == 11) /* note 11 implies note 1 as well */
8952 else if (note == 11) /* note 11 implies note 1 as well */
9659 /* Clear implies relations which contain PRs in the given masks.
9660 P1_MASK indicates the source of the implies relation, while P2_MASK
9716 fprintf (stderr, " Registering PR%d implies PR%d\n", p1, p2);
9722 /* Add in the implied transitive relations; for everything that p2 implies,
9723 make p1 imply that, too; for everything that implies p1, make it imply p2
9732 /* Add in mutex relations implied by this implies relation; for each mutex
9876 /* Look for mutex and implies relations. */
9893 /* In general, clear mutexes and implies which include P1 or P2,
10341 /* If the QP for this insn implies a QP which has branched, don't
10346 based on notes from Intel's DV checking code, where p1 implies p2.
10355 int implies;
10356 for (implies = 0; implies < qp_implieslen; implies++)
10358 if (qp_implies[implies].path >= path
10359 && qp_implies[implies].p1 == CURR_SLOT.qp_regno
10360 && qp_implies[implies].p2_branched)
10537 a later insn generates a DV but its predicate implies this
Indexes created Sun Jun 28 00:24:58 UTC 2026