Lines Matching defs:rvt
113 static void set_reg_val_type(u64 *rvt, int reg, enum reg_val_type type)
115 *rvt &= ~(7ull << (reg * 3));
116 *rvt |= ((u64)type << (reg * 3));
1568 u64 *rvt = ctx->reg_val_types;
1573 rvt[idx] = (rvt[idx] & RVT_VISITED_MASK) | exit_rvt;
1611 rvt[idx] |= RVT_DONE;
1630 rvt[idx] |= RVT_DONE;
1645 rvt[idx] |= RVT_DONE;
1663 rvt[idx] |= RVT_DONE;
1678 rvt[idx] |= RVT_DONE;
1683 rvt[idx] = RVT_DONE | exit_rvt;
1684 rvt[prog->len] = exit_rvt;
1687 rvt[idx] |= RVT_DONE;
1702 rvt[idx] |= RVT_BRANCH_TAKEN;
1706 rvt[idx] |= RVT_FALL_THROUGH;
1715 rvt[idx] |= RVT_DONE;
1719 rvt[idx] |= RVT_DONE;
1724 rvt[idx] |= RVT_DONE;
1769 u64 rvt = ctx->reg_val_types[i];
1771 if ((rvt & RVT_VISITED_MASK) == RVT_DONE ||
1772 (rvt & RVT_VISITED_MASK) == 0)
1774 if ((rvt & RVT_VISITED_MASK) == RVT_FALL_THROUGH) {
1775 reg_val_propagate_range(ctx, rvt & ~RVT_VISITED_MASK, i, true);
1778 reg_val_propagate_range(ctx, rvt & ~RVT_VISITED_MASK, i, false);