Searched refs:RVT_VISITED_MASK (Results 1 – 1 of 1) sorted by relevance
1521 #define RVT_VISITED_MASK 0xc000000000000000ull macro1534 if ((ctx->reg_val_types[i] & RVT_VISITED_MASK) == 0) { in build_int_body()1578 rvt[idx] = (rvt[idx] & RVT_VISITED_MASK) | exit_rvt; in reg_val_propagate_range()1776 if ((rvt & RVT_VISITED_MASK) == RVT_DONE || in reg_val_propagate()1777 (rvt & RVT_VISITED_MASK) == 0) in reg_val_propagate()1779 if ((rvt & RVT_VISITED_MASK) == RVT_FALL_THROUGH) { in reg_val_propagate()1780 reg_val_propagate_range(ctx, rvt & ~RVT_VISITED_MASK, i, true); in reg_val_propagate()1783 reg_val_propagate_range(ctx, rvt & ~RVT_VISITED_MASK, i, false); in reg_val_propagate()