Lines Matching refs:reg_state
626 struct reg_state {
631 static void print_reg_state(struct reg_state *r, const char *sfx)
664 static void reg_state_refine(struct reg_state *r, enum num_t t, struct range x, const char *ctx)
682 /* now see if we can derive anything new from updated reg_state's ranges */
702 static void reg_state_set_const(struct reg_state *rs, enum num_t t, u64 val)
713 static void reg_state_cond(enum num_t t, struct reg_state *x, struct reg_state *y, enum op op,
714 struct reg_state *newx, struct reg_state *newy, const char *ctx)
718 struct reg_state xx = *x, yy = *y;
757 static int reg_state_branch_taken_op(enum num_t t, struct reg_state *x, struct reg_state *y,
999 static int parse_reg_state(const char *s, struct reg_state *reg)
1129 struct reg_state *false1_reg, struct reg_state *false2_reg,
1130 struct reg_state *true1_reg, struct reg_state *true2_reg)
1136 struct reg_state *state;
1155 *specs[i].state = (struct reg_state){.valid = false};
1188 static bool assert_reg_state_eq(struct reg_state *r, struct reg_state *e, const char *ctx)
1236 struct reg_state *fr1, struct reg_state *fr2,
1237 struct reg_state *tr1, struct reg_state *tr2,
1244 struct reg_state rc;
1378 struct reg_state fr1, fr2, tr1, tr2;
1379 struct reg_state fe1, fe2, te1, te2;